%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM335+1 : TPTP v8.1.0. Released v3.1.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n007.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 : Mon Jul 18 10:36:09 EDT 2022 % Result : Timeout 287.26s 286.78s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : NUM335+1 : TPTP v8.1.0. Released v3.1.0. % 0.03/0.12 % Command : run_infinox %s % 0.13/0.33 % Computer : n007.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 : Tue Jul 5 15:48:42 EDT 2022 % 0.13/0.34 % CPUTime : % 2.31/2.52 eprover: CPU time limit exceeded, terminating % 4.31/4.53 eprover: CPU time limit exceeded, terminating % 6.38/6.55 eprover: CPU time limit exceeded, terminating % 8.40/8.56 eprover: CPU time limit exceeded, terminating % 10.39/10.57 eprover: CPU time limit exceeded, terminating % 12.42/12.59 eprover: CPU time limit exceeded, terminating % 14.42/14.60 eprover: CPU time limit exceeded, terminating % 16.44/16.63 eprover: CPU time limit exceeded, terminating % 18.52/18.65 eprover: CPU time limit exceeded, terminating % 20.52/20.66 eprover: CPU time limit exceeded, terminating % 22.55/22.68 eprover: CPU time limit exceeded, terminating % 24.55/24.69 eprover: CPU time limit exceeded, terminating % 26.56/26.70 eprover: CPU time limit exceeded, terminating % 28.62/28.71 eprover: CPU time limit exceeded, terminating % 30.61/30.73 eprover: CPU time limit exceeded, terminating % 32.65/32.74 eprover: CPU time limit exceeded, terminating % 34.64/34.75 eprover: CPU time limit exceeded, terminating % 36.69/36.77 eprover: CPU time limit exceeded, terminating % 38.71/38.78 eprover: CPU time limit exceeded, terminating % 40.69/40.80 eprover: CPU time limit exceeded, terminating % 42.75/42.81 eprover: CPU time limit exceeded, terminating % 44.82/44.83 eprover: CPU time limit exceeded, terminating % 46.77/46.84 eprover: CPU time limit exceeded, terminating % 48.82/48.86 eprover: CPU time limit exceeded, terminating % 50.83/50.87 eprover: CPU time limit exceeded, terminating % 52.88/52.89 eprover: CPU time limit exceeded, terminating % 54.88/54.90 eprover: CPU time limit exceeded, terminating % 56.92/56.92 eprover: CPU time limit exceeded, terminating % 58.94/58.93 eprover: CPU time limit exceeded, terminating % 60.90/60.94 eprover: CPU time limit exceeded, terminating % 62.99/62.96 eprover: CPU time limit exceeded, terminating % 65.01/64.97 eprover: CPU time limit exceeded, terminating % 66.99/66.99 eprover: CPU time limit exceeded, terminating % 69.03/69.00 eprover: CPU time limit exceeded, terminating % 71.02/71.01 eprover: CPU time limit exceeded, terminating % 73.04/73.03 eprover: CPU time limit exceeded, terminating % 75.09/75.05 eprover: CPU time limit exceeded, terminating % 77.10/77.08 eprover: CPU time limit exceeded, terminating % 79.11/79.10 eprover: CPU time limit exceeded, terminating % 81.11/81.11 eprover: CPU time limit exceeded, terminating % 83.17/83.13 eprover: CPU time limit exceeded, terminating % 85.22/85.14 eprover: CPU time limit exceeded, terminating % 87.24/87.16 eprover: CPU time limit exceeded, terminating % 89.23/89.18 eprover: CPU time limit exceeded, terminating % 91.27/91.20 eprover: CPU time limit exceeded, terminating % 93.28/93.20 eprover: CPU time limit exceeded, terminating % 95.33/95.22 eprover: CPU time limit exceeded, terminating % 97.34/97.23 eprover: CPU time limit exceeded, terminating % 99.35/99.25 eprover: CPU time limit exceeded, terminating % 101.33/101.29 eprover: CPU time limit exceeded, terminating % 103.38/103.30 eprover: CPU time limit exceeded, terminating % 105.39/105.32 eprover: CPU time limit exceeded, terminating % 107.42/107.33 eprover: CPU time limit exceeded, terminating % 109.41/109.39 eprover: CPU time limit exceeded, terminating % 111.49/111.42 eprover: CPU time limit exceeded, terminating % 113.45/113.43 eprover: CPU time limit exceeded, terminating % 115.55/115.44 eprover: CPU time limit exceeded, terminating % 117.57/117.46 eprover: CPU time limit exceeded, terminating % 119.54/119.48 eprover: CPU time limit exceeded, terminating % 121.59/121.49 eprover: CPU time limit exceeded, terminating % 123.59/123.50 eprover: CPU time limit exceeded, terminating % 125.64/125.52 eprover: CPU time limit exceeded, terminating % 127.59/127.53 eprover: CPU time limit exceeded, terminating % 129.65/129.55 eprover: CPU time limit exceeded, terminating % 131.71/131.60 eprover: CPU time limit exceeded, terminating % 133.70/133.61 eprover: CPU time limit exceeded, terminating % 135.76/135.63 eprover: CPU time limit exceeded, terminating % 137.69/137.64 eprover: CPU time limit exceeded, terminating % 139.78/139.66 eprover: CPU time limit exceeded, terminating % 141.81/141.67 eprover: CPU time limit exceeded, terminating % 143.80/143.69 eprover: CPU time limit exceeded, terminating % 145.84/145.71 eprover: CPU time limit exceeded, terminating % 147.88/147.72 eprover: CPU time limit exceeded, terminating % 149.86/149.73 eprover: CPU time limit exceeded, terminating % 151.92/151.78 eprover: CPU time limit exceeded, terminating % 153.90/153.79 eprover: CPU time limit exceeded, terminating % 155.95/155.80 eprover: CPU time limit exceeded, terminating % 157.99/157.81 eprover: CPU time limit exceeded, terminating % 160.01/159.82 eprover: CPU time limit exceeded, terminating % 161.95/161.84 eprover: CPU time limit exceeded, terminating % 164.03/163.85 eprover: CPU time limit exceeded, terminating % 166.02/165.87 eprover: CPU time limit exceeded, terminating % 168.08/167.88 eprover: CPU time limit exceeded, terminating % 170.09/169.89 eprover: CPU time limit exceeded, terminating % 172.07/171.90 eprover: CPU time limit exceeded, terminating % 174.09/173.91 eprover: CPU time limit exceeded, terminating % 176.12/175.93 eprover: CPU time limit exceeded, terminating % 178.16/177.94 eprover: CPU time limit exceeded, terminating % 180.19/179.95 eprover: CPU time limit exceeded, terminating % 182.18/181.97 eprover: CPU time limit exceeded, terminating % 184.23/183.99 eprover: CPU time limit exceeded, terminating % 186.19/186.00 eprover: CPU time limit exceeded, terminating % 188.25/188.01 eprover: CPU time limit exceeded, terminating % 190.28/190.03 eprover: CPU time limit exceeded, terminating % 192.31/192.04 eprover: CPU time limit exceeded, terminating % 194.32/194.05 eprover: CPU time limit exceeded, terminating % 196.27/196.06 eprover: CPU time limit exceeded, terminating % 198.35/198.07 eprover: CPU time limit exceeded, terminating % 200.39/200.08 eprover: CPU time limit exceeded, terminating % 202.36/202.11 eprover: CPU time limit exceeded, terminating % 204.39/204.12 eprover: CPU time limit exceeded, terminating % 206.44/206.14 eprover: CPU time limit exceeded, terminating % 208.46/208.16 eprover: CPU time limit exceeded, terminating % 210.46/210.19 eprover: CPU time limit exceeded, terminating % 212.47/212.21 eprover: CPU time limit exceeded, terminating % 214.53/214.23 eprover: CPU time limit exceeded, terminating % 216.56/216.25 eprover: CPU time limit exceeded, terminating % 218.58/218.26 eprover: CPU time limit exceeded, terminating % 220.58/220.28 eprover: CPU time limit exceeded, terminating % 222.61/222.30 eprover: CPU time limit exceeded, terminating % 224.65/224.31 eprover: CPU time limit exceeded, terminating % 226.62/226.32 eprover: CPU time limit exceeded, terminating % 228.69/228.34 eprover: CPU time limit exceeded, terminating % 230.72/230.36 eprover: CPU time limit exceeded, terminating % 232.74/232.37 eprover: CPU time limit exceeded, terminating % 234.77/234.39 eprover: CPU time limit exceeded, terminating % 236.76/236.41 eprover: CPU time limit exceeded, terminating % 238.83/238.43 eprover: CPU time limit exceeded, terminating % 240.77/240.45 eprover: CPU time limit exceeded, terminating % 242.84/242.46 eprover: CPU time limit exceeded, terminating % 244.84/244.48 eprover: CPU time limit exceeded, terminating % 246.89/246.49 eprover: CPU time limit exceeded, terminating % 248.90/248.51 eprover: CPU time limit exceeded, terminating % 250.93/250.52 eprover: CPU time limit exceeded, terminating % 252.96/252.54 eprover: CPU time limit exceeded, terminating % 254.98/254.55 eprover: CPU time limit exceeded, terminating % 256.98/256.58 eprover: CPU time limit exceeded, terminating % 259.00/258.59 eprover: CPU time limit exceeded, terminating % 261.03/260.60 eprover: CPU time limit exceeded, terminating % 263.01/262.62 eprover: CPU time limit exceeded, terminating % 265.09/264.63 eprover: CPU time limit exceeded, terminating % 267.09/266.64 eprover: CPU time limit exceeded, terminating % 269.11/268.65 eprover: CPU time limit exceeded, terminating % 271.09/270.67 eprover: CPU time limit exceeded, terminating % 273.14/272.68 eprover: CPU time limit exceeded, terminating % 275.17/274.69 eprover: CPU time limit exceeded, terminating % 277.16/276.70 eprover: CPU time limit exceeded, terminating % 279.15/278.72 eprover: CPU time limit exceeded, terminating % 281.23/280.73 eprover: CPU time limit exceeded, terminating % 283.19/282.74 eprover: CPU time limit exceeded, terminating % 285.24/284.76 eprover: CPU time limit exceeded, terminating % 287.26/286.78 eprover: CPU time limit exceeded, terminating % 289.27/288.81 eprover: CPU time limit exceeded, terminating % 291.26/290.82 eprover: CPU time limit exceeded, terminating % 293.29/292.83 eprover: CPU time limit exceeded, terminating % 295.37/294.84 eprover: CPU time limit exceeded, terminating % 297.41/296.86 eprover: CPU time limit exceeded, terminating % 299.39/298.87 eprover: CPU time limit exceeded, terminating % 300.02/299.46 eprover: CPU time limit exceeded, terminating % 300.02/299.48 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------