%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM486+3 : TPTP v8.1.0. Released v4.0.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 : Mon Jul 18 10:37:22 EDT 2022 % Result : Timeout 287.01s 286.60s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.04/0.14 % Problem : NUM486+3 : TPTP v8.1.0. Released v4.0.0. % 0.04/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 : Wed Jul 6 10:00:13 EDT 2022 % 0.14/0.36 % CPUTime : % 2.26/2.46 eprover: CPU time limit exceeded, terminating % 4.25/4.47 eprover: CPU time limit exceeded, terminating % 6.29/6.48 eprover: CPU time limit exceeded, terminating % 8.27/8.50 eprover: CPU time limit exceeded, terminating % 10.27/10.52 eprover: CPU time limit exceeded, terminating % 12.32/12.53 eprover: CPU time limit exceeded, terminating % 14.36/14.55 eprover: CPU time limit exceeded, terminating % 16.38/16.56 eprover: CPU time limit exceeded, terminating % 18.37/18.58 eprover: CPU time limit exceeded, terminating % 20.39/20.59 eprover: CPU time limit exceeded, terminating % 22.40/22.60 eprover: CPU time limit exceeded, terminating % 24.47/24.62 eprover: CPU time limit exceeded, terminating % 26.48/26.63 eprover: CPU time limit exceeded, terminating % 28.49/28.65 eprover: CPU time limit exceeded, terminating % 30.46/30.66 eprover: CPU time limit exceeded, terminating % 32.47/32.67 eprover: CPU time limit exceeded, terminating % 34.55/34.69 eprover: CPU time limit exceeded, terminating % 36.57/36.70 eprover: CPU time limit exceeded, terminating % 38.59/38.72 eprover: CPU time limit exceeded, terminating % 40.59/40.73 eprover: CPU time limit exceeded, terminating % 42.64/42.75 eprover: CPU time limit exceeded, terminating % 44.59/44.76 eprover: CPU time limit exceeded, terminating % 46.68/46.78 eprover: CPU time limit exceeded, terminating % 48.61/48.79 eprover: CPU time limit exceeded, terminating % 50.69/50.80 eprover: CPU time limit exceeded, terminating % 52.73/52.82 eprover: CPU time limit exceeded, terminating % 54.71/54.83 eprover: CPU time limit exceeded, terminating % 56.73/56.85 eprover: CPU time limit exceeded, terminating % 58.74/58.86 eprover: CPU time limit exceeded, terminating % 60.81/60.88 eprover: CPU time limit exceeded, terminating % 62.76/62.89 eprover: CPU time limit exceeded, terminating % 64.82/64.91 eprover: CPU time limit exceeded, terminating % 66.84/66.92 eprover: CPU time limit exceeded, terminating % 68.82/68.94 eprover: CPU time limit exceeded, terminating % 70.90/70.95 eprover: CPU time limit exceeded, terminating % 72.89/72.97 eprover: CPU time limit exceeded, terminating % 74.94/74.98 eprover: CPU time limit exceeded, terminating % 76.92/77.00 eprover: CPU time limit exceeded, terminating % 78.95/79.01 eprover: CPU time limit exceeded, terminating % 80.94/81.03 eprover: CPU time limit exceeded, terminating % 83.01/83.04 eprover: CPU time limit exceeded, terminating % 85.03/85.06 eprover: CPU time limit exceeded, terminating % 87.03/87.07 eprover: CPU time limit exceeded, terminating % 89.01/89.09 eprover: CPU time limit exceeded, terminating % 91.07/91.11 eprover: CPU time limit exceeded, terminating % 93.11/93.12 eprover: CPU time limit exceeded, terminating % 95.12/95.14 eprover: CPU time limit exceeded, terminating % 97.14/97.15 eprover: CPU time limit exceeded, terminating % 99.19/99.17 eprover: CPU time limit exceeded, terminating % 101.18/101.18 eprover: CPU time limit exceeded, terminating % 103.17/103.20 eprover: CPU time limit exceeded, terminating % 105.23/105.21 eprover: CPU time limit exceeded, terminating % 107.20/107.23 eprover: CPU time limit exceeded, terminating % 109.27/109.24 eprover: CPU time limit exceeded, terminating % 111.29/111.26 eprover: CPU time limit exceeded, terminating % 113.30/113.28 eprover: CPU time limit exceeded, terminating % 115.32/115.29 eprover: CPU time limit exceeded, terminating % 117.32/117.31 eprover: CPU time limit exceeded, terminating % 119.35/119.32 eprover: CPU time limit exceeded, terminating % 121.34/121.34 eprover: CPU time limit exceeded, terminating % 123.43/123.35 eprover: CPU time limit exceeded, terminating % 125.42/125.37 eprover: CPU time limit exceeded, terminating % 127.46/127.38 eprover: CPU time limit exceeded, terminating % 129.43/129.40 eprover: CPU time limit exceeded, terminating % 131.47/131.41 eprover: CPU time limit exceeded, terminating % 133.50/133.43 eprover: CPU time limit exceeded, terminating % 135.46/135.44 eprover: CPU time limit exceeded, terminating % 137.55/137.46 eprover: CPU time limit exceeded, terminating % 139.56/139.47 eprover: CPU time limit exceeded, terminating % 141.56/141.49 eprover: CPU time limit exceeded, terminating % 143.58/143.50 eprover: CPU time limit exceeded, terminating % 145.57/145.52 eprover: CPU time limit exceeded, terminating % 147.57/147.53 eprover: CPU time limit exceeded, terminating % 149.65/149.55 eprover: CPU time limit exceeded, terminating % 151.65/151.56 eprover: CPU time limit exceeded, terminating % 153.71/153.58 eprover: CPU time limit exceeded, terminating % 155.70/155.59 eprover: CPU time limit exceeded, terminating % 157.70/157.60 eprover: CPU time limit exceeded, terminating % 159.73/159.62 eprover: CPU time limit exceeded, terminating % 161.76/161.63 eprover: CPU time limit exceeded, terminating % 163.75/163.65 eprover: CPU time limit exceeded, terminating % 165.81/165.66 eprover: CPU time limit exceeded, terminating % 167.82/167.68 eprover: CPU time limit exceeded, terminating % 169.81/169.69 eprover: CPU time limit exceeded, terminating % 171.85/171.71 eprover: CPU time limit exceeded, terminating % 173.89/173.72 eprover: CPU time limit exceeded, terminating % 175.86/175.74 eprover: CPU time limit exceeded, terminating % 177.91/177.75 eprover: CPU time limit exceeded, terminating % 179.96/179.77 eprover: CPU time limit exceeded, terminating % 181.92/181.78 eprover: CPU time limit exceeded, terminating % 183.98/183.80 eprover: CPU time limit exceeded, terminating % 185.99/185.81 eprover: CPU time limit exceeded, terminating % 188.02/187.83 eprover: CPU time limit exceeded, terminating % 190.00/189.84 eprover: CPU time limit exceeded, terminating % 192.05/191.86 eprover: CPU time limit exceeded, terminating % 194.03/193.87 eprover: CPU time limit exceeded, terminating % 196.09/195.89 eprover: CPU time limit exceeded, terminating % 198.12/197.91 eprover: CPU time limit exceeded, terminating % 200.12/199.92 eprover: CPU time limit exceeded, terminating % 202.12/201.94 eprover: CPU time limit exceeded, terminating % 204.15/203.95 eprover: CPU time limit exceeded, terminating % 206.20/205.97 eprover: CPU time limit exceeded, terminating % 208.23/207.99 eprover: CPU time limit exceeded, terminating % 210.22/210.00 eprover: CPU time limit exceeded, terminating % 212.26/212.02 eprover: CPU time limit exceeded, terminating % 214.29/214.03 eprover: CPU time limit exceeded, terminating % 216.26/216.05 eprover: CPU time limit exceeded, terminating % 218.30/218.06 eprover: CPU time limit exceeded, terminating % 220.31/220.08 eprover: CPU time limit exceeded, terminating % 222.31/222.09 eprover: CPU time limit exceeded, terminating % 224.35/224.11 eprover: CPU time limit exceeded, terminating % 226.39/226.12 eprover: CPU time limit exceeded, terminating % 228.35/228.14 eprover: CPU time limit exceeded, terminating % 230.44/230.15 eprover: CPU time limit exceeded, terminating % 232.39/232.17 eprover: CPU time limit exceeded, terminating % 234.44/234.18 eprover: CPU time limit exceeded, terminating % 236.49/236.20 eprover: CPU time limit exceeded, terminating % 238.51/238.22 eprover: CPU time limit exceeded, terminating % 240.46/240.23 eprover: CPU time limit exceeded, terminating % 242.53/242.25 eprover: CPU time limit exceeded, terminating % 244.58/244.26 eprover: CPU time limit exceeded, terminating % 246.56/246.28 eprover: CPU time limit exceeded, terminating % 248.59/248.29 eprover: CPU time limit exceeded, terminating % 250.64/250.31 eprover: CPU time limit exceeded, terminating % 252.65/252.32 eprover: CPU time limit exceeded, terminating % 254.63/254.34 eprover: CPU time limit exceeded, terminating % 256.68/256.36 eprover: CPU time limit exceeded, terminating % 258.65/258.37 eprover: CPU time limit exceeded, terminating % 260.67/260.39 eprover: CPU time limit exceeded, terminating % 262.77/262.41 eprover: CPU time limit exceeded, terminating % 264.78/264.42 eprover: CPU time limit exceeded, terminating % 266.77/266.44 eprover: CPU time limit exceeded, terminating % 268.78/268.46 eprover: CPU time limit exceeded, terminating % 270.76/270.47 eprover: CPU time limit exceeded, terminating % 272.87/272.49 eprover: CPU time limit exceeded, terminating % 274.80/274.50 eprover: CPU time limit exceeded, terminating % 276.90/276.52 eprover: CPU time limit exceeded, terminating % 278.89/278.54 eprover: CPU time limit exceeded, terminating % 280.92/280.55 eprover: CPU time limit exceeded, terminating % 282.92/282.57 eprover: CPU time limit exceeded, terminating % 284.97/284.58 eprover: CPU time limit exceeded, terminating % 287.01/286.60 eprover: CPU time limit exceeded, terminating % 289.02/288.61 eprover: CPU time limit exceeded, terminating % 291.04/290.63 eprover: CPU time limit exceeded, terminating % 293.04/292.64 eprover: CPU time limit exceeded, terminating % 295.03/294.66 eprover: CPU time limit exceeded, terminating % 297.04/296.68 eprover: CPU time limit exceeded, terminating % 299.12/298.69 eprover: CPU time limit exceeded, terminating % 300.04/299.61 eprover: CPU time limit exceeded, terminating % 300.04/299.62 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------