%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW356+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:40 EDT 2022 % Result : Timeout 286.60s 246.62s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.12/0.14 % Problem : SWW356+1 : TPTP v8.1.0. Released v5.2.0. % 0.12/0.15 % Command : run_infinox %s % 0.16/0.36 % Computer : n022.cluster.edu % 0.16/0.36 % Model : x86_64 x86_64 % 0.16/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.16/0.36 % Memory : 8042.1875MB % 0.16/0.36 % OS : Linux 3.10.0-693.el7.x86_64 % 0.16/0.36 % CPULimit : 300 % 0.16/0.36 % WCLimit : 600 % 0.16/0.36 % DateTime : Sun Jun 5 00:27:21 EDT 2022 % 0.16/0.37 % CPUTime : % 65.27/64.92 eprover: CPU time limit exceeded, terminating % 67.74/66.94 eprover: CPU time limit exceeded, terminating % 70.20/68.96 eprover: CPU time limit exceeded, terminating % 72.64/70.97 eprover: CPU time limit exceeded, terminating % 75.12/72.99 eprover: CPU time limit exceeded, terminating % 77.55/75.01 eprover: CPU time limit exceeded, terminating % 80.06/77.03 eprover: CPU time limit exceeded, terminating % 82.53/79.05 eprover: CPU time limit exceeded, terminating % 84.99/81.07 eprover: CPU time limit exceeded, terminating % 87.51/83.09 eprover: CPU time limit exceeded, terminating % 90.01/85.10 eprover: CPU time limit exceeded, terminating % 92.42/87.12 eprover: CPU time limit exceeded, terminating % 94.92/89.14 eprover: CPU time limit exceeded, terminating % 97.37/91.16 eprover: CPU time limit exceeded, terminating % 99.91/93.18 eprover: CPU time limit exceeded, terminating % 102.33/95.20 eprover: CPU time limit exceeded, terminating % 104.77/97.22 eprover: CPU time limit exceeded, terminating % 107.23/99.23 eprover: CPU time limit exceeded, terminating % 109.75/101.25 eprover: CPU time limit exceeded, terminating % 112.20/103.27 eprover: CPU time limit exceeded, terminating % 114.60/105.29 eprover: CPU time limit exceeded, terminating % 117.07/107.31 eprover: CPU time limit exceeded, terminating % 119.55/109.33 eprover: CPU time limit exceeded, terminating % 121.99/111.35 eprover: CPU time limit exceeded, terminating % 124.50/113.37 eprover: CPU time limit exceeded, terminating % 126.98/115.38 eprover: CPU time limit exceeded, terminating % 129.44/117.40 eprover: CPU time limit exceeded, terminating % 131.88/119.42 eprover: CPU time limit exceeded, terminating % 134.31/121.44 eprover: CPU time limit exceeded, terminating % 136.80/123.46 eprover: CPU time limit exceeded, terminating % 139.26/125.48 eprover: CPU time limit exceeded, terminating % 141.67/127.50 eprover: CPU time limit exceeded, terminating % 144.16/129.52 eprover: CPU time limit exceeded, terminating % 146.58/131.54 eprover: CPU time limit exceeded, terminating % 149.09/133.56 eprover: CPU time limit exceeded, terminating % 151.51/135.57 eprover: CPU time limit exceeded, terminating % 153.96/137.59 eprover: CPU time limit exceeded, terminating % 156.37/139.61 eprover: CPU time limit exceeded, terminating % 158.85/141.63 eprover: CPU time limit exceeded, terminating % 161.36/143.65 eprover: CPU time limit exceeded, terminating % 163.81/145.67 eprover: CPU time limit exceeded, terminating % 166.26/147.69 eprover: CPU time limit exceeded, terminating % 168.68/149.71 eprover: CPU time limit exceeded, terminating % 171.06/151.73 eprover: CPU time limit exceeded, terminating % 173.60/153.74 eprover: CPU time limit exceeded, terminating % 176.06/155.76 eprover: CPU time limit exceeded, terminating % 178.52/157.78 eprover: CPU time limit exceeded, terminating % 180.94/159.80 eprover: CPU time limit exceeded, terminating % 183.41/161.82 eprover: CPU time limit exceeded, terminating % 185.90/163.84 eprover: CPU time limit exceeded, terminating % 188.29/165.85 eprover: CPU time limit exceeded, terminating % 190.77/167.87 eprover: CPU time limit exceeded, terminating % 193.25/169.89 eprover: CPU time limit exceeded, terminating % 195.69/171.91 eprover: CPU time limit exceeded, terminating % 198.15/173.93 eprover: CPU time limit exceeded, terminating % 200.58/175.95 eprover: CPU time limit exceeded, terminating % 203.05/177.97 eprover: CPU time limit exceeded, terminating % 205.49/179.98 eprover: CPU time limit exceeded, terminating % 207.89/182.01 eprover: CPU time limit exceeded, terminating % 210.40/184.03 eprover: CPU time limit exceeded, terminating % 212.85/186.05 eprover: CPU time limit exceeded, terminating % 215.31/188.07 eprover: CPU time limit exceeded, terminating % 217.79/190.08 eprover: CPU time limit exceeded, terminating % 220.24/192.11 eprover: CPU time limit exceeded, terminating % 222.63/194.13 eprover: CPU time limit exceeded, terminating % 225.21/196.15 eprover: CPU time limit exceeded, terminating % 227.64/198.17 eprover: CPU time limit exceeded, terminating % 230.11/200.19 eprover: CPU time limit exceeded, terminating % 232.56/202.21 eprover: CPU time limit exceeded, terminating % 234.97/204.22 eprover: CPU time limit exceeded, terminating % 237.46/206.24 eprover: CPU time limit exceeded, terminating % 239.93/208.26 eprover: CPU time limit exceeded, terminating % 242.39/210.28 eprover: CPU time limit exceeded, terminating % 244.82/212.30 eprover: CPU time limit exceeded, terminating % 247.26/214.32 eprover: CPU time limit exceeded, terminating % 249.73/216.34 eprover: CPU time limit exceeded, terminating % 252.18/218.36 eprover: CPU time limit exceeded, terminating % 254.64/220.38 eprover: CPU time limit exceeded, terminating % 257.07/222.39 eprover: CPU time limit exceeded, terminating % 259.54/224.41 eprover: CPU time limit exceeded, terminating % 262.02/226.43 eprover: CPU time limit exceeded, terminating % 264.50/228.45 eprover: CPU time limit exceeded, terminating % 266.95/230.47 eprover: CPU time limit exceeded, terminating % 269.36/232.49 eprover: CPU time limit exceeded, terminating % 271.85/234.51 eprover: CPU time limit exceeded, terminating % 274.29/236.53 eprover: CPU time limit exceeded, terminating % 276.73/238.54 eprover: CPU time limit exceeded, terminating % 279.24/240.56 eprover: CPU time limit exceeded, terminating % 281.70/242.58 eprover: CPU time limit exceeded, terminating % 284.14/244.60 eprover: CPU time limit exceeded, terminating % 286.60/246.62 eprover: CPU time limit exceeded, terminating % 289.06/248.64 eprover: CPU time limit exceeded, terminating % 291.53/250.66 eprover: CPU time limit exceeded, terminating % 293.94/252.67 eprover: CPU time limit exceeded, terminating % 296.45/254.69 eprover: CPU time limit exceeded, terminating % 298.87/256.71 eprover: CPU time limit exceeded, terminating % 300.16/257.66 eprover: CPU time limit exceeded, terminating % 300.16/257.67 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------