%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM670+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n009.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:39:22 EDT 2022 % Result : Timeout 286.02s 282.36s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.06/0.11 % Problem : NUM670+4 : TPTP v8.1.0. Released v7.3.0. % 0.06/0.11 % Command : run_infinox %s % 0.11/0.32 % Computer : n009.cluster.edu % 0.11/0.32 % Model : x86_64 x86_64 % 0.11/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.11/0.32 % Memory : 8042.1875MB % 0.11/0.32 % OS : Linux 3.10.0-693.el7.x86_64 % 0.11/0.32 % CPULimit : 300 % 0.11/0.32 % WCLimit : 600 % 0.11/0.32 % DateTime : Tue Jul 5 20:15:07 EDT 2022 % 0.11/0.32 % CPUTime : % 2.93/3.14 eprover: CPU time limit exceeded, terminating % 5.02/5.15 eprover: CPU time limit exceeded, terminating % 7.00/7.16 eprover: CPU time limit exceeded, terminating % 9.07/9.17 eprover: CPU time limit exceeded, terminating % 11.12/11.17 eprover: CPU time limit exceeded, terminating % 13.11/13.18 eprover: CPU time limit exceeded, terminating % 15.16/15.19 eprover: CPU time limit exceeded, terminating % 17.22/17.20 eprover: CPU time limit exceeded, terminating % 19.22/19.21 eprover: CPU time limit exceeded, terminating % 21.25/21.22 eprover: CPU time limit exceeded, terminating % 23.32/23.23 eprover: CPU time limit exceeded, terminating % 25.36/25.23 eprover: CPU time limit exceeded, terminating % 27.34/27.24 eprover: CPU time limit exceeded, terminating % 29.44/29.25 eprover: CPU time limit exceeded, terminating % 31.39/31.26 eprover: CPU time limit exceeded, terminating % 33.49/33.27 eprover: CPU time limit exceeded, terminating % 35.52/35.28 eprover: CPU time limit exceeded, terminating % 37.59/37.29 eprover: CPU time limit exceeded, terminating % 39.63/39.30 eprover: CPU time limit exceeded, terminating % 41.68/41.31 eprover: CPU time limit exceeded, terminating % 43.70/43.32 eprover: CPU time limit exceeded, terminating % 45.76/45.33 eprover: CPU time limit exceeded, terminating % 47.78/47.34 eprover: CPU time limit exceeded, terminating % 49.80/49.34 eprover: CPU time limit exceeded, terminating % 51.79/51.35 eprover: CPU time limit exceeded, terminating % 53.85/53.36 eprover: CPU time limit exceeded, terminating % 55.90/55.37 eprover: CPU time limit exceeded, terminating % 57.96/57.38 eprover: CPU time limit exceeded, terminating % 59.98/59.39 eprover: CPU time limit exceeded, terminating % 61.97/61.40 eprover: CPU time limit exceeded, terminating % 64.04/63.40 eprover: CPU time limit exceeded, terminating % 66.10/65.41 eprover: CPU time limit exceeded, terminating % 68.12/67.42 eprover: CPU time limit exceeded, terminating % 70.14/69.43 eprover: CPU time limit exceeded, terminating % 72.19/71.44 eprover: CPU time limit exceeded, terminating % 74.18/73.45 eprover: CPU time limit exceeded, terminating % 76.28/75.45 eprover: CPU time limit exceeded, terminating % 78.32/77.46 eprover: CPU time limit exceeded, terminating % 80.33/79.47 eprover: CPU time limit exceeded, terminating % 82.39/81.48 eprover: CPU time limit exceeded, terminating % 84.43/83.49 eprover: CPU time limit exceeded, terminating % 86.48/85.50 eprover: CPU time limit exceeded, terminating % 88.49/87.50 eprover: CPU time limit exceeded, terminating % 90.54/89.51 eprover: CPU time limit exceeded, terminating % 92.56/91.52 eprover: CPU time limit exceeded, terminating % 94.61/93.53 eprover: CPU time limit exceeded, terminating % 96.59/95.54 eprover: CPU time limit exceeded, terminating % 98.66/97.54 eprover: CPU time limit exceeded, terminating % 100.67/99.55 eprover: CPU time limit exceeded, terminating % 102.72/101.56 eprover: CPU time limit exceeded, terminating % 104.75/103.57 eprover: CPU time limit exceeded, terminating % 106.83/105.58 eprover: CPU time limit exceeded, terminating % 108.80/107.59 eprover: CPU time limit exceeded, terminating % 110.88/109.60 eprover: CPU time limit exceeded, terminating % 112.88/111.61 eprover: CPU time limit exceeded, terminating % 114.96/113.62 eprover: CPU time limit exceeded, terminating % 116.97/115.63 eprover: CPU time limit exceeded, terminating % 119.02/117.63 eprover: CPU time limit exceeded, terminating % 121.09/119.64 eprover: CPU time limit exceeded, terminating % 123.07/121.65 eprover: CPU time limit exceeded, terminating % 125.12/123.66 eprover: CPU time limit exceeded, terminating % 127.18/125.67 eprover: CPU time limit exceeded, terminating % 129.22/127.67 eprover: CPU time limit exceeded, terminating % 131.25/129.68 eprover: CPU time limit exceeded, terminating % 133.26/131.69 eprover: CPU time limit exceeded, terminating % 135.34/133.70 eprover: CPU time limit exceeded, terminating % 137.35/135.71 eprover: CPU time limit exceeded, terminating % 139.41/137.71 eprover: CPU time limit exceeded, terminating % 141.41/139.72 eprover: CPU time limit exceeded, terminating % 143.44/141.73 eprover: CPU time limit exceeded, terminating % 145.49/143.74 eprover: CPU time limit exceeded, terminating % 147.56/145.75 eprover: CPU time limit exceeded, terminating % 149.54/147.76 eprover: CPU time limit exceeded, terminating % 151.62/149.77 eprover: CPU time limit exceeded, terminating % 153.64/151.77 eprover: CPU time limit exceeded, terminating % 155.71/153.78 eprover: CPU time limit exceeded, terminating % 157.73/155.79 eprover: CPU time limit exceeded, terminating % 159.72/157.80 eprover: CPU time limit exceeded, terminating % 161.82/159.81 eprover: CPU time limit exceeded, terminating % 163.81/161.82 eprover: CPU time limit exceeded, terminating % 165.88/163.83 eprover: CPU time limit exceeded, terminating % 167.93/165.83 eprover: CPU time limit exceeded, terminating % 169.91/167.84 eprover: CPU time limit exceeded, terminating % 171.99/169.85 eprover: CPU time limit exceeded, terminating % 174.03/171.86 eprover: CPU time limit exceeded, terminating % 176.04/173.87 eprover: CPU time limit exceeded, terminating % 178.10/175.88 eprover: CPU time limit exceeded, terminating % 180.10/177.89 eprover: CPU time limit exceeded, terminating % 182.17/179.89 eprover: CPU time limit exceeded, terminating % 184.21/181.90 eprover: CPU time limit exceeded, terminating % 186.19/183.91 eprover: CPU time limit exceeded, terminating % 188.25/185.92 eprover: CPU time limit exceeded, terminating % 190.30/187.93 eprover: CPU time limit exceeded, terminating % 192.31/189.94 eprover: CPU time limit exceeded, terminating % 194.36/191.95 eprover: CPU time limit exceeded, terminating % 196.42/193.95 eprover: CPU time limit exceeded, terminating % 198.47/195.96 eprover: CPU time limit exceeded, terminating % 200.41/197.97 eprover: CPU time limit exceeded, terminating % 202.54/199.98 eprover: CPU time limit exceeded, terminating % 204.57/201.99 eprover: CPU time limit exceeded, terminating % 206.61/204.00 eprover: CPU time limit exceeded, terminating % 208.58/206.01 eprover: CPU time limit exceeded, terminating % 210.67/208.02 eprover: CPU time limit exceeded, terminating % 212.69/210.02 eprover: CPU time limit exceeded, terminating % 214.73/212.03 eprover: CPU time limit exceeded, terminating % 216.79/214.04 eprover: CPU time limit exceeded, terminating % 218.79/216.05 eprover: CPU time limit exceeded, terminating % 220.86/218.06 eprover: CPU time limit exceeded, terminating % 222.93/220.07 eprover: CPU time limit exceeded, terminating % 224.92/222.08 eprover: CPU time limit exceeded, terminating % 227.00/224.09 eprover: CPU time limit exceeded, terminating % 229.04/226.10 eprover: CPU time limit exceeded, terminating % 231.06/228.11 eprover: CPU time limit exceeded, terminating % 233.10/230.12 eprover: CPU time limit exceeded, terminating % 235.12/232.13 eprover: CPU time limit exceeded, terminating % 237.17/234.14 eprover: CPU time limit exceeded, terminating % 239.16/236.14 eprover: CPU time limit exceeded, terminating % 241.24/238.16 eprover: CPU time limit exceeded, terminating % 243.26/240.17 eprover: CPU time limit exceeded, terminating % 245.30/242.18 eprover: CPU time limit exceeded, terminating % 247.36/244.19 eprover: CPU time limit exceeded, terminating % 249.40/246.20 eprover: CPU time limit exceeded, terminating % 251.44/248.20 eprover: CPU time limit exceeded, terminating % 253.40/250.21 eprover: CPU time limit exceeded, terminating % 255.50/252.22 eprover: CPU time limit exceeded, terminating % 257.52/254.23 eprover: CPU time limit exceeded, terminating % 259.58/256.24 eprover: CPU time limit exceeded, terminating % 261.58/258.25 eprover: CPU time limit exceeded, terminating % 263.65/260.26 eprover: CPU time limit exceeded, terminating % 265.65/262.27 eprover: CPU time limit exceeded, terminating % 267.69/264.28 eprover: CPU time limit exceeded, terminating % 269.76/266.29 eprover: CPU time limit exceeded, terminating % 271.74/268.30 eprover: CPU time limit exceeded, terminating % 273.80/270.30 eprover: CPU time limit exceeded, terminating % 275.87/272.31 eprover: CPU time limit exceeded, terminating % 277.87/274.32 eprover: CPU time limit exceeded, terminating % 279.95/276.33 eprover: CPU time limit exceeded, terminating % 281.98/278.34 eprover: CPU time limit exceeded, terminating % 283.96/280.35 eprover: CPU time limit exceeded, terminating % 286.02/282.36 eprover: CPU time limit exceeded, terminating % 288.06/284.37 eprover: CPU time limit exceeded, terminating % 290.13/286.38 eprover: CPU time limit exceeded, terminating % 292.17/288.38 eprover: CPU time limit exceeded, terminating % 294.20/290.39 eprover: CPU time limit exceeded, terminating % 296.23/292.40 eprover: CPU time limit exceeded, terminating % 298.22/294.41 eprover: CPU time limit exceeded, terminating % 300.03/296.13 eprover: CPU time limit exceeded, terminating % 300.03/296.14 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------