TSTP Solution File: CSR115+36 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+36 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n015.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Fri Jul 15 03:35:30 EDT 2022
% Result : Timeout 287.64s 269.36s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : CSR115+36 : TPTP v8.1.0. Released v4.0.0.
% 0.06/0.13 % Command : run_infinox %s
% 0.12/0.33 % Computer : n015.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Sat Jun 11 11:07:35 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.85/3.89 eprover: CPU time limit exceeded, terminating
% 6.00/5.91 eprover: CPU time limit exceeded, terminating
% 8.13/7.92 eprover: CPU time limit exceeded, terminating
% 10.29/9.93 eprover: CPU time limit exceeded, terminating
% 12.46/11.94 eprover: CPU time limit exceeded, terminating
% 14.62/13.95 eprover: CPU time limit exceeded, terminating
% 16.77/15.96 eprover: CPU time limit exceeded, terminating
% 18.89/17.97 eprover: CPU time limit exceeded, terminating
% 21.06/19.98 eprover: CPU time limit exceeded, terminating
% 23.22/21.99 eprover: CPU time limit exceeded, terminating
% 25.41/24.00 eprover: CPU time limit exceeded, terminating
% 27.52/26.01 eprover: CPU time limit exceeded, terminating
% 29.74/28.03 eprover: CPU time limit exceeded, terminating
% 31.90/30.04 eprover: CPU time limit exceeded, terminating
% 34.09/32.05 eprover: CPU time limit exceeded, terminating
% 36.21/34.06 eprover: CPU time limit exceeded, terminating
% 38.40/36.07 eprover: CPU time limit exceeded, terminating
% 40.56/38.08 eprover: CPU time limit exceeded, terminating
% 42.69/40.09 eprover: CPU time limit exceeded, terminating
% 44.86/42.10 eprover: CPU time limit exceeded, terminating
% 46.97/44.11 eprover: CPU time limit exceeded, terminating
% 49.12/46.12 eprover: CPU time limit exceeded, terminating
% 51.30/48.13 eprover: CPU time limit exceeded, terminating
% 53.46/50.14 eprover: CPU time limit exceeded, terminating
% 55.64/52.15 eprover: CPU time limit exceeded, terminating
% 57.84/54.16 eprover: CPU time limit exceeded, terminating
% 59.98/56.17 eprover: CPU time limit exceeded, terminating
% 62.13/58.18 eprover: CPU time limit exceeded, terminating
% 64.26/60.19 eprover: CPU time limit exceeded, terminating
% 66.43/62.20 eprover: CPU time limit exceeded, terminating
% 68.54/64.21 eprover: CPU time limit exceeded, terminating
% 70.69/66.22 eprover: CPU time limit exceeded, terminating
% 72.91/68.24 eprover: CPU time limit exceeded, terminating
% 75.06/70.24 eprover: CPU time limit exceeded, terminating
% 77.22/72.26 eprover: CPU time limit exceeded, terminating
% 79.36/74.27 eprover: CPU time limit exceeded, terminating
% 81.46/76.27 eprover: CPU time limit exceeded, terminating
% 83.52/78.29 eprover: CPU time limit exceeded, terminating
% 85.66/80.30 eprover: CPU time limit exceeded, terminating
% 87.82/82.31 eprover: CPU time limit exceeded, terminating
% 89.97/84.32 eprover: CPU time limit exceeded, terminating
% 92.16/86.33 eprover: CPU time limit exceeded, terminating
% 94.32/88.34 eprover: CPU time limit exceeded, terminating
% 96.44/90.35 eprover: CPU time limit exceeded, terminating
% 98.61/92.36 eprover: CPU time limit exceeded, terminating
% 100.75/94.37 eprover: CPU time limit exceeded, terminating
% 102.91/96.38 eprover: CPU time limit exceeded, terminating
% 105.02/98.39 eprover: CPU time limit exceeded, terminating
% 107.19/100.40 eprover: CPU time limit exceeded, terminating
% 109.39/102.41 eprover: CPU time limit exceeded, terminating
% 111.51/104.42 eprover: CPU time limit exceeded, terminating
% 113.68/106.43 eprover: CPU time limit exceeded, terminating
% 115.81/108.44 eprover: CPU time limit exceeded, terminating
% 117.98/110.45 eprover: CPU time limit exceeded, terminating
% 120.14/112.46 eprover: CPU time limit exceeded, terminating
% 122.27/114.47 eprover: CPU time limit exceeded, terminating
% 124.44/116.48 eprover: CPU time limit exceeded, terminating
% 126.62/118.49 eprover: CPU time limit exceeded, terminating
% 128.75/120.51 eprover: CPU time limit exceeded, terminating
% 130.90/122.52 eprover: CPU time limit exceeded, terminating
% 133.05/124.53 eprover: CPU time limit exceeded, terminating
% 135.20/126.54 eprover: CPU time limit exceeded, terminating
% 137.39/128.55 eprover: CPU time limit exceeded, terminating
% 139.50/130.56 eprover: CPU time limit exceeded, terminating
% 141.63/132.58 eprover: CPU time limit exceeded, terminating
% 143.79/134.59 eprover: CPU time limit exceeded, terminating
% 145.96/136.60 eprover: CPU time limit exceeded, terminating
% 148.08/138.61 eprover: CPU time limit exceeded, terminating
% 150.25/140.62 eprover: CPU time limit exceeded, terminating
% 152.40/142.63 eprover: CPU time limit exceeded, terminating
% 154.56/144.64 eprover: CPU time limit exceeded, terminating
% 156.73/146.65 eprover: CPU time limit exceeded, terminating
% 158.88/148.66 eprover: CPU time limit exceeded, terminating
% 161.02/150.67 eprover: CPU time limit exceeded, terminating
% 163.18/152.68 eprover: CPU time limit exceeded, terminating
% 165.33/154.69 eprover: CPU time limit exceeded, terminating
% 167.42/156.70 eprover: CPU time limit exceeded, terminating
% 169.59/158.71 eprover: CPU time limit exceeded, terminating
% 171.76/160.73 eprover: CPU time limit exceeded, terminating
% 173.93/162.74 eprover: CPU time limit exceeded, terminating
% 176.10/164.75 eprover: CPU time limit exceeded, terminating
% 178.23/166.76 eprover: CPU time limit exceeded, terminating
% 180.36/168.77 eprover: CPU time limit exceeded, terminating
% 182.53/170.78 eprover: CPU time limit exceeded, terminating
% 184.67/172.79 eprover: CPU time limit exceeded, terminating
% 186.79/174.80 eprover: CPU time limit exceeded, terminating
% 188.94/176.81 eprover: CPU time limit exceeded, terminating
% 191.09/178.82 eprover: CPU time limit exceeded, terminating
% 193.27/180.83 eprover: CPU time limit exceeded, terminating
% 195.43/182.84 eprover: CPU time limit exceeded, terminating
% 197.57/184.86 eprover: CPU time limit exceeded, terminating
% 199.72/186.87 eprover: CPU time limit exceeded, terminating
% 201.89/188.88 eprover: CPU time limit exceeded, terminating
% 204.04/190.89 eprover: CPU time limit exceeded, terminating
% 206.20/192.90 eprover: CPU time limit exceeded, terminating
% 208.33/194.92 eprover: CPU time limit exceeded, terminating
% 210.45/196.93 eprover: CPU time limit exceeded, terminating
% 212.66/198.94 eprover: CPU time limit exceeded, terminating
% 214.80/200.95 eprover: CPU time limit exceeded, terminating
% 216.97/202.96 eprover: CPU time limit exceeded, terminating
% 219.15/204.97 eprover: CPU time limit exceeded, terminating
% 221.27/206.99 eprover: CPU time limit exceeded, terminating
% 223.44/209.00 eprover: CPU time limit exceeded, terminating
% 225.58/211.01 eprover: CPU time limit exceeded, terminating
% 227.77/213.02 eprover: CPU time limit exceeded, terminating
% 229.79/215.03 eprover: CPU time limit exceeded, terminating
% 231.84/217.04 eprover: CPU time limit exceeded, terminating
% 234.09/219.06 eprover: CPU time limit exceeded, terminating
% 236.24/221.07 eprover: CPU time limit exceeded, terminating
% 238.38/223.08 eprover: CPU time limit exceeded, terminating
% 240.53/225.09 eprover: CPU time limit exceeded, terminating
% 242.69/227.10 eprover: CPU time limit exceeded, terminating
% 244.84/229.11 eprover: CPU time limit exceeded, terminating
% 246.97/231.13 eprover: CPU time limit exceeded, terminating
% 249.14/233.14 eprover: CPU time limit exceeded, terminating
% 251.20/235.15 eprover: CPU time limit exceeded, terminating
% 253.27/237.16 eprover: CPU time limit exceeded, terminating
% 255.36/239.17 eprover: CPU time limit exceeded, terminating
% 257.49/241.19 eprover: CPU time limit exceeded, terminating
% 259.62/243.20 eprover: CPU time limit exceeded, terminating
% 261.81/245.21 eprover: CPU time limit exceeded, terminating
% 263.83/247.22 eprover: CPU time limit exceeded, terminating
% 266.07/249.24 eprover: CPU time limit exceeded, terminating
% 268.23/251.25 eprover: CPU time limit exceeded, terminating
% 270.38/253.26 eprover: CPU time limit exceeded, terminating
% 272.52/255.27 eprover: CPU time limit exceeded, terminating
% 274.68/257.29 eprover: CPU time limit exceeded, terminating
% 276.81/259.30 eprover: CPU time limit exceeded, terminating
% 278.95/261.31 eprover: CPU time limit exceeded, terminating
% 281.16/263.32 eprover: CPU time limit exceeded, terminating
% 283.25/265.34 eprover: CPU time limit exceeded, terminating
% 285.45/267.35 eprover: CPU time limit exceeded, terminating
% 287.64/269.36 eprover: CPU time limit exceeded, terminating
% 289.76/271.37 eprover: CPU time limit exceeded, terminating
% 291.93/273.38 eprover: CPU time limit exceeded, terminating
% 294.06/275.40 eprover: CPU time limit exceeded, terminating
% 296.16/277.41 eprover: CPU time limit exceeded, terminating
% 298.18/279.42 eprover: CPU time limit exceeded, terminating
% 300.05/281.16 eprover: CPU time limit exceeded, terminating
% 300.05/281.17 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------