%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW302+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n022.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 : Thu Jul 21 00:24:35 EDT 2022 % Result : Timeout 287.09s 248.55s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.08/0.13 % Problem : SWW302+1 : TPTP v8.1.0. Released v5.2.0. % 0.08/0.14 % Command : run_infinox %s % 0.14/0.36 % Computer : n022.cluster.edu % 0.14/0.36 % Model : x86_64 x86_64 % 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.36 % Memory : 8042.1875MB % 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.36 % CPULimit : 300 % 0.14/0.36 % WCLimit : 600 % 0.14/0.36 % DateTime : Sat Jun 4 13:00:36 EDT 2022 % 0.14/0.36 % CPUTime : % 71.18/70.84 eprover: CPU time limit exceeded, terminating % 73.61/72.85 eprover: CPU time limit exceeded, terminating % 76.06/74.87 eprover: CPU time limit exceeded, terminating % 78.52/76.89 eprover: CPU time limit exceeded, terminating % 81.03/78.90 eprover: CPU time limit exceeded, terminating % 83.47/80.91 eprover: CPU time limit exceeded, terminating % 85.97/82.93 eprover: CPU time limit exceeded, terminating % 88.43/84.94 eprover: CPU time limit exceeded, terminating % 90.81/86.96 eprover: CPU time limit exceeded, terminating % 93.34/88.97 eprover: CPU time limit exceeded, terminating % 95.86/90.98 eprover: CPU time limit exceeded, terminating % 98.26/93.00 eprover: CPU time limit exceeded, terminating % 100.72/95.01 eprover: CPU time limit exceeded, terminating % 103.23/97.05 eprover: CPU time limit exceeded, terminating % 105.69/99.10 eprover: CPU time limit exceeded, terminating % 108.15/101.13 eprover: CPU time limit exceeded, terminating % 110.61/103.14 eprover: CPU time limit exceeded, terminating % 112.99/105.16 eprover: CPU time limit exceeded, terminating % 115.42/107.20 eprover: CPU time limit exceeded, terminating % 117.91/109.21 eprover: CPU time limit exceeded, terminating % 120.38/111.24 eprover: CPU time limit exceeded, terminating % 122.85/113.25 eprover: CPU time limit exceeded, terminating % 125.33/115.28 eprover: CPU time limit exceeded, terminating % 127.75/117.30 eprover: CPU time limit exceeded, terminating % 130.22/119.32 eprover: CPU time limit exceeded, terminating % 132.70/121.34 eprover: CPU time limit exceeded, terminating % 135.10/123.39 eprover: CPU time limit exceeded, terminating % 137.56/125.41 eprover: CPU time limit exceeded, terminating % 140.02/127.42 eprover: CPU time limit exceeded, terminating % 142.51/129.44 eprover: CPU time limit exceeded, terminating % 144.97/131.46 eprover: CPU time limit exceeded, terminating % 147.47/133.47 eprover: CPU time limit exceeded, terminating % 149.90/135.49 eprover: CPU time limit exceeded, terminating % 152.32/137.50 eprover: CPU time limit exceeded, terminating % 154.82/139.52 eprover: CPU time limit exceeded, terminating % 157.26/141.53 eprover: CPU time limit exceeded, terminating % 159.75/143.55 eprover: CPU time limit exceeded, terminating % 162.20/145.56 eprover: CPU time limit exceeded, terminating % 164.71/147.59 eprover: CPU time limit exceeded, terminating % 167.13/149.60 eprover: CPU time limit exceeded, terminating % 169.55/151.61 eprover: CPU time limit exceeded, terminating % 172.07/153.63 eprover: CPU time limit exceeded, terminating % 174.52/155.65 eprover: CPU time limit exceeded, terminating % 176.95/157.67 eprover: CPU time limit exceeded, terminating % 179.41/159.69 eprover: CPU time limit exceeded, terminating % 181.78/161.70 eprover: CPU time limit exceeded, terminating % 184.28/163.72 eprover: CPU time limit exceeded, terminating % 186.67/165.73 eprover: CPU time limit exceeded, terminating % 189.20/167.75 eprover: CPU time limit exceeded, terminating % 191.64/169.78 eprover: CPU time limit exceeded, terminating % 194.11/171.79 eprover: CPU time limit exceeded, terminating % 196.59/173.81 eprover: CPU time limit exceeded, terminating % 199.04/175.83 eprover: CPU time limit exceeded, terminating % 201.45/177.85 eprover: CPU time limit exceeded, terminating % 203.92/179.87 eprover: CPU time limit exceeded, terminating % 206.35/181.88 eprover: CPU time limit exceeded, terminating % 208.76/183.90 eprover: CPU time limit exceeded, terminating % 211.23/185.92 eprover: CPU time limit exceeded, terminating % 213.64/187.94 eprover: CPU time limit exceeded, terminating % 216.09/189.95 eprover: CPU time limit exceeded, terminating % 218.54/191.97 eprover: CPU time limit exceeded, terminating % 220.93/194.00 eprover: CPU time limit exceeded, terminating % 223.40/196.01 eprover: CPU time limit exceeded, terminating % 225.90/198.03 eprover: CPU time limit exceeded, terminating % 228.36/200.07 eprover: CPU time limit exceeded, terminating % 230.84/202.09 eprover: CPU time limit exceeded, terminating % 233.30/204.10 eprover: CPU time limit exceeded, terminating % 235.74/206.12 eprover: CPU time limit exceeded, terminating % 238.21/208.17 eprover: CPU time limit exceeded, terminating % 240.66/210.19 eprover: CPU time limit exceeded, terminating % 243.04/212.20 eprover: CPU time limit exceeded, terminating % 245.49/214.22 eprover: CPU time limit exceeded, terminating % 247.98/216.24 eprover: CPU time limit exceeded, terminating % 250.39/218.26 eprover: CPU time limit exceeded, terminating % 252.85/220.29 eprover: CPU time limit exceeded, terminating % 255.29/222.32 eprover: CPU time limit exceeded, terminating % 257.80/224.34 eprover: CPU time limit exceeded, terminating % 260.20/226.35 eprover: CPU time limit exceeded, terminating % 262.67/228.37 eprover: CPU time limit exceeded, terminating % 265.16/230.38 eprover: CPU time limit exceeded, terminating % 267.58/232.40 eprover: CPU time limit exceeded, terminating % 270.10/234.42 eprover: CPU time limit exceeded, terminating % 272.51/236.44 eprover: CPU time limit exceeded, terminating % 274.93/238.45 eprover: CPU time limit exceeded, terminating % 277.37/240.47 eprover: CPU time limit exceeded, terminating % 279.82/242.49 eprover: CPU time limit exceeded, terminating % 282.21/244.51 eprover: CPU time limit exceeded, terminating % 284.65/246.52 eprover: CPU time limit exceeded, terminating % 287.09/248.55 eprover: CPU time limit exceeded, terminating % 289.55/250.59 eprover: CPU time limit exceeded, terminating % 291.84/252.61 eprover: CPU time limit exceeded, terminating % 294.34/254.63 eprover: CPU time limit exceeded, terminating % 296.79/256.67 eprover: CPU time limit exceeded, terminating % 299.27/258.69 eprover: CPU time limit exceeded, terminating % 300.11/259.29 eprover: CPU time limit exceeded, terminating % 300.11/259.31 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------