%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW359+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n024.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:40 EDT 2022 % Result : Timeout 287.78s 246.50s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.11 % Problem : SWW359+1 : TPTP v8.1.0. Released v5.2.0. % 0.11/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n024.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 : Sun Jun 5 18:15:20 EDT 2022 % 0.12/0.33 % CPUTime : % 53.04/52.72 eprover: CPU time limit exceeded, terminating % 55.50/54.73 eprover: CPU time limit exceeded, terminating % 57.94/56.74 eprover: CPU time limit exceeded, terminating % 60.39/58.77 eprover: CPU time limit exceeded, terminating % 62.87/60.78 eprover: CPU time limit exceeded, terminating % 65.33/62.80 eprover: CPU time limit exceeded, terminating % 67.75/64.85 eprover: CPU time limit exceeded, terminating % 70.15/66.87 eprover: CPU time limit exceeded, terminating % 72.65/68.89 eprover: CPU time limit exceeded, terminating % 75.13/70.92 eprover: CPU time limit exceeded, terminating % 77.58/72.94 eprover: CPU time limit exceeded, terminating % 80.04/74.96 eprover: CPU time limit exceeded, terminating % 82.43/76.99 eprover: CPU time limit exceeded, terminating % 84.93/79.01 eprover: CPU time limit exceeded, terminating % 87.40/81.05 eprover: CPU time limit exceeded, terminating % 89.77/83.06 eprover: CPU time limit exceeded, terminating % 92.26/85.07 eprover: CPU time limit exceeded, terminating % 94.75/87.09 eprover: CPU time limit exceeded, terminating % 97.14/89.11 eprover: CPU time limit exceeded, terminating % 99.66/91.13 eprover: CPU time limit exceeded, terminating % 102.14/93.15 eprover: CPU time limit exceeded, terminating % 104.61/95.16 eprover: CPU time limit exceeded, terminating % 106.99/97.18 eprover: CPU time limit exceeded, terminating % 109.40/99.21 eprover: CPU time limit exceeded, terminating % 111.87/101.22 eprover: CPU time limit exceeded, terminating % 114.29/103.24 eprover: CPU time limit exceeded, terminating % 116.67/105.27 eprover: CPU time limit exceeded, terminating % 119.12/107.28 eprover: CPU time limit exceeded, terminating % 121.50/109.30 eprover: CPU time limit exceeded, terminating % 123.94/111.32 eprover: CPU time limit exceeded, terminating % 126.46/113.33 eprover: CPU time limit exceeded, terminating % 128.88/115.35 eprover: CPU time limit exceeded, terminating % 131.36/117.37 eprover: CPU time limit exceeded, terminating % 133.79/119.39 eprover: CPU time limit exceeded, terminating % 136.25/121.40 eprover: CPU time limit exceeded, terminating % 138.70/123.44 eprover: CPU time limit exceeded, terminating % 141.12/125.45 eprover: CPU time limit exceeded, terminating % 143.63/127.48 eprover: CPU time limit exceeded, terminating % 146.07/129.50 eprover: CPU time limit exceeded, terminating % 148.50/131.52 eprover: CPU time limit exceeded, terminating % 150.97/133.53 eprover: CPU time limit exceeded, terminating % 153.36/135.55 eprover: CPU time limit exceeded, terminating % 155.83/137.57 eprover: CPU time limit exceeded, terminating % 158.24/139.58 eprover: CPU time limit exceeded, terminating % 160.71/141.60 eprover: CPU time limit exceeded, terminating % 163.24/143.63 eprover: CPU time limit exceeded, terminating % 165.62/145.64 eprover: CPU time limit exceeded, terminating % 168.06/147.66 eprover: CPU time limit exceeded, terminating % 170.50/149.67 eprover: CPU time limit exceeded, terminating % 173.02/151.70 eprover: CPU time limit exceeded, terminating % 175.45/153.72 eprover: CPU time limit exceeded, terminating % 177.86/155.73 eprover: CPU time limit exceeded, terminating % 180.28/157.75 eprover: CPU time limit exceeded, terminating % 182.78/159.76 eprover: CPU time limit exceeded, terminating % 185.18/161.77 eprover: CPU time limit exceeded, terminating % 187.65/163.79 eprover: CPU time limit exceeded, terminating % 190.13/165.81 eprover: CPU time limit exceeded, terminating % 192.58/167.82 eprover: CPU time limit exceeded, terminating % 195.03/169.84 eprover: CPU time limit exceeded, terminating % 197.43/171.85 eprover: CPU time limit exceeded, terminating % 199.85/173.87 eprover: CPU time limit exceeded, terminating % 202.31/175.90 eprover: CPU time limit exceeded, terminating % 204.79/177.91 eprover: CPU time limit exceeded, terminating % 207.21/179.94 eprover: CPU time limit exceeded, terminating % 209.63/181.95 eprover: CPU time limit exceeded, terminating % 212.00/183.97 eprover: CPU time limit exceeded, terminating % 214.40/185.98 eprover: CPU time limit exceeded, terminating % 216.87/188.00 eprover: CPU time limit exceeded, terminating % 219.38/190.03 eprover: CPU time limit exceeded, terminating % 221.79/192.05 eprover: CPU time limit exceeded, terminating % 224.23/194.07 eprover: CPU time limit exceeded, terminating % 226.75/196.09 eprover: CPU time limit exceeded, terminating % 229.19/198.10 eprover: CPU time limit exceeded, terminating % 231.62/200.11 eprover: CPU time limit exceeded, terminating % 234.07/202.13 eprover: CPU time limit exceeded, terminating % 236.48/204.14 eprover: CPU time limit exceeded, terminating % 238.93/206.16 eprover: CPU time limit exceeded, terminating % 241.36/208.17 eprover: CPU time limit exceeded, terminating % 243.87/210.20 eprover: CPU time limit exceeded, terminating % 246.29/212.22 eprover: CPU time limit exceeded, terminating % 248.73/214.23 eprover: CPU time limit exceeded, terminating % 251.18/216.25 eprover: CPU time limit exceeded, terminating % 253.56/218.27 eprover: CPU time limit exceeded, terminating % 256.00/220.29 eprover: CPU time limit exceeded, terminating % 258.51/222.30 eprover: CPU time limit exceeded, terminating % 260.96/224.32 eprover: CPU time limit exceeded, terminating % 263.40/226.33 eprover: CPU time limit exceeded, terminating % 265.83/228.35 eprover: CPU time limit exceeded, terminating % 268.25/230.37 eprover: CPU time limit exceeded, terminating % 270.73/232.39 eprover: CPU time limit exceeded, terminating % 273.17/234.41 eprover: CPU time limit exceeded, terminating % 275.58/236.42 eprover: CPU time limit exceeded, terminating % 277.91/238.44 eprover: CPU time limit exceeded, terminating % 280.38/240.46 eprover: CPU time limit exceeded, terminating % 282.81/242.47 eprover: CPU time limit exceeded, terminating % 285.33/244.49 eprover: CPU time limit exceeded, terminating % 287.78/246.50 eprover: CPU time limit exceeded, terminating % 290.21/248.52 eprover: CPU time limit exceeded, terminating % 292.68/250.53 eprover: CPU time limit exceeded, terminating % 295.04/252.55 eprover: CPU time limit exceeded, terminating % 297.46/254.57 eprover: CPU time limit exceeded, terminating % 299.92/256.60 eprover: CPU time limit exceeded, terminating % 300.12/256.80 eprover: CPU time limit exceeded, terminating % 300.12/256.81 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------