%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM074-1 : TPTP v8.1.0. Bugfixed v2.1.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 : Mon Jul 18 10:34:37 EDT 2022 % Result : Timeout 287.13s 284.40s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.13 % Problem : NUM074-1 : TPTP v8.1.0. Bugfixed v2.1.0. % 0.07/0.14 % Command : run_infinox %s % 0.15/0.36 % Computer : n020.cluster.edu % 0.15/0.36 % Model : x86_64 x86_64 % 0.15/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.15/0.36 % Memory : 8042.1875MB % 0.15/0.36 % OS : Linux 3.10.0-693.el7.x86_64 % 0.15/0.36 % CPULimit : 300 % 0.15/0.36 % WCLimit : 600 % 0.15/0.36 % DateTime : Tue Jul 5 15:55:29 EDT 2022 % 0.15/0.36 % CPUTime : % 2.24/2.49 eprover: CPU time limit exceeded, terminating % 4.29/4.51 eprover: CPU time limit exceeded, terminating % 6.35/6.52 eprover: CPU time limit exceeded, terminating % 8.39/8.53 eprover: CPU time limit exceeded, terminating % 10.39/10.55 eprover: CPU time limit exceeded, terminating % 12.36/12.56 eprover: CPU time limit exceeded, terminating % 14.43/14.57 eprover: CPU time limit exceeded, terminating % 16.40/16.59 eprover: CPU time limit exceeded, terminating % 18.47/18.60 eprover: CPU time limit exceeded, terminating % 20.51/20.61 eprover: CPU time limit exceeded, terminating % 22.52/22.63 eprover: CPU time limit exceeded, terminating % 24.51/24.64 eprover: CPU time limit exceeded, terminating % 26.51/26.66 eprover: CPU time limit exceeded, terminating % 28.54/28.67 eprover: CPU time limit exceeded, terminating % 30.61/30.69 eprover: CPU time limit exceeded, terminating % 32.63/32.70 eprover: CPU time limit exceeded, terminating % 34.67/34.71 eprover: CPU time limit exceeded, terminating % 36.68/36.73 eprover: CPU time limit exceeded, terminating % 38.67/38.74 eprover: CPU time limit exceeded, terminating % 40.64/40.76 eprover: CPU time limit exceeded, terminating % 42.67/42.77 eprover: CPU time limit exceeded, terminating % 44.77/44.78 eprover: CPU time limit exceeded, terminating % 46.78/46.80 eprover: CPU time limit exceeded, terminating % 48.79/48.81 eprover: CPU time limit exceeded, terminating % 50.84/50.82 eprover: CPU time limit exceeded, terminating % 52.83/52.84 eprover: CPU time limit exceeded, terminating % 54.84/54.85 eprover: CPU time limit exceeded, terminating % 56.84/56.86 eprover: CPU time limit exceeded, terminating % 58.91/58.87 eprover: CPU time limit exceeded, terminating % 60.87/60.89 eprover: CPU time limit exceeded, terminating % 62.87/62.90 eprover: CPU time limit exceeded, terminating % 64.96/64.91 eprover: CPU time limit exceeded, terminating % 66.98/66.93 eprover: CPU time limit exceeded, terminating % 68.98/68.94 eprover: CPU time limit exceeded, terminating % 70.99/70.96 eprover: CPU time limit exceeded, terminating % 72.98/72.97 eprover: CPU time limit exceeded, terminating % 75.08/74.98 eprover: CPU time limit exceeded, terminating % 77.02/77.00 eprover: CPU time limit exceeded, terminating % 79.12/79.01 eprover: CPU time limit exceeded, terminating % 81.12/81.03 eprover: CPU time limit exceeded, terminating % 83.16/83.04 eprover: CPU time limit exceeded, terminating % 85.17/85.06 eprover: CPU time limit exceeded, terminating % 87.14/87.07 eprover: CPU time limit exceeded, terminating % 89.17/89.08 eprover: CPU time limit exceeded, terminating % 91.18/91.09 eprover: CPU time limit exceeded, terminating % 93.27/93.11 eprover: CPU time limit exceeded, terminating % 95.28/95.12 eprover: CPU time limit exceeded, terminating % 97.30/97.14 eprover: CPU time limit exceeded, terminating % 99.31/99.15 eprover: CPU time limit exceeded, terminating % 101.31/101.16 eprover: CPU time limit exceeded, terminating % 103.29/103.18 eprover: CPU time limit exceeded, terminating % 105.34/105.19 eprover: CPU time limit exceeded, terminating % 107.42/107.20 eprover: CPU time limit exceeded, terminating % 109.42/109.22 eprover: CPU time limit exceeded, terminating % 113.41/111.23 eprover: CPU time limit exceeded, terminating % 115.44/113.24 eprover: CPU time limit exceeded, terminating % 117.43/115.25 eprover: CPU time limit exceeded, terminating % 119.46/117.26 eprover: CPU time limit exceeded, terminating % 121.42/119.28 eprover: CPU time limit exceeded, terminating % 123.53/121.29 eprover: CPU time limit exceeded, terminating % 125.57/123.31 eprover: CPU time limit exceeded, terminating % 127.58/125.32 eprover: CPU time limit exceeded, terminating % 129.57/127.34 eprover: CPU time limit exceeded, terminating % 131.59/129.35 eprover: CPU time limit exceeded, terminating % 133.61/131.36 eprover: CPU time limit exceeded, terminating % 135.59/133.38 eprover: CPU time limit exceeded, terminating % 137.62/135.39 eprover: CPU time limit exceeded, terminating % 139.71/137.40 eprover: CPU time limit exceeded, terminating % 141.71/139.42 eprover: CPU time limit exceeded, terminating % 143.72/141.43 eprover: CPU time limit exceeded, terminating % 145.75/143.44 eprover: CPU time limit exceeded, terminating % 147.72/145.45 eprover: CPU time limit exceeded, terminating % 149.74/147.47 eprover: CPU time limit exceeded, terminating % 151.78/149.48 eprover: CPU time limit exceeded, terminating % 153.76/151.49 eprover: CPU time limit exceeded, terminating % 155.85/153.50 eprover: CPU time limit exceeded, terminating % 157.87/155.52 eprover: CPU time limit exceeded, terminating % 159.90/157.53 eprover: CPU time limit exceeded, terminating % 161.86/159.54 eprover: CPU time limit exceeded, terminating % 163.91/161.55 eprover: CPU time limit exceeded, terminating % 165.93/163.57 eprover: CPU time limit exceeded, terminating % 167.90/165.58 eprover: CPU time limit exceeded, terminating % 170.00/167.60 eprover: CPU time limit exceeded, terminating % 172.03/169.61 eprover: CPU time limit exceeded, terminating % 174.05/171.62 eprover: CPU time limit exceeded, terminating % 176.04/173.64 eprover: CPU time limit exceeded, terminating % 178.07/175.65 eprover: CPU time limit exceeded, terminating % 180.07/177.66 eprover: CPU time limit exceeded, terminating % 182.06/179.68 eprover: CPU time limit exceeded, terminating % 184.15/181.69 eprover: CPU time limit exceeded, terminating % 186.09/183.70 eprover: CPU time limit exceeded, terminating % 188.19/185.72 eprover: CPU time limit exceeded, terminating % 190.19/187.73 eprover: CPU time limit exceeded, terminating % 192.21/189.74 eprover: CPU time limit exceeded, terminating % 194.23/191.75 eprover: CPU time limit exceeded, terminating % 196.19/193.77 eprover: CPU time limit exceeded, terminating % 198.23/195.78 eprover: CPU time limit exceeded, terminating % 200.25/197.80 eprover: CPU time limit exceeded, terminating % 202.36/199.81 eprover: CPU time limit exceeded, terminating % 204.36/201.83 eprover: CPU time limit exceeded, terminating % 206.37/203.84 eprover: CPU time limit exceeded, terminating % 208.37/205.86 eprover: CPU time limit exceeded, terminating % 210.36/207.87 eprover: CPU time limit exceeded, terminating % 212.46/209.89 eprover: CPU time limit exceeded, terminating % 214.42/211.90 eprover: CPU time limit exceeded, terminating % 216.50/213.92 eprover: CPU time limit exceeded, terminating % 218.49/215.93 eprover: CPU time limit exceeded, terminating % 220.53/217.95 eprover: CPU time limit exceeded, terminating % 222.52/219.96 eprover: CPU time limit exceeded, terminating % 224.52/221.98 eprover: CPU time limit exceeded, terminating % 226.53/223.99 eprover: CPU time limit exceeded, terminating % 228.63/226.01 eprover: CPU time limit exceeded, terminating % 230.64/228.03 eprover: CPU time limit exceeded, terminating % 232.68/230.04 eprover: CPU time limit exceeded, terminating % 234.68/232.05 eprover: CPU time limit exceeded, terminating % 236.67/234.07 eprover: CPU time limit exceeded, terminating % 238.70/236.08 eprover: CPU time limit exceeded, terminating % 240.76/238.09 eprover: CPU time limit exceeded, terminating % 242.79/240.10 eprover: CPU time limit exceeded, terminating % 244.81/242.11 eprover: CPU time limit exceeded, terminating % 246.82/244.13 eprover: CPU time limit exceeded, terminating % 248.83/246.14 eprover: CPU time limit exceeded, terminating % 250.84/248.15 eprover: CPU time limit exceeded, terminating % 252.82/250.16 eprover: CPU time limit exceeded, terminating % 254.85/252.17 eprover: CPU time limit exceeded, terminating % 256.85/254.19 eprover: CPU time limit exceeded, terminating % 258.94/256.20 eprover: CPU time limit exceeded, terminating % 260.95/258.21 eprover: CPU time limit exceeded, terminating % 262.96/260.23 eprover: CPU time limit exceeded, terminating % 265.00/262.24 eprover: CPU time limit exceeded, terminating % 266.98/264.25 eprover: CPU time limit exceeded, terminating % 268.93/266.27 eprover: CPU time limit exceeded, terminating % 271.00/268.29 eprover: CPU time limit exceeded, terminating % 273.07/270.30 eprover: CPU time limit exceeded, terminating % 275.02/272.31 eprover: CPU time limit exceeded, terminating % 277.09/274.33 eprover: CPU time limit exceeded, terminating % 279.09/276.34 eprover: CPU time limit exceeded, terminating % 281.13/278.35 eprover: CPU time limit exceeded, terminating % 283.15/280.37 eprover: CPU time limit exceeded, terminating % 285.18/282.38 eprover: CPU time limit exceeded, terminating % 287.13/284.40 eprover: CPU time limit exceeded, terminating % 289.19/286.41 eprover: CPU time limit exceeded, terminating % 291.24/288.43 eprover: CPU time limit exceeded, terminating % 293.22/290.44 eprover: CPU time limit exceeded, terminating % 295.29/292.46 eprover: CPU time limit exceeded, terminating % 297.23/294.47 eprover: CPU time limit exceeded, terminating % 299.32/296.49 eprover: CPU time limit exceeded, terminating % 300.07/297.23 eprover: CPU time limit exceeded, terminating % 300.07/297.24 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------