%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM751+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n020.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:40:22 EDT 2022 % Result : Timeout 287.26s 279.01s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.06/0.11 % Problem : NUM751+4 : TPTP v8.1.0. Released v7.3.0. % 0.06/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n020.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 21:00:29 EDT 2022 % 0.12/0.33 % CPUTime : % 3.58/3.75 eprover: CPU time limit exceeded, terminating % 5.66/5.76 eprover: CPU time limit exceeded, terminating % 7.78/7.77 eprover: CPU time limit exceeded, terminating % 9.76/9.77 eprover: CPU time limit exceeded, terminating % 11.91/11.78 eprover: CPU time limit exceeded, terminating % 13.93/13.79 eprover: CPU time limit exceeded, terminating % 16.02/15.80 eprover: CPU time limit exceeded, terminating % 18.11/17.81 eprover: CPU time limit exceeded, terminating % 20.16/19.82 eprover: CPU time limit exceeded, terminating % 22.23/21.83 eprover: CPU time limit exceeded, terminating % 24.30/23.84 eprover: CPU time limit exceeded, terminating % 26.41/25.85 eprover: CPU time limit exceeded, terminating % 28.41/27.86 eprover: CPU time limit exceeded, terminating % 30.52/29.87 eprover: CPU time limit exceeded, terminating % 32.54/31.87 eprover: CPU time limit exceeded, terminating % 34.64/33.88 eprover: CPU time limit exceeded, terminating % 36.74/35.89 eprover: CPU time limit exceeded, terminating % 38.83/37.90 eprover: CPU time limit exceeded, terminating % 40.87/39.91 eprover: CPU time limit exceeded, terminating % 42.98/41.92 eprover: CPU time limit exceeded, terminating % 45.02/43.93 eprover: CPU time limit exceeded, terminating % 47.12/45.94 eprover: CPU time limit exceeded, terminating % 49.13/47.95 eprover: CPU time limit exceeded, terminating % 51.24/49.96 eprover: CPU time limit exceeded, terminating % 53.28/51.97 eprover: CPU time limit exceeded, terminating % 55.36/53.98 eprover: CPU time limit exceeded, terminating % 57.45/55.99 eprover: CPU time limit exceeded, terminating % 59.47/57.99 eprover: CPU time limit exceeded, terminating % 61.59/60.00 eprover: CPU time limit exceeded, terminating % 63.58/62.01 eprover: CPU time limit exceeded, terminating % 65.70/64.02 eprover: CPU time limit exceeded, terminating % 67.78/66.03 eprover: CPU time limit exceeded, terminating % 69.82/68.04 eprover: CPU time limit exceeded, terminating % 71.91/70.05 eprover: CPU time limit exceeded, terminating % 73.96/72.06 eprover: CPU time limit exceeded, terminating % 76.11/74.07 eprover: CPU time limit exceeded, terminating % 78.17/76.07 eprover: CPU time limit exceeded, terminating % 80.22/78.08 eprover: CPU time limit exceeded, terminating % 82.25/80.09 eprover: CPU time limit exceeded, terminating % 84.33/82.10 eprover: CPU time limit exceeded, terminating % 86.43/84.11 eprover: CPU time limit exceeded, terminating % 88.49/86.12 eprover: CPU time limit exceeded, terminating % 90.59/88.13 eprover: CPU time limit exceeded, terminating % 92.61/90.14 eprover: CPU time limit exceeded, terminating % 94.73/92.15 eprover: CPU time limit exceeded, terminating % 96.77/94.16 eprover: CPU time limit exceeded, terminating % 98.81/96.16 eprover: CPU time limit exceeded, terminating % 100.89/98.17 eprover: CPU time limit exceeded, terminating % 103.02/100.18 eprover: CPU time limit exceeded, terminating % 105.02/102.19 eprover: CPU time limit exceeded, terminating % 107.10/104.20 eprover: CPU time limit exceeded, terminating % 109.18/106.21 eprover: CPU time limit exceeded, terminating % 111.21/108.22 eprover: CPU time limit exceeded, terminating % 113.34/110.23 eprover: CPU time limit exceeded, terminating % 115.42/112.24 eprover: CPU time limit exceeded, terminating % 117.43/114.25 eprover: CPU time limit exceeded, terminating % 119.56/116.26 eprover: CPU time limit exceeded, terminating % 121.65/118.27 eprover: CPU time limit exceeded, terminating % 123.68/120.27 eprover: CPU time limit exceeded, terminating % 125.78/122.28 eprover: CPU time limit exceeded, terminating % 127.81/124.29 eprover: CPU time limit exceeded, terminating % 129.93/126.30 eprover: CPU time limit exceeded, terminating % 132.01/128.31 eprover: CPU time limit exceeded, terminating % 134.02/130.32 eprover: CPU time limit exceeded, terminating % 136.13/132.33 eprover: CPU time limit exceeded, terminating % 138.17/134.34 eprover: CPU time limit exceeded, terminating % 140.26/136.35 eprover: CPU time limit exceeded, terminating % 142.29/138.36 eprover: CPU time limit exceeded, terminating % 144.40/140.37 eprover: CPU time limit exceeded, terminating % 146.42/142.37 eprover: CPU time limit exceeded, terminating % 148.53/144.38 eprover: CPU time limit exceeded, terminating % 150.63/146.39 eprover: CPU time limit exceeded, terminating % 152.65/148.40 eprover: CPU time limit exceeded, terminating % 154.74/150.41 eprover: CPU time limit exceeded, terminating % 156.85/152.42 eprover: CPU time limit exceeded, terminating % 158.88/154.43 eprover: CPU time limit exceeded, terminating % 160.99/156.44 eprover: CPU time limit exceeded, terminating % 163.07/158.45 eprover: CPU time limit exceeded, terminating % 165.11/160.46 eprover: CPU time limit exceeded, terminating % 167.21/162.47 eprover: CPU time limit exceeded, terminating % 169.25/164.48 eprover: CPU time limit exceeded, terminating % 171.35/166.49 eprover: CPU time limit exceeded, terminating % 173.36/168.50 eprover: CPU time limit exceeded, terminating % 175.47/170.51 eprover: CPU time limit exceeded, terminating % 177.55/172.52 eprover: CPU time limit exceeded, terminating % 179.56/174.53 eprover: CPU time limit exceeded, terminating % 181.67/176.54 eprover: CPU time limit exceeded, terminating % 183.71/178.55 eprover: CPU time limit exceeded, terminating % 185.80/180.56 eprover: CPU time limit exceeded, terminating % 187.92/182.57 eprover: CPU time limit exceeded, terminating % 189.94/184.57 eprover: CPU time limit exceeded, terminating % 192.05/186.58 eprover: CPU time limit exceeded, terminating % 194.07/188.59 eprover: CPU time limit exceeded, terminating % 196.17/190.60 eprover: CPU time limit exceeded, terminating % 198.19/192.61 eprover: CPU time limit exceeded, terminating % 200.28/194.62 eprover: CPU time limit exceeded, terminating % 202.40/196.63 eprover: CPU time limit exceeded, terminating % 204.42/198.64 eprover: CPU time limit exceeded, terminating % 206.52/200.65 eprover: CPU time limit exceeded, terminating % 208.60/202.66 eprover: CPU time limit exceeded, terminating % 210.65/204.67 eprover: CPU time limit exceeded, terminating % 212.75/206.68 eprover: CPU time limit exceeded, terminating % 214.78/208.69 eprover: CPU time limit exceeded, terminating % 216.89/210.69 eprover: CPU time limit exceeded, terminating % 218.91/212.70 eprover: CPU time limit exceeded, terminating % 221.02/214.71 eprover: CPU time limit exceeded, terminating % 223.10/216.72 eprover: CPU time limit exceeded, terminating % 225.13/218.73 eprover: CPU time limit exceeded, terminating % 227.22/220.74 eprover: CPU time limit exceeded, terminating % 229.26/222.75 eprover: CPU time limit exceeded, terminating % 231.36/224.76 eprover: CPU time limit exceeded, terminating % 233.47/226.77 eprover: CPU time limit exceeded, terminating % 235.50/228.78 eprover: CPU time limit exceeded, terminating % 237.54/230.79 eprover: CPU time limit exceeded, terminating % 239.64/232.80 eprover: CPU time limit exceeded, terminating % 241.68/234.80 eprover: CPU time limit exceeded, terminating % 243.81/236.81 eprover: CPU time limit exceeded, terminating % 245.87/238.82 eprover: CPU time limit exceeded, terminating % 247.95/240.83 eprover: CPU time limit exceeded, terminating % 250.02/242.84 eprover: CPU time limit exceeded, terminating % 252.05/244.85 eprover: CPU time limit exceeded, terminating % 254.11/246.86 eprover: CPU time limit exceeded, terminating % 256.17/248.87 eprover: CPU time limit exceeded, terminating % 258.25/250.88 eprover: CPU time limit exceeded, terminating % 260.36/252.89 eprover: CPU time limit exceeded, terminating % 262.37/254.90 eprover: CPU time limit exceeded, terminating % 264.49/256.91 eprover: CPU time limit exceeded, terminating % 266.57/258.92 eprover: CPU time limit exceeded, terminating % 268.61/260.93 eprover: CPU time limit exceeded, terminating % 270.66/262.94 eprover: CPU time limit exceeded, terminating % 272.77/264.94 eprover: CPU time limit exceeded, terminating % 274.82/266.95 eprover: CPU time limit exceeded, terminating % 276.89/268.96 eprover: CPU time limit exceeded, terminating % 278.97/270.97 eprover: CPU time limit exceeded, terminating % 280.98/272.98 eprover: CPU time limit exceeded, terminating % 283.13/274.99 eprover: CPU time limit exceeded, terminating % 285.21/277.00 eprover: CPU time limit exceeded, terminating % 287.26/279.01 eprover: CPU time limit exceeded, terminating % 289.34/281.02 eprover: CPU time limit exceeded, terminating % 291.41/283.03 eprover: CPU time limit exceeded, terminating % 293.50/285.04 eprover: CPU time limit exceeded, terminating % 295.57/287.05 eprover: CPU time limit exceeded, terminating % 297.63/289.06 eprover: CPU time limit exceeded, terminating % 299.69/291.07 eprover: CPU time limit exceeded, terminating % 300.05/291.38 eprover: CPU time limit exceeded, terminating % 300.05/291.39 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------