%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM712+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n021.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:58 EDT 2022 % Result : Timeout 286.55s 280.73s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : NUM712+4 : TPTP v8.1.0. Released v7.3.0. % 0.03/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n021.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 : Wed Jul 6 06:58:18 EDT 2022 % 0.12/0.33 % CPUTime : % 3.12/3.33 eprover: CPU time limit exceeded, terminating % 5.21/5.34 eprover: CPU time limit exceeded, terminating % 7.27/7.35 eprover: CPU time limit exceeded, terminating % 9.28/9.36 eprover: CPU time limit exceeded, terminating % 11.38/11.37 eprover: CPU time limit exceeded, terminating % 13.42/13.38 eprover: CPU time limit exceeded, terminating % 15.44/15.39 eprover: CPU time limit exceeded, terminating % 17.53/17.40 eprover: CPU time limit exceeded, terminating % 19.59/19.41 eprover: CPU time limit exceeded, terminating % 21.64/21.42 eprover: CPU time limit exceeded, terminating % 23.68/23.43 eprover: CPU time limit exceeded, terminating % 25.69/25.44 eprover: CPU time limit exceeded, terminating % 27.79/27.45 eprover: CPU time limit exceeded, terminating % 29.77/29.46 eprover: CPU time limit exceeded, terminating % 31.86/31.47 eprover: CPU time limit exceeded, terminating % 33.96/33.48 eprover: CPU time limit exceeded, terminating % 35.95/35.49 eprover: CPU time limit exceeded, terminating % 38.08/37.50 eprover: CPU time limit exceeded, terminating % 40.06/39.51 eprover: CPU time limit exceeded, terminating % 42.13/41.52 eprover: CPU time limit exceeded, terminating % 44.19/43.53 eprover: CPU time limit exceeded, terminating % 46.27/45.54 eprover: CPU time limit exceeded, terminating % 48.28/47.55 eprover: CPU time limit exceeded, terminating % 50.36/49.56 eprover: CPU time limit exceeded, terminating % 52.39/51.57 eprover: CPU time limit exceeded, terminating % 54.45/53.58 eprover: CPU time limit exceeded, terminating % 56.55/55.59 eprover: CPU time limit exceeded, terminating % 58.57/57.60 eprover: CPU time limit exceeded, terminating % 60.68/59.61 eprover: CPU time limit exceeded, terminating % 62.64/61.62 eprover: CPU time limit exceeded, terminating % 64.75/63.63 eprover: CPU time limit exceeded, terminating % 66.81/65.64 eprover: CPU time limit exceeded, terminating % 68.81/67.65 eprover: CPU time limit exceeded, terminating % 70.90/69.66 eprover: CPU time limit exceeded, terminating % 72.96/71.67 eprover: CPU time limit exceeded, terminating % 74.99/73.68 eprover: CPU time limit exceeded, terminating % 77.05/75.69 eprover: CPU time limit exceeded, terminating % 79.15/77.70 eprover: CPU time limit exceeded, terminating % 81.21/79.71 eprover: CPU time limit exceeded, terminating % 83.28/81.72 eprover: CPU time limit exceeded, terminating % 85.30/83.73 eprover: CPU time limit exceeded, terminating % 87.33/85.74 eprover: CPU time limit exceeded, terminating % 89.40/87.75 eprover: CPU time limit exceeded, terminating % 91.43/89.76 eprover: CPU time limit exceeded, terminating % 93.46/91.77 eprover: CPU time limit exceeded, terminating % 95.54/93.78 eprover: CPU time limit exceeded, terminating % 97.62/95.79 eprover: CPU time limit exceeded, terminating % 99.69/97.80 eprover: CPU time limit exceeded, terminating % 101.73/99.81 eprover: CPU time limit exceeded, terminating % 103.78/101.82 eprover: CPU time limit exceeded, terminating % 105.83/103.83 eprover: CPU time limit exceeded, terminating % 107.89/105.84 eprover: CPU time limit exceeded, terminating % 109.94/107.85 eprover: CPU time limit exceeded, terminating % 111.96/109.86 eprover: CPU time limit exceeded, terminating % 114.00/111.87 eprover: CPU time limit exceeded, terminating % 116.13/113.88 eprover: CPU time limit exceeded, terminating % 118.19/115.89 eprover: CPU time limit exceeded, terminating % 120.24/117.90 eprover: CPU time limit exceeded, terminating % 122.29/119.91 eprover: CPU time limit exceeded, terminating % 124.35/121.92 eprover: CPU time limit exceeded, terminating % 126.41/123.93 eprover: CPU time limit exceeded, terminating % 128.41/125.94 eprover: CPU time limit exceeded, terminating % 130.49/127.95 eprover: CPU time limit exceeded, terminating % 132.51/129.96 eprover: CPU time limit exceeded, terminating % 134.56/131.97 eprover: CPU time limit exceeded, terminating % 136.59/133.98 eprover: CPU time limit exceeded, terminating % 138.72/135.99 eprover: CPU time limit exceeded, terminating % 140.75/138.00 eprover: CPU time limit exceeded, terminating % 142.81/140.01 eprover: CPU time limit exceeded, terminating % 144.89/142.02 eprover: CPU time limit exceeded, terminating % 146.90/144.03 eprover: CPU time limit exceeded, terminating % 148.96/146.04 eprover: CPU time limit exceeded, terminating % 151.01/148.05 eprover: CPU time limit exceeded, terminating % 153.03/150.06 eprover: CPU time limit exceeded, terminating % 155.10/152.07 eprover: CPU time limit exceeded, terminating % 157.15/154.08 eprover: CPU time limit exceeded, terminating % 159.26/156.09 eprover: CPU time limit exceeded, terminating % 161.31/158.10 eprover: CPU time limit exceeded, terminating % 163.38/160.11 eprover: CPU time limit exceeded, terminating % 165.38/162.13 eprover: CPU time limit exceeded, terminating % 167.44/164.14 eprover: CPU time limit exceeded, terminating % 169.48/166.15 eprover: CPU time limit exceeded, terminating % 171.56/168.16 eprover: CPU time limit exceeded, terminating % 173.57/170.17 eprover: CPU time limit exceeded, terminating % 175.64/172.18 eprover: CPU time limit exceeded, terminating % 177.70/174.19 eprover: CPU time limit exceeded, terminating % 179.80/176.20 eprover: CPU time limit exceeded, terminating % 181.84/178.21 eprover: CPU time limit exceeded, terminating % 183.89/180.22 eprover: CPU time limit exceeded, terminating % 185.97/182.23 eprover: CPU time limit exceeded, terminating % 187.98/184.24 eprover: CPU time limit exceeded, terminating % 190.04/186.25 eprover: CPU time limit exceeded, terminating % 192.09/188.26 eprover: CPU time limit exceeded, terminating % 194.13/190.28 eprover: CPU time limit exceeded, terminating % 196.19/192.29 eprover: CPU time limit exceeded, terminating % 198.30/194.30 eprover: CPU time limit exceeded, terminating % 200.34/196.31 eprover: CPU time limit exceeded, terminating % 202.41/198.32 eprover: CPU time limit exceeded, terminating % 204.46/200.33 eprover: CPU time limit exceeded, terminating % 206.47/202.34 eprover: CPU time limit exceeded, terminating % 208.50/204.35 eprover: CPU time limit exceeded, terminating % 210.55/206.36 eprover: CPU time limit exceeded, terminating % 212.64/208.37 eprover: CPU time limit exceeded, terminating % 214.68/210.38 eprover: CPU time limit exceeded, terminating % 216.78/212.39 eprover: CPU time limit exceeded, terminating % 218.77/214.40 eprover: CPU time limit exceeded, terminating % 220.89/216.41 eprover: CPU time limit exceeded, terminating % 222.93/218.42 eprover: CPU time limit exceeded, terminating % 224.98/220.43 eprover: CPU time limit exceeded, terminating % 227.05/222.44 eprover: CPU time limit exceeded, terminating % 229.08/224.45 eprover: CPU time limit exceeded, terminating % 231.13/226.46 eprover: CPU time limit exceeded, terminating % 233.15/228.47 eprover: CPU time limit exceeded, terminating % 235.29/230.48 eprover: CPU time limit exceeded, terminating % 237.34/232.49 eprover: CPU time limit exceeded, terminating % 239.39/234.50 eprover: CPU time limit exceeded, terminating % 241.42/236.51 eprover: CPU time limit exceeded, terminating % 243.50/238.53 eprover: CPU time limit exceeded, terminating % 245.51/240.54 eprover: CPU time limit exceeded, terminating % 247.60/242.55 eprover: CPU time limit exceeded, terminating % 249.62/244.56 eprover: CPU time limit exceeded, terminating % 251.64/246.57 eprover: CPU time limit exceeded, terminating % 253.71/248.58 eprover: CPU time limit exceeded, terminating % 255.82/250.59 eprover: CPU time limit exceeded, terminating % 257.83/252.60 eprover: CPU time limit exceeded, terminating % 259.92/254.61 eprover: CPU time limit exceeded, terminating % 261.92/256.62 eprover: CPU time limit exceeded, terminating % 264.05/258.63 eprover: CPU time limit exceeded, terminating % 266.03/260.64 eprover: CPU time limit exceeded, terminating % 268.16/262.65 eprover: CPU time limit exceeded, terminating % 270.21/264.66 eprover: CPU time limit exceeded, terminating % 272.23/266.67 eprover: CPU time limit exceeded, terminating % 274.31/268.68 eprover: CPU time limit exceeded, terminating % 276.34/270.69 eprover: CPU time limit exceeded, terminating % 278.42/272.70 eprover: CPU time limit exceeded, terminating % 280.45/274.71 eprover: CPU time limit exceeded, terminating % 282.52/276.72 eprover: CPU time limit exceeded, terminating % 284.53/278.72 eprover: CPU time limit exceeded, terminating % 286.55/280.73 eprover: CPU time limit exceeded, terminating % 288.68/282.74 eprover: CPU time limit exceeded, terminating % 290.73/284.75 eprover: CPU time limit exceeded, terminating % 292.77/286.76 eprover: CPU time limit exceeded, terminating % 294.83/288.77 eprover: CPU time limit exceeded, terminating % 296.88/290.78 eprover: CPU time limit exceeded, terminating % 298.93/292.79 eprover: CPU time limit exceeded, terminating % 300.06/293.86 eprover: CPU time limit exceeded, terminating % 300.06/293.87 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------