%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : LAT286+2 : TPTP v8.1.0. Released v3.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n004.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 : Sun Jul 17 05:13:48 EDT 2022 % Result : Timeout 286.52s 250.97s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.13 % Problem : LAT286+2 : TPTP v8.1.0. Released v3.4.0. % 0.12/0.13 % Command : run_infinox %s % 0.13/0.35 % Computer : n004.cluster.edu % 0.13/0.35 % Model : x86_64 x86_64 % 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.35 % Memory : 8042.1875MB % 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.35 % CPULimit : 300 % 0.13/0.35 % WCLimit : 600 % 0.13/0.35 % DateTime : Wed Jun 29 02:38:24 EDT 2022 % 0.13/0.35 % CPUTime : % 21.45/21.27 eprover: CPU time limit exceeded, terminating % 23.79/23.29 eprover: CPU time limit exceeded, terminating % 26.08/25.30 eprover: CPU time limit exceeded, terminating % 28.37/27.32 eprover: CPU time limit exceeded, terminating % 30.75/29.33 eprover: CPU time limit exceeded, terminating % 33.10/31.35 eprover: CPU time limit exceeded, terminating % 35.45/33.36 eprover: CPU time limit exceeded, terminating % 37.75/35.38 eprover: CPU time limit exceeded, terminating % 40.08/37.39 eprover: CPU time limit exceeded, terminating % 42.44/39.41 eprover: CPU time limit exceeded, terminating % 44.77/41.42 eprover: CPU time limit exceeded, terminating % 47.04/43.44 eprover: CPU time limit exceeded, terminating % 49.38/45.45 eprover: CPU time limit exceeded, terminating % 51.76/47.47 eprover: CPU time limit exceeded, terminating % 54.06/49.48 eprover: CPU time limit exceeded, terminating % 56.39/51.50 eprover: CPU time limit exceeded, terminating % 58.76/53.51 eprover: CPU time limit exceeded, terminating % 61.06/55.53 eprover: CPU time limit exceeded, terminating % 63.45/57.54 eprover: CPU time limit exceeded, terminating % 65.74/59.55 eprover: CPU time limit exceeded, terminating % 68.10/61.57 eprover: CPU time limit exceeded, terminating % 70.37/63.58 eprover: CPU time limit exceeded, terminating % 72.76/65.60 eprover: CPU time limit exceeded, terminating % 75.10/67.61 eprover: CPU time limit exceeded, terminating % 77.42/69.63 eprover: CPU time limit exceeded, terminating % 79.73/71.64 eprover: CPU time limit exceeded, terminating % 82.05/73.66 eprover: CPU time limit exceeded, terminating % 84.36/75.67 eprover: CPU time limit exceeded, terminating % 86.67/77.69 eprover: CPU time limit exceeded, terminating % 89.03/79.70 eprover: CPU time limit exceeded, terminating % 91.28/81.72 eprover: CPU time limit exceeded, terminating % 93.63/83.73 eprover: CPU time limit exceeded, terminating % 96.03/85.75 eprover: CPU time limit exceeded, terminating % 98.41/87.76 eprover: CPU time limit exceeded, terminating % 100.71/89.78 eprover: CPU time limit exceeded, terminating % 103.03/91.79 eprover: CPU time limit exceeded, terminating % 105.32/93.81 eprover: CPU time limit exceeded, terminating % 107.66/95.82 eprover: CPU time limit exceeded, terminating % 110.00/97.84 eprover: CPU time limit exceeded, terminating % 112.28/99.85 eprover: CPU time limit exceeded, terminating % 114.66/101.87 eprover: CPU time limit exceeded, terminating % 117.03/103.88 eprover: CPU time limit exceeded, terminating % 119.26/105.90 eprover: CPU time limit exceeded, terminating % 121.55/107.91 eprover: CPU time limit exceeded, terminating % 123.88/109.92 eprover: CPU time limit exceeded, terminating % 126.19/111.94 eprover: CPU time limit exceeded, terminating % 128.53/113.95 eprover: CPU time limit exceeded, terminating % 130.87/115.97 eprover: CPU time limit exceeded, terminating % 133.14/117.99 eprover: CPU time limit exceeded, terminating % 135.54/120.00 eprover: CPU time limit exceeded, terminating % 137.83/122.02 eprover: CPU time limit exceeded, terminating % 140.16/124.03 eprover: CPU time limit exceeded, terminating % 142.47/126.05 eprover: CPU time limit exceeded, terminating % 144.82/128.06 eprover: CPU time limit exceeded, terminating % 147.16/130.08 eprover: CPU time limit exceeded, terminating % 149.43/132.09 eprover: CPU time limit exceeded, terminating % 151.80/134.11 eprover: CPU time limit exceeded, terminating % 154.05/136.12 eprover: CPU time limit exceeded, terminating % 156.40/138.14 eprover: CPU time limit exceeded, terminating % 158.79/140.15 eprover: CPU time limit exceeded, terminating % 161.11/142.17 eprover: CPU time limit exceeded, terminating % 163.42/144.18 eprover: CPU time limit exceeded, terminating % 165.76/146.20 eprover: CPU time limit exceeded, terminating % 168.03/148.21 eprover: CPU time limit exceeded, terminating % 170.37/150.23 eprover: CPU time limit exceeded, terminating % 172.69/152.24 eprover: CPU time limit exceeded, terminating % 174.98/154.26 eprover: CPU time limit exceeded, terminating % 177.28/156.27 eprover: CPU time limit exceeded, terminating % 179.68/158.29 eprover: CPU time limit exceeded, terminating % 181.95/160.30 eprover: CPU time limit exceeded, terminating % 184.33/162.32 eprover: CPU time limit exceeded, terminating % 186.68/164.33 eprover: CPU time limit exceeded, terminating % 188.98/166.35 eprover: CPU time limit exceeded, terminating % 191.33/168.36 eprover: CPU time limit exceeded, terminating % 193.61/170.37 eprover: CPU time limit exceeded, terminating % 195.98/172.39 eprover: CPU time limit exceeded, terminating % 198.32/174.40 eprover: CPU time limit exceeded, terminating % 200.60/176.42 eprover: CPU time limit exceeded, terminating % 202.97/178.43 eprover: CPU time limit exceeded, terminating % 205.22/180.45 eprover: CPU time limit exceeded, terminating % 207.58/182.46 eprover: CPU time limit exceeded, terminating % 209.89/184.48 eprover: CPU time limit exceeded, terminating % 212.24/186.49 eprover: CPU time limit exceeded, terminating % 214.55/188.51 eprover: CPU time limit exceeded, terminating % 216.88/190.52 eprover: CPU time limit exceeded, terminating % 219.14/192.54 eprover: CPU time limit exceeded, terminating % 221.50/194.56 eprover: CPU time limit exceeded, terminating % 223.86/196.57 eprover: CPU time limit exceeded, terminating % 226.12/198.59 eprover: CPU time limit exceeded, terminating % 228.50/200.60 eprover: CPU time limit exceeded, terminating % 230.77/202.62 eprover: CPU time limit exceeded, terminating % 233.16/204.63 eprover: CPU time limit exceeded, terminating % 235.45/206.65 eprover: CPU time limit exceeded, terminating % 237.72/208.66 eprover: CPU time limit exceeded, terminating % 240.12/210.68 eprover: CPU time limit exceeded, terminating % 242.49/212.69 eprover: CPU time limit exceeded, terminating % 244.76/214.71 eprover: CPU time limit exceeded, terminating % 247.10/216.72 eprover: CPU time limit exceeded, terminating % 249.44/218.74 eprover: CPU time limit exceeded, terminating % 251.73/220.75 eprover: CPU time limit exceeded, terminating % 254.06/222.77 eprover: CPU time limit exceeded, terminating % 256.43/224.79 eprover: CPU time limit exceeded, terminating % 258.79/226.80 eprover: CPU time limit exceeded, terminating % 261.14/228.82 eprover: CPU time limit exceeded, terminating % 263.39/230.83 eprover: CPU time limit exceeded, terminating % 265.75/232.84 eprover: CPU time limit exceeded, terminating % 268.02/234.86 eprover: CPU time limit exceeded, terminating % 270.35/236.87 eprover: CPU time limit exceeded, terminating % 272.73/238.88 eprover: CPU time limit exceeded, terminating % 275.00/240.89 eprover: CPU time limit exceeded, terminating % 277.36/242.91 eprover: CPU time limit exceeded, terminating % 279.60/244.92 eprover: CPU time limit exceeded, terminating % 281.98/246.93 eprover: CPU time limit exceeded, terminating % 284.29/248.95 eprover: CPU time limit exceeded, terminating % 286.52/250.97 eprover: CPU time limit exceeded, terminating % 288.75/252.98 eprover: CPU time limit exceeded, terminating % 291.04/254.99 eprover: CPU time limit exceeded, terminating % 293.38/257.01 eprover: CPU time limit exceeded, terminating % 295.78/259.02 eprover: CPU time limit exceeded, terminating % 298.11/261.04 eprover: CPU time limit exceeded, terminating % 300.10/262.71 eprover: CPU time limit exceeded, terminating % 300.10/262.73 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------