%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW316+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n026.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:36 EDT 2022 % Result : Timeout 287.77s 246.67s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.06/0.11 % Problem : SWW316+1 : TPTP v8.1.0. Released v5.2.0. % 0.06/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n026.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:36:45 EDT 2022 % 0.12/0.33 % CPUTime : % 53.15/52.92 eprover: CPU time limit exceeded, terminating % 55.56/54.94 eprover: CPU time limit exceeded, terminating % 58.01/56.95 eprover: CPU time limit exceeded, terminating % 60.46/58.97 eprover: CPU time limit exceeded, terminating % 62.89/60.98 eprover: CPU time limit exceeded, terminating % 65.40/63.00 eprover: CPU time limit exceeded, terminating % 67.84/65.02 eprover: CPU time limit exceeded, terminating % 70.29/67.04 eprover: CPU time limit exceeded, terminating % 72.68/69.05 eprover: CPU time limit exceeded, terminating % 75.18/71.07 eprover: CPU time limit exceeded, terminating % 77.62/73.09 eprover: CPU time limit exceeded, terminating % 80.04/75.11 eprover: CPU time limit exceeded, terminating % 82.48/77.13 eprover: CPU time limit exceeded, terminating % 84.99/79.14 eprover: CPU time limit exceeded, terminating % 87.43/81.16 eprover: CPU time limit exceeded, terminating % 89.83/83.18 eprover: CPU time limit exceeded, terminating % 92.34/85.20 eprover: CPU time limit exceeded, terminating % 94.82/87.21 eprover: CPU time limit exceeded, terminating % 97.29/89.23 eprover: CPU time limit exceeded, terminating % 99.70/91.25 eprover: CPU time limit exceeded, terminating % 102.14/93.27 eprover: CPU time limit exceeded, terminating % 104.59/95.29 eprover: CPU time limit exceeded, terminating % 107.12/97.30 eprover: CPU time limit exceeded, terminating % 109.54/99.32 eprover: CPU time limit exceeded, terminating % 111.98/101.34 eprover: CPU time limit exceeded, terminating % 114.37/103.36 eprover: CPU time limit exceeded, terminating % 116.83/105.38 eprover: CPU time limit exceeded, terminating % 119.29/107.39 eprover: CPU time limit exceeded, terminating % 121.71/109.41 eprover: CPU time limit exceeded, terminating % 124.11/111.43 eprover: CPU time limit exceeded, terminating % 126.56/113.45 eprover: CPU time limit exceeded, terminating % 129.02/115.46 eprover: CPU time limit exceeded, terminating % 131.43/117.48 eprover: CPU time limit exceeded, terminating % 133.90/119.50 eprover: CPU time limit exceeded, terminating % 136.39/121.53 eprover: CPU time limit exceeded, terminating % 138.77/123.55 eprover: CPU time limit exceeded, terminating % 141.24/125.57 eprover: CPU time limit exceeded, terminating % 143.69/127.58 eprover: CPU time limit exceeded, terminating % 146.10/129.60 eprover: CPU time limit exceeded, terminating % 148.54/131.62 eprover: CPU time limit exceeded, terminating % 151.02/133.64 eprover: CPU time limit exceeded, terminating % 153.45/135.66 eprover: CPU time limit exceeded, terminating % 155.86/137.67 eprover: CPU time limit exceeded, terminating % 158.33/139.69 eprover: CPU time limit exceeded, terminating % 160.75/141.71 eprover: CPU time limit exceeded, terminating % 163.19/143.74 eprover: CPU time limit exceeded, terminating % 165.59/145.76 eprover: CPU time limit exceeded, terminating % 168.08/147.78 eprover: CPU time limit exceeded, terminating % 170.51/149.80 eprover: CPU time limit exceeded, terminating % 172.92/151.81 eprover: CPU time limit exceeded, terminating % 175.38/153.83 eprover: CPU time limit exceeded, terminating % 177.81/155.84 eprover: CPU time limit exceeded, terminating % 180.26/157.87 eprover: CPU time limit exceeded, terminating % 182.69/159.88 eprover: CPU time limit exceeded, terminating % 185.13/161.90 eprover: CPU time limit exceeded, terminating % 187.49/163.92 eprover: CPU time limit exceeded, terminating % 189.99/165.94 eprover: CPU time limit exceeded, terminating % 192.45/167.95 eprover: CPU time limit exceeded, terminating % 194.85/169.97 eprover: CPU time limit exceeded, terminating % 197.31/171.98 eprover: CPU time limit exceeded, terminating % 199.75/174.00 eprover: CPU time limit exceeded, terminating % 202.16/176.03 eprover: CPU time limit exceeded, terminating % 204.63/178.04 eprover: CPU time limit exceeded, terminating % 207.00/180.06 eprover: CPU time limit exceeded, terminating % 209.49/182.08 eprover: CPU time limit exceeded, terminating % 211.89/184.10 eprover: CPU time limit exceeded, terminating % 214.39/186.11 eprover: CPU time limit exceeded, terminating % 216.85/188.13 eprover: CPU time limit exceeded, terminating % 219.28/190.15 eprover: CPU time limit exceeded, terminating % 221.78/192.17 eprover: CPU time limit exceeded, terminating % 224.17/194.19 eprover: CPU time limit exceeded, terminating % 226.66/196.21 eprover: CPU time limit exceeded, terminating % 229.14/198.23 eprover: CPU time limit exceeded, terminating % 231.50/200.25 eprover: CPU time limit exceeded, terminating % 233.98/202.27 eprover: CPU time limit exceeded, terminating % 236.40/204.28 eprover: CPU time limit exceeded, terminating % 238.85/206.30 eprover: CPU time limit exceeded, terminating % 241.35/208.32 eprover: CPU time limit exceeded, terminating % 243.72/210.33 eprover: CPU time limit exceeded, terminating % 246.16/212.35 eprover: CPU time limit exceeded, terminating % 248.61/214.37 eprover: CPU time limit exceeded, terminating % 250.98/216.39 eprover: CPU time limit exceeded, terminating % 253.51/218.40 eprover: CPU time limit exceeded, terminating % 255.95/220.43 eprover: CPU time limit exceeded, terminating % 258.39/222.44 eprover: CPU time limit exceeded, terminating % 260.86/224.46 eprover: CPU time limit exceeded, terminating % 263.29/226.49 eprover: CPU time limit exceeded, terminating % 265.74/228.50 eprover: CPU time limit exceeded, terminating % 268.21/230.52 eprover: CPU time limit exceeded, terminating % 270.68/232.54 eprover: CPU time limit exceeded, terminating % 273.15/234.55 eprover: CPU time limit exceeded, terminating % 275.53/236.57 eprover: CPU time limit exceeded, terminating % 277.99/238.60 eprover: CPU time limit exceeded, terminating % 280.44/240.62 eprover: CPU time limit exceeded, terminating % 282.90/242.64 eprover: CPU time limit exceeded, terminating % 285.34/244.66 eprover: CPU time limit exceeded, terminating % 287.77/246.67 eprover: CPU time limit exceeded, terminating % 290.22/248.69 eprover: CPU time limit exceeded, terminating % 292.69/250.71 eprover: CPU time limit exceeded, terminating % 295.11/252.73 eprover: CPU time limit exceeded, terminating % 297.55/254.75 eprover: CPU time limit exceeded, terminating % 300.04/256.76 eprover: CPU time limit exceeded, terminating % 300.07/256.79 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------