%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM648+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n006.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:00 EDT 2022 % Result : Timeout 287.26s 282.24s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.11 % Problem : NUM648+4 : TPTP v8.1.0. Released v7.3.0. % 0.07/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n006.cluster.edu % 0.12/0.33 % Model : x86_64 x86_64 % 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.33 % Memory : 8042.1875MB % 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.33 % CPULimit : 300 % 0.12/0.33 % WCLimit : 600 % 0.12/0.33 % DateTime : Thu Jul 7 22:42:06 EDT 2022 % 0.12/0.33 % CPUTime : % 2.77/2.92 eprover: CPU time limit exceeded, terminating % 4.72/4.93 eprover: CPU time limit exceeded, terminating % 6.80/6.94 eprover: CPU time limit exceeded, terminating % 8.86/8.95 eprover: CPU time limit exceeded, terminating % 10.88/10.96 eprover: CPU time limit exceeded, terminating % 12.92/12.97 eprover: CPU time limit exceeded, terminating % 14.95/14.98 eprover: CPU time limit exceeded, terminating % 16.98/16.99 eprover: CPU time limit exceeded, terminating % 18.99/19.00 eprover: CPU time limit exceeded, terminating % 21.00/21.01 eprover: CPU time limit exceeded, terminating % 23.07/23.01 eprover: CPU time limit exceeded, terminating % 25.05/25.02 eprover: CPU time limit exceeded, terminating % 27.14/27.03 eprover: CPU time limit exceeded, terminating % 29.18/29.04 eprover: CPU time limit exceeded, terminating % 31.22/31.05 eprover: CPU time limit exceeded, terminating % 33.21/33.06 eprover: CPU time limit exceeded, terminating % 35.29/35.07 eprover: CPU time limit exceeded, terminating % 37.31/37.08 eprover: CPU time limit exceeded, terminating % 39.33/39.09 eprover: CPU time limit exceeded, terminating % 41.35/41.09 eprover: CPU time limit exceeded, terminating % 43.40/43.10 eprover: CPU time limit exceeded, terminating % 45.40/45.11 eprover: CPU time limit exceeded, terminating % 47.41/47.12 eprover: CPU time limit exceeded, terminating % 49.52/49.13 eprover: CPU time limit exceeded, terminating % 51.48/51.14 eprover: CPU time limit exceeded, terminating % 53.56/53.15 eprover: CPU time limit exceeded, terminating % 55.59/55.15 eprover: CPU time limit exceeded, terminating % 57.64/57.16 eprover: CPU time limit exceeded, terminating % 59.67/59.17 eprover: CPU time limit exceeded, terminating % 61.69/61.18 eprover: CPU time limit exceeded, terminating % 63.72/63.19 eprover: CPU time limit exceeded, terminating % 65.74/65.20 eprover: CPU time limit exceeded, terminating % 67.76/67.21 eprover: CPU time limit exceeded, terminating % 69.82/69.22 eprover: CPU time limit exceeded, terminating % 73.77/71.23 eprover: CPU time limit exceeded, terminating % 75.87/73.24 eprover: CPU time limit exceeded, terminating % 77.91/75.25 eprover: CPU time limit exceeded, terminating % 79.92/77.26 eprover: CPU time limit exceeded, terminating % 81.94/79.27 eprover: CPU time limit exceeded, terminating % 83.99/81.27 eprover: CPU time limit exceeded, terminating % 86.03/83.28 eprover: CPU time limit exceeded, terminating % 88.04/85.29 eprover: CPU time limit exceeded, terminating % 90.08/87.30 eprover: CPU time limit exceeded, terminating % 92.14/89.31 eprover: CPU time limit exceeded, terminating % 94.11/91.32 eprover: CPU time limit exceeded, terminating % 96.21/93.33 eprover: CPU time limit exceeded, terminating % 98.23/95.34 eprover: CPU time limit exceeded, terminating % 100.20/97.35 eprover: CPU time limit exceeded, terminating % 102.26/99.36 eprover: CPU time limit exceeded, terminating % 104.32/101.37 eprover: CPU time limit exceeded, terminating % 106.34/103.38 eprover: CPU time limit exceeded, terminating % 108.38/105.38 eprover: CPU time limit exceeded, terminating % 110.40/107.39 eprover: CPU time limit exceeded, terminating % 112.44/109.40 eprover: CPU time limit exceeded, terminating % 114.48/111.41 eprover: CPU time limit exceeded, terminating % 116.54/113.43 eprover: CPU time limit exceeded, terminating % 118.54/115.43 eprover: CPU time limit exceeded, terminating % 120.58/117.44 eprover: CPU time limit exceeded, terminating % 122.61/119.45 eprover: CPU time limit exceeded, terminating % 124.63/121.46 eprover: CPU time limit exceeded, terminating % 126.65/123.47 eprover: CPU time limit exceeded, terminating % 128.70/125.48 eprover: CPU time limit exceeded, terminating % 130.76/127.49 eprover: CPU time limit exceeded, terminating % 132.78/129.50 eprover: CPU time limit exceeded, terminating % 134.79/131.51 eprover: CPU time limit exceeded, terminating % 136.83/133.52 eprover: CPU time limit exceeded, terminating % 138.88/135.53 eprover: CPU time limit exceeded, terminating % 140.94/137.54 eprover: CPU time limit exceeded, terminating % 142.89/139.55 eprover: CPU time limit exceeded, terminating % 144.97/141.55 eprover: CPU time limit exceeded, terminating % 146.99/143.56 eprover: CPU time limit exceeded, terminating % 149.04/145.57 eprover: CPU time limit exceeded, terminating % 151.03/147.58 eprover: CPU time limit exceeded, terminating % 153.06/149.59 eprover: CPU time limit exceeded, terminating % 155.14/151.60 eprover: CPU time limit exceeded, terminating % 157.16/153.61 eprover: CPU time limit exceeded, terminating % 159.20/155.62 eprover: CPU time limit exceeded, terminating % 161.25/157.63 eprover: CPU time limit exceeded, terminating % 163.27/159.64 eprover: CPU time limit exceeded, terminating % 165.29/161.65 eprover: CPU time limit exceeded, terminating % 167.29/163.66 eprover: CPU time limit exceeded, terminating % 169.38/165.67 eprover: CPU time limit exceeded, terminating % 171.39/167.68 eprover: CPU time limit exceeded, terminating % 173.43/169.69 eprover: CPU time limit exceeded, terminating % 175.46/171.70 eprover: CPU time limit exceeded, terminating % 177.45/173.71 eprover: CPU time limit exceeded, terminating % 179.53/175.71 eprover: CPU time limit exceeded, terminating % 181.54/177.72 eprover: CPU time limit exceeded, terminating % 183.57/179.73 eprover: CPU time limit exceeded, terminating % 185.65/181.74 eprover: CPU time limit exceeded, terminating % 187.61/183.75 eprover: CPU time limit exceeded, terminating % 189.70/185.76 eprover: CPU time limit exceeded, terminating % 191.72/187.77 eprover: CPU time limit exceeded, terminating % 193.75/189.78 eprover: CPU time limit exceeded, terminating % 195.77/191.79 eprover: CPU time limit exceeded, terminating % 197.79/193.80 eprover: CPU time limit exceeded, terminating % 199.86/195.81 eprover: CPU time limit exceeded, terminating % 201.85/197.82 eprover: CPU time limit exceeded, terminating % 203.94/199.83 eprover: CPU time limit exceeded, terminating % 205.95/201.84 eprover: CPU time limit exceeded, terminating % 207.94/203.85 eprover: CPU time limit exceeded, terminating % 210.03/205.86 eprover: CPU time limit exceeded, terminating % 212.05/207.87 eprover: CPU time limit exceeded, terminating % 214.05/209.88 eprover: CPU time limit exceeded, terminating % 216.14/211.89 eprover: CPU time limit exceeded, terminating % 218.09/213.90 eprover: CPU time limit exceeded, terminating % 220.19/215.91 eprover: CPU time limit exceeded, terminating % 222.24/217.92 eprover: CPU time limit exceeded, terminating % 224.26/219.94 eprover: CPU time limit exceeded, terminating % 226.28/221.95 eprover: CPU time limit exceeded, terminating % 228.25/223.96 eprover: CPU time limit exceeded, terminating % 230.36/225.97 eprover: CPU time limit exceeded, terminating % 232.39/227.98 eprover: CPU time limit exceeded, terminating % 234.38/230.00 eprover: CPU time limit exceeded, terminating % 236.44/232.00 eprover: CPU time limit exceeded, terminating % 238.49/234.01 eprover: CPU time limit exceeded, terminating % 240.49/236.02 eprover: CPU time limit exceeded, terminating % 242.55/238.03 eprover: CPU time limit exceeded, terminating % 244.55/240.04 eprover: CPU time limit exceeded, terminating % 246.59/242.05 eprover: CPU time limit exceeded, terminating % 248.62/244.06 eprover: CPU time limit exceeded, terminating % 250.67/246.07 eprover: CPU time limit exceeded, terminating % 252.70/248.08 eprover: CPU time limit exceeded, terminating % 254.69/250.09 eprover: CPU time limit exceeded, terminating % 256.77/252.10 eprover: CPU time limit exceeded, terminating % 258.79/254.10 eprover: CPU time limit exceeded, terminating % 260.82/256.11 eprover: CPU time limit exceeded, terminating % 262.86/258.12 eprover: CPU time limit exceeded, terminating % 264.89/260.13 eprover: CPU time limit exceeded, terminating % 266.92/262.14 eprover: CPU time limit exceeded, terminating % 268.95/264.15 eprover: CPU time limit exceeded, terminating % 270.97/266.16 eprover: CPU time limit exceeded, terminating % 272.94/268.17 eprover: CPU time limit exceeded, terminating % 275.05/270.18 eprover: CPU time limit exceeded, terminating % 277.08/272.19 eprover: CPU time limit exceeded, terminating % 279.07/274.20 eprover: CPU time limit exceeded, terminating % 281.14/276.21 eprover: CPU time limit exceeded, terminating % 283.19/278.22 eprover: CPU time limit exceeded, terminating % 285.20/280.23 eprover: CPU time limit exceeded, terminating % 287.26/282.24 eprover: CPU time limit exceeded, terminating % 289.29/284.25 eprover: CPU time limit exceeded, terminating % 291.29/286.26 eprover: CPU time limit exceeded, terminating % 293.33/288.27 eprover: CPU time limit exceeded, terminating % 295.37/290.28 eprover: CPU time limit exceeded, terminating % 297.41/292.29 eprover: CPU time limit exceeded, terminating % 299.45/294.30 eprover: CPU time limit exceeded, terminating % 300.07/294.90 eprover: CPU time limit exceeded, terminating % 300.07/294.92 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------