%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW332+1 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n020.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:37 EDT 2022 % Result : Timeout 287.71s 246.53s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.12 % Problem : SWW332+1 : TPTP v8.1.0. Released v5.2.0. % 0.07/0.12 % Command : run_infinox %s % 0.13/0.33 % Computer : n020.cluster.edu % 0.13/0.33 % Model : x86_64 x86_64 % 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.33 % Memory : 8042.1875MB % 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.33 % CPULimit : 300 % 0.13/0.33 % WCLimit : 600 % 0.13/0.33 % DateTime : Sat Jun 4 18:59:37 EDT 2022 % 0.13/0.33 % CPUTime : % 61.41/60.96 eprover: CPU time limit exceeded, terminating % 64.04/62.97 eprover: CPU time limit exceeded, terminating % 66.59/64.98 eprover: CPU time limit exceeded, terminating % 69.17/67.00 eprover: CPU time limit exceeded, terminating % 71.64/69.03 eprover: CPU time limit exceeded, terminating % 74.38/71.04 eprover: CPU time limit exceeded, terminating % 77.01/73.06 eprover: CPU time limit exceeded, terminating % 79.67/75.07 eprover: CPU time limit exceeded, terminating % 82.27/77.11 eprover: CPU time limit exceeded, terminating % 84.91/79.12 eprover: CPU time limit exceeded, terminating % 87.58/81.14 eprover: CPU time limit exceeded, terminating % 90.21/83.15 eprover: CPU time limit exceeded, terminating % 92.82/85.17 eprover: CPU time limit exceeded, terminating % 95.17/87.18 eprover: CPU time limit exceeded, terminating % 97.61/89.20 eprover: CPU time limit exceeded, terminating % 99.99/91.21 eprover: CPU time limit exceeded, terminating % 102.47/93.22 eprover: CPU time limit exceeded, terminating % 104.84/95.24 eprover: CPU time limit exceeded, terminating % 107.30/97.25 eprover: CPU time limit exceeded, terminating % 109.73/99.26 eprover: CPU time limit exceeded, terminating % 112.19/101.28 eprover: CPU time limit exceeded, terminating % 114.61/103.29 eprover: CPU time limit exceeded, terminating % 117.00/105.31 eprover: CPU time limit exceeded, terminating % 119.46/107.32 eprover: CPU time limit exceeded, terminating % 121.90/109.33 eprover: CPU time limit exceeded, terminating % 124.29/111.35 eprover: CPU time limit exceeded, terminating % 126.74/113.37 eprover: CPU time limit exceeded, terminating % 129.18/115.38 eprover: CPU time limit exceeded, terminating % 131.58/117.39 eprover: CPU time limit exceeded, terminating % 134.02/119.41 eprover: CPU time limit exceeded, terminating % 136.48/121.42 eprover: CPU time limit exceeded, terminating % 138.88/123.43 eprover: CPU time limit exceeded, terminating % 141.22/125.45 eprover: CPU time limit exceeded, terminating % 143.73/127.46 eprover: CPU time limit exceeded, terminating % 146.12/129.48 eprover: CPU time limit exceeded, terminating % 148.55/131.49 eprover: CPU time limit exceeded, terminating % 150.99/133.50 eprover: CPU time limit exceeded, terminating % 153.45/135.52 eprover: CPU time limit exceeded, terminating % 155.83/137.53 eprover: CPU time limit exceeded, terminating % 158.26/139.55 eprover: CPU time limit exceeded, terminating % 160.75/141.56 eprover: CPU time limit exceeded, terminating % 163.20/143.58 eprover: CPU time limit exceeded, terminating % 165.61/145.60 eprover: CPU time limit exceeded, terminating % 167.98/147.61 eprover: CPU time limit exceeded, terminating % 170.44/149.63 eprover: CPU time limit exceeded, terminating % 172.92/151.65 eprover: CPU time limit exceeded, terminating % 175.36/153.66 eprover: CPU time limit exceeded, terminating % 177.76/155.68 eprover: CPU time limit exceeded, terminating % 180.20/157.70 eprover: CPU time limit exceeded, terminating % 182.61/159.71 eprover: CPU time limit exceeded, terminating % 185.06/161.73 eprover: CPU time limit exceeded, terminating % 187.50/163.74 eprover: CPU time limit exceeded, terminating % 189.95/165.79 eprover: CPU time limit exceeded, terminating % 192.38/167.81 eprover: CPU time limit exceeded, terminating % 194.81/169.83 eprover: CPU time limit exceeded, terminating % 197.23/171.84 eprover: CPU time limit exceeded, terminating % 199.75/173.86 eprover: CPU time limit exceeded, terminating % 202.24/175.88 eprover: CPU time limit exceeded, terminating % 204.63/177.89 eprover: CPU time limit exceeded, terminating % 207.10/179.91 eprover: CPU time limit exceeded, terminating % 209.49/181.93 eprover: CPU time limit exceeded, terminating % 212.02/183.95 eprover: CPU time limit exceeded, terminating % 214.45/185.96 eprover: CPU time limit exceeded, terminating % 216.88/187.99 eprover: CPU time limit exceeded, terminating % 219.31/190.01 eprover: CPU time limit exceeded, terminating % 221.79/192.02 eprover: CPU time limit exceeded, terminating % 224.25/194.04 eprover: CPU time limit exceeded, terminating % 226.70/196.06 eprover: CPU time limit exceeded, terminating % 229.16/198.08 eprover: CPU time limit exceeded, terminating % 231.62/200.10 eprover: CPU time limit exceeded, terminating % 234.06/202.11 eprover: CPU time limit exceeded, terminating % 236.48/204.13 eprover: CPU time limit exceeded, terminating % 238.87/206.15 eprover: CPU time limit exceeded, terminating % 241.41/208.17 eprover: CPU time limit exceeded, terminating % 243.81/210.19 eprover: CPU time limit exceeded, terminating % 246.25/212.21 eprover: CPU time limit exceeded, terminating % 248.72/214.23 eprover: CPU time limit exceeded, terminating % 251.20/216.26 eprover: CPU time limit exceeded, terminating % 253.63/218.28 eprover: CPU time limit exceeded, terminating % 256.08/220.30 eprover: CPU time limit exceeded, terminating % 258.48/222.32 eprover: CPU time limit exceeded, terminating % 260.95/224.34 eprover: CPU time limit exceeded, terminating % 263.41/226.35 eprover: CPU time limit exceeded, terminating % 265.81/228.37 eprover: CPU time limit exceeded, terminating % 268.18/230.39 eprover: CPU time limit exceeded, terminating % 270.67/232.41 eprover: CPU time limit exceeded, terminating % 273.04/234.43 eprover: CPU time limit exceeded, terminating % 275.55/236.44 eprover: CPU time limit exceeded, terminating % 277.99/238.46 eprover: CPU time limit exceeded, terminating % 280.43/240.48 eprover: CPU time limit exceeded, terminating % 282.88/242.50 eprover: CPU time limit exceeded, terminating % 285.31/244.51 eprover: CPU time limit exceeded, terminating % 287.71/246.53 eprover: CPU time limit exceeded, terminating % 290.18/248.55 eprover: CPU time limit exceeded, terminating % 292.68/250.56 eprover: CPU time limit exceeded, terminating % 295.11/252.58 eprover: CPU time limit exceeded, terminating % 297.59/254.60 eprover: CPU time limit exceeded, terminating % 299.99/256.62 eprover: CPU time limit exceeded, terminating % 300.08/256.65 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------