%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW392+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n029.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:43 EDT 2022 % Result : Timeout 287.27s 244.34s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.08/0.13 % Problem : SWW392+1 : TPTP v8.1.0. Released v5.2.0. % 0.08/0.14 % Command : run_infinox %s % 0.14/0.36 % Computer : n029.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 22:29:48 EDT 2022 % 0.14/0.36 % CPUTime : % 57.08/56.82 eprover: CPU time limit exceeded, terminating % 59.57/58.84 eprover: CPU time limit exceeded, terminating % 61.92/60.86 eprover: CPU time limit exceeded, terminating % 64.47/62.87 eprover: CPU time limit exceeded, terminating % 66.93/64.89 eprover: CPU time limit exceeded, terminating % 69.40/66.90 eprover: CPU time limit exceeded, terminating % 71.84/68.92 eprover: CPU time limit exceeded, terminating % 74.26/70.94 eprover: CPU time limit exceeded, terminating % 76.73/72.96 eprover: CPU time limit exceeded, terminating % 79.18/74.97 eprover: CPU time limit exceeded, terminating % 81.66/76.99 eprover: CPU time limit exceeded, terminating % 84.12/79.01 eprover: CPU time limit exceeded, terminating % 86.56/81.02 eprover: CPU time limit exceeded, terminating % 89.05/83.04 eprover: CPU time limit exceeded, terminating % 91.48/85.06 eprover: CPU time limit exceeded, terminating % 93.94/87.08 eprover: CPU time limit exceeded, terminating % 96.40/89.09 eprover: CPU time limit exceeded, terminating % 98.94/91.11 eprover: CPU time limit exceeded, terminating % 101.41/93.13 eprover: CPU time limit exceeded, terminating % 103.85/95.15 eprover: CPU time limit exceeded, terminating % 106.30/97.16 eprover: CPU time limit exceeded, terminating % 108.73/99.18 eprover: CPU time limit exceeded, terminating % 111.26/101.20 eprover: CPU time limit exceeded, terminating % 113.73/103.21 eprover: CPU time limit exceeded, terminating % 116.18/105.23 eprover: CPU time limit exceeded, terminating % 118.58/107.24 eprover: CPU time limit exceeded, terminating % 121.05/109.26 eprover: CPU time limit exceeded, terminating % 123.56/111.28 eprover: CPU time limit exceeded, terminating % 126.09/113.30 eprover: CPU time limit exceeded, terminating % 128.57/115.31 eprover: CPU time limit exceeded, terminating % 131.04/117.33 eprover: CPU time limit exceeded, terminating % 133.51/119.34 eprover: CPU time limit exceeded, terminating % 135.98/121.36 eprover: CPU time limit exceeded, terminating % 138.43/123.38 eprover: CPU time limit exceeded, terminating % 140.94/125.39 eprover: CPU time limit exceeded, terminating % 143.51/127.41 eprover: CPU time limit exceeded, terminating % 145.97/129.43 eprover: CPU time limit exceeded, terminating % 148.44/131.44 eprover: CPU time limit exceeded, terminating % 150.94/133.46 eprover: CPU time limit exceeded, terminating % 153.41/135.47 eprover: CPU time limit exceeded, terminating % 155.92/137.49 eprover: CPU time limit exceeded, terminating % 158.41/139.51 eprover: CPU time limit exceeded, terminating % 160.87/141.53 eprover: CPU time limit exceeded, terminating % 163.36/143.54 eprover: CPU time limit exceeded, terminating % 165.80/145.56 eprover: CPU time limit exceeded, terminating % 168.29/147.58 eprover: CPU time limit exceeded, terminating % 170.83/149.60 eprover: CPU time limit exceeded, terminating % 173.29/151.61 eprover: CPU time limit exceeded, terminating % 175.77/153.63 eprover: CPU time limit exceeded, terminating % 178.22/155.64 eprover: CPU time limit exceeded, terminating % 180.70/157.66 eprover: CPU time limit exceeded, terminating % 183.19/159.68 eprover: CPU time limit exceeded, terminating % 185.70/161.69 eprover: CPU time limit exceeded, terminating % 188.19/163.71 eprover: CPU time limit exceeded, terminating % 190.67/165.72 eprover: CPU time limit exceeded, terminating % 193.13/167.73 eprover: CPU time limit exceeded, terminating % 195.56/169.75 eprover: CPU time limit exceeded, terminating % 198.05/171.76 eprover: CPU time limit exceeded, terminating % 200.53/173.78 eprover: CPU time limit exceeded, terminating % 203.04/175.79 eprover: CPU time limit exceeded, terminating % 205.51/177.81 eprover: CPU time limit exceeded, terminating % 208.00/179.82 eprover: CPU time limit exceeded, terminating % 210.46/181.84 eprover: CPU time limit exceeded, terminating % 212.95/183.85 eprover: CPU time limit exceeded, terminating % 215.36/185.87 eprover: CPU time limit exceeded, terminating % 217.90/187.88 eprover: CPU time limit exceeded, terminating % 220.38/189.90 eprover: CPU time limit exceeded, terminating % 222.87/191.92 eprover: CPU time limit exceeded, terminating % 225.27/193.93 eprover: CPU time limit exceeded, terminating % 227.82/195.95 eprover: CPU time limit exceeded, terminating % 230.30/197.96 eprover: CPU time limit exceeded, terminating % 232.76/199.98 eprover: CPU time limit exceeded, terminating % 235.24/201.99 eprover: CPU time limit exceeded, terminating % 237.69/204.01 eprover: CPU time limit exceeded, terminating % 240.22/206.03 eprover: CPU time limit exceeded, terminating % 242.63/208.04 eprover: CPU time limit exceeded, terminating % 245.13/210.06 eprover: CPU time limit exceeded, terminating % 247.59/212.07 eprover: CPU time limit exceeded, terminating % 250.03/214.09 eprover: CPU time limit exceeded, terminating % 252.48/216.11 eprover: CPU time limit exceeded, terminating % 254.96/218.12 eprover: CPU time limit exceeded, terminating % 257.44/220.14 eprover: CPU time limit exceeded, terminating % 259.87/222.16 eprover: CPU time limit exceeded, terminating % 262.40/224.17 eprover: CPU time limit exceeded, terminating % 264.89/226.19 eprover: CPU time limit exceeded, terminating % 267.32/228.21 eprover: CPU time limit exceeded, terminating % 269.85/230.22 eprover: CPU time limit exceeded, terminating % 272.33/232.24 eprover: CPU time limit exceeded, terminating % 274.83/234.26 eprover: CPU time limit exceeded, terminating % 277.32/236.28 eprover: CPU time limit exceeded, terminating % 279.75/238.29 eprover: CPU time limit exceeded, terminating % 282.26/240.31 eprover: CPU time limit exceeded, terminating % 284.74/242.33 eprover: CPU time limit exceeded, terminating % 287.27/244.34 eprover: CPU time limit exceeded, terminating % 289.71/246.36 eprover: CPU time limit exceeded, terminating % 292.20/248.38 eprover: CPU time limit exceeded, terminating % 294.67/250.39 eprover: CPU time limit exceeded, terminating % 297.14/252.41 eprover: CPU time limit exceeded, terminating % 299.63/254.42 eprover: CPU time limit exceeded, terminating % 300.27/254.87 eprover: CPU time limit exceeded, terminating % 300.27/254.89 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------