%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NLP078-1 : TPTP v8.1.0. Released v2.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n012.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 02:32:15 EDT 2022 % Result : Unknown 282.20s 281.81s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.06/0.12 % Problem : NLP078-1 : TPTP v8.1.0. Released v2.4.0. % 0.06/0.12 % Command : run_infinox %s % 0.13/0.33 % Computer : n012.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 : Thu Jun 30 20:34:02 EDT 2022 % 0.13/0.33 % CPUTime : % 2.94/3.13 eprover: CPU time limit exceeded, terminating % 4.91/5.14 eprover: CPU time limit exceeded, terminating % 6.95/7.15 eprover: CPU time limit exceeded, terminating % 8.94/9.15 eprover: CPU time limit exceeded, terminating % 10.98/11.16 eprover: CPU time limit exceeded, terminating % 12.96/13.17 eprover: CPU time limit exceeded, terminating % 14.98/15.18 eprover: CPU time limit exceeded, terminating % 16.97/17.18 eprover: CPU time limit exceeded, terminating % 18.99/19.19 eprover: CPU time limit exceeded, terminating % 21.05/21.20 eprover: CPU time limit exceeded, terminating % 22.98/23.21 eprover: CPU time limit exceeded, terminating % 25.05/25.21 eprover: CPU time limit exceeded, terminating % 27.09/27.22 eprover: CPU time limit exceeded, terminating % 29.06/29.23 eprover: CPU time limit exceeded, terminating % 31.10/31.23 eprover: CPU time limit exceeded, terminating % 33.09/33.24 eprover: CPU time limit exceeded, terminating % 35.07/35.25 eprover: CPU time limit exceeded, terminating % 37.10/37.26 eprover: CPU time limit exceeded, terminating % 39.09/39.26 eprover: CPU time limit exceeded, terminating % 41.11/41.27 eprover: CPU time limit exceeded, terminating % 43.13/43.28 eprover: CPU time limit exceeded, terminating % 45.20/45.28 eprover: CPU time limit exceeded, terminating % 47.13/47.29 eprover: CPU time limit exceeded, terminating % 49.21/49.30 eprover: CPU time limit exceeded, terminating % 51.23/51.31 eprover: CPU time limit exceeded, terminating % 53.24/53.31 eprover: CPU time limit exceeded, terminating % 55.21/55.32 eprover: CPU time limit exceeded, terminating % 57.25/57.33 eprover: CPU time limit exceeded, terminating % 59.23/59.33 eprover: CPU time limit exceeded, terminating % 61.27/61.34 eprover: CPU time limit exceeded, terminating % 63.26/63.35 eprover: CPU time limit exceeded, terminating % 65.23/65.36 eprover: CPU time limit exceeded, terminating % 67.25/67.36 eprover: CPU time limit exceeded, terminating % 69.24/69.37 eprover: CPU time limit exceeded, terminating % 71.28/71.38 eprover: CPU time limit exceeded, terminating % 73.35/73.38 eprover: CPU time limit exceeded, terminating % 75.27/75.39 eprover: CPU time limit exceeded, terminating % 77.28/77.40 eprover: CPU time limit exceeded, terminating % 79.35/79.41 eprover: CPU time limit exceeded, terminating % 81.38/81.41 eprover: CPU time limit exceeded, terminating % 83.40/83.42 eprover: CPU time limit exceeded, terminating % 85.38/85.43 eprover: CPU time limit exceeded, terminating % 87.42/87.43 eprover: CPU time limit exceeded, terminating % 89.41/89.44 eprover: CPU time limit exceeded, terminating % 91.38/91.45 eprover: CPU time limit exceeded, terminating % 93.42/93.46 eprover: CPU time limit exceeded, terminating % 95.41/95.46 eprover: CPU time limit exceeded, terminating % 97.40/97.47 eprover: CPU time limit exceeded, terminating % 99.42/99.48 eprover: CPU time limit exceeded, terminating % 101.42/101.48 eprover: CPU time limit exceeded, terminating % 103.43/103.49 eprover: CPU time limit exceeded, terminating % 105.45/105.50 eprover: CPU time limit exceeded, terminating % 107.52/107.50 eprover: CPU time limit exceeded, terminating % 109.52/109.51 eprover: CPU time limit exceeded, terminating % 111.54/111.52 eprover: CPU time limit exceeded, terminating % 113.50/113.53 eprover: CPU time limit exceeded, terminating % 115.55/115.53 eprover: CPU time limit exceeded, terminating % 117.54/117.54 eprover: CPU time limit exceeded, terminating % 119.56/119.55 eprover: CPU time limit exceeded, terminating % 121.57/121.55 eprover: CPU time limit exceeded, terminating % 123.56/123.56 eprover: CPU time limit exceeded, terminating % 125.54/125.57 eprover: CPU time limit exceeded, terminating % 127.58/127.57 eprover: CPU time limit exceeded, terminating % 129.58/129.58 eprover: CPU time limit exceeded, terminating % 131.59/131.59 eprover: CPU time limit exceeded, terminating % 133.68/133.60 eprover: CPU time limit exceeded, terminating % 135.66/135.60 eprover: CPU time limit exceeded, terminating % 137.67/137.61 eprover: CPU time limit exceeded, terminating % 139.69/139.62 eprover: CPU time limit exceeded, terminating % 141.69/141.63 eprover: CPU time limit exceeded, terminating % 143.73/143.63 eprover: CPU time limit exceeded, terminating % 145.69/145.64 eprover: CPU time limit exceeded, terminating % 147.66/147.65 eprover: CPU time limit exceeded, terminating % 149.69/149.65 eprover: CPU time limit exceeded, terminating % 151.72/151.66 eprover: CPU time limit exceeded, terminating % 153.74/153.67 eprover: CPU time limit exceeded, terminating % 155.71/155.68 eprover: CPU time limit exceeded, terminating % 157.69/157.68 eprover: CPU time limit exceeded, terminating % 159.81/159.69 eprover: CPU time limit exceeded, terminating % 161.80/161.70 eprover: CPU time limit exceeded, terminating % 163.74/163.70 eprover: CPU time limit exceeded, terminating % 165.76/165.71 eprover: CPU time limit exceeded, terminating % 167.83/167.72 eprover: CPU time limit exceeded, terminating % 169.86/169.72 eprover: CPU time limit exceeded, terminating % 171.84/171.73 eprover: CPU time limit exceeded, terminating % 173.83/173.74 eprover: CPU time limit exceeded, terminating % 175.84/175.75 eprover: CPU time limit exceeded, terminating % 177.86/177.75 eprover: CPU time limit exceeded, terminating % 179.87/179.76 eprover: CPU time limit exceeded, terminating % 181.88/181.77 eprover: CPU time limit exceeded, terminating % 183.86/183.77 eprover: CPU time limit exceeded, terminating % 185.89/185.78 eprover: CPU time limit exceeded, terminating % 187.89/187.79 eprover: CPU time limit exceeded, terminating % 189.97/189.79 eprover: CPU time limit exceeded, terminating % 191.97/191.80 eprover: CPU time limit exceeded, terminating % 193.97/193.81 eprover: CPU time limit exceeded, terminating % 195.98/195.82 eprover: CPU time limit exceeded, terminating % 198.01/197.82 eprover: CPU time limit exceeded, terminating % 200.02/199.83 eprover: CPU time limit exceeded, terminating % 202.00/201.84 eprover: CPU time limit exceeded, terminating % 203.97/203.84 eprover: CPU time limit exceeded, terminating % 206.01/205.85 eprover: CPU time limit exceeded, terminating % 208.04/207.86 eprover: CPU time limit exceeded, terminating % 210.03/209.86 eprover: CPU time limit exceeded, terminating % 212.03/211.87 eprover: CPU time limit exceeded, terminating % 214.02/213.88 eprover: CPU time limit exceeded, terminating % 216.04/215.89 eprover: CPU time limit exceeded, terminating % 218.05/217.89 eprover: CPU time limit exceeded, terminating % 220.13/219.90 eprover: CPU time limit exceeded, terminating % 222.11/221.91 eprover: CPU time limit exceeded, terminating % 224.14/223.91 eprover: CPU time limit exceeded, terminating % 226.14/225.92 eprover: CPU time limit exceeded, terminating % 228.15/227.93 eprover: CPU time limit exceeded, terminating % 230.16/229.93 eprover: CPU time limit exceeded, terminating % 232.15/231.94 eprover: CPU time limit exceeded, terminating % 234.17/233.95 eprover: CPU time limit exceeded, terminating % 236.18/235.96 eprover: CPU time limit exceeded, terminating % 238.16/237.96 eprover: CPU time limit exceeded, terminating % 240.18/239.97 eprover: CPU time limit exceeded, terminating % 242.19/241.98 eprover: CPU time limit exceeded, terminating % 244.26/243.98 eprover: CPU time limit exceeded, terminating % 246.19/245.99 eprover: CPU time limit exceeded, terminating % 248.28/248.00 eprover: CPU time limit exceeded, terminating % 250.30/250.00 eprover: CPU time limit exceeded, terminating % 252.26/252.01 eprover: CPU time limit exceeded, terminating % 254.30/254.02 eprover: CPU time limit exceeded, terminating % 259.45/259.16 eprover: CPU time limit exceeded, terminating % 269.59/269.27 eprover: CPU time limit exceeded, terminating % 271.69/271.32 eprover: CPU time limit exceeded, terminating % 276.80/276.44 eprover: CPU time limit exceeded, terminating % 278.82/278.48 eprover: CPU time limit exceeded, terminating % 280.90/280.51 eprover: CPU time limit exceeded, terminating % 282.20/281.80 Quit (core dumped) %------------------------------------------------------------------------------