%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW299+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n017.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:34 EDT 2022 % Result : Timeout 287.99s 244.67s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : SWW299+1 : TPTP v8.1.0. Released v5.2.0. % 0.12/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n017.cluster.edu % 0.13/0.34 % Model : x86_64 x86_64 % 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.34 % Memory : 8042.1875MB % 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.34 % CPULimit : 300 % 0.13/0.34 % WCLimit : 600 % 0.13/0.34 % DateTime : Sat Jun 4 21:19:15 EDT 2022 % 0.13/0.34 % CPUTime : % 53.39/53.02 eprover: CPU time limit exceeded, terminating % 55.86/55.04 eprover: CPU time limit exceeded, terminating % 58.27/57.06 eprover: CPU time limit exceeded, terminating % 60.77/59.07 eprover: CPU time limit exceeded, terminating % 63.17/61.09 eprover: CPU time limit exceeded, terminating % 65.65/63.11 eprover: CPU time limit exceeded, terminating % 68.11/65.12 eprover: CPU time limit exceeded, terminating % 70.63/67.14 eprover: CPU time limit exceeded, terminating % 73.07/69.16 eprover: CPU time limit exceeded, terminating % 75.54/71.17 eprover: CPU time limit exceeded, terminating % 78.05/73.19 eprover: CPU time limit exceeded, terminating % 80.53/75.21 eprover: CPU time limit exceeded, terminating % 83.03/77.22 eprover: CPU time limit exceeded, terminating % 85.48/79.24 eprover: CPU time limit exceeded, terminating % 87.94/81.26 eprover: CPU time limit exceeded, terminating % 90.43/83.27 eprover: CPU time limit exceeded, terminating % 92.94/85.29 eprover: CPU time limit exceeded, terminating % 95.42/87.31 eprover: CPU time limit exceeded, terminating % 97.93/89.33 eprover: CPU time limit exceeded, terminating % 100.37/91.34 eprover: CPU time limit exceeded, terminating % 102.84/93.36 eprover: CPU time limit exceeded, terminating % 105.33/95.38 eprover: CPU time limit exceeded, terminating % 107.77/97.39 eprover: CPU time limit exceeded, terminating % 110.27/99.41 eprover: CPU time limit exceeded, terminating % 112.74/101.43 eprover: CPU time limit exceeded, terminating % 115.18/103.44 eprover: CPU time limit exceeded, terminating % 117.64/105.46 eprover: CPU time limit exceeded, terminating % 120.12/107.48 eprover: CPU time limit exceeded, terminating % 122.56/109.49 eprover: CPU time limit exceeded, terminating % 125.08/111.51 eprover: CPU time limit exceeded, terminating % 127.63/113.53 eprover: CPU time limit exceeded, terminating % 130.11/115.55 eprover: CPU time limit exceeded, terminating % 132.52/117.56 eprover: CPU time limit exceeded, terminating % 135.02/119.58 eprover: CPU time limit exceeded, terminating % 137.51/121.60 eprover: CPU time limit exceeded, terminating % 139.95/123.62 eprover: CPU time limit exceeded, terminating % 142.39/125.64 eprover: CPU time limit exceeded, terminating % 144.87/127.65 eprover: CPU time limit exceeded, terminating % 147.34/129.67 eprover: CPU time limit exceeded, terminating % 149.71/131.69 eprover: CPU time limit exceeded, terminating % 152.27/133.71 eprover: CPU time limit exceeded, terminating % 154.72/135.72 eprover: CPU time limit exceeded, terminating % 157.20/137.74 eprover: CPU time limit exceeded, terminating % 159.63/139.76 eprover: CPU time limit exceeded, terminating % 162.19/141.78 eprover: CPU time limit exceeded, terminating % 164.61/143.79 eprover: CPU time limit exceeded, terminating % 167.14/145.81 eprover: CPU time limit exceeded, terminating % 169.60/147.83 eprover: CPU time limit exceeded, terminating % 171.99/149.84 eprover: CPU time limit exceeded, terminating % 174.42/151.86 eprover: CPU time limit exceeded, terminating % 176.89/153.88 eprover: CPU time limit exceeded, terminating % 179.43/155.90 eprover: CPU time limit exceeded, terminating % 181.86/157.91 eprover: CPU time limit exceeded, terminating % 184.39/159.93 eprover: CPU time limit exceeded, terminating % 186.86/161.95 eprover: CPU time limit exceeded, terminating % 189.31/163.97 eprover: CPU time limit exceeded, terminating % 191.76/165.99 eprover: CPU time limit exceeded, terminating % 194.22/168.00 eprover: CPU time limit exceeded, terminating % 196.70/170.02 eprover: CPU time limit exceeded, terminating % 199.20/172.04 eprover: CPU time limit exceeded, terminating % 201.65/174.06 eprover: CPU time limit exceeded, terminating % 204.12/176.07 eprover: CPU time limit exceeded, terminating % 206.62/178.09 eprover: CPU time limit exceeded, terminating % 209.05/180.11 eprover: CPU time limit exceeded, terminating % 211.52/182.13 eprover: CPU time limit exceeded, terminating % 213.92/184.14 eprover: CPU time limit exceeded, terminating % 216.41/186.16 eprover: CPU time limit exceeded, terminating % 218.84/188.18 eprover: CPU time limit exceeded, terminating % 221.37/190.20 eprover: CPU time limit exceeded, terminating % 223.84/192.21 eprover: CPU time limit exceeded, terminating % 226.33/194.23 eprover: CPU time limit exceeded, terminating % 228.82/196.25 eprover: CPU time limit exceeded, terminating % 231.22/198.27 eprover: CPU time limit exceeded, terminating % 233.73/200.28 eprover: CPU time limit exceeded, terminating % 236.19/202.30 eprover: CPU time limit exceeded, terminating % 238.68/204.32 eprover: CPU time limit exceeded, terminating % 241.14/206.34 eprover: CPU time limit exceeded, terminating % 243.61/208.35 eprover: CPU time limit exceeded, terminating % 246.03/210.37 eprover: CPU time limit exceeded, terminating % 248.50/212.39 eprover: CPU time limit exceeded, terminating % 250.98/214.41 eprover: CPU time limit exceeded, terminating % 253.42/216.42 eprover: CPU time limit exceeded, terminating % 255.88/218.44 eprover: CPU time limit exceeded, terminating % 258.40/220.46 eprover: CPU time limit exceeded, terminating % 260.85/222.48 eprover: CPU time limit exceeded, terminating % 263.27/224.49 eprover: CPU time limit exceeded, terminating % 265.83/226.51 eprover: CPU time limit exceeded, terminating % 268.30/228.53 eprover: CPU time limit exceeded, terminating % 270.78/230.55 eprover: CPU time limit exceeded, terminating % 273.21/232.57 eprover: CPU time limit exceeded, terminating % 275.68/234.58 eprover: CPU time limit exceeded, terminating % 278.12/236.60 eprover: CPU time limit exceeded, terminating % 280.58/238.62 eprover: CPU time limit exceeded, terminating % 283.04/240.64 eprover: CPU time limit exceeded, terminating % 285.52/242.65 eprover: CPU time limit exceeded, terminating % 287.99/244.67 eprover: CPU time limit exceeded, terminating % 290.43/246.69 eprover: CPU time limit exceeded, terminating % 292.88/248.71 eprover: CPU time limit exceeded, terminating % 295.32/250.72 eprover: CPU time limit exceeded, terminating % 297.79/252.74 eprover: CPU time limit exceeded, terminating % 300.04/254.51 eprover: CPU time limit exceeded, terminating % 300.04/254.52 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------