%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM748+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n024.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:20 EDT 2022 % Result : Timeout 286.77s 279.01s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.06/0.11 % Problem : NUM748+4 : TPTP v8.1.0. Released v7.3.0. % 0.06/0.12 % Command : run_infinox %s % 0.13/0.31 % Computer : n024.cluster.edu % 0.13/0.31 % Model : x86_64 x86_64 % 0.13/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.31 % Memory : 8042.1875MB % 0.13/0.31 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.31 % CPULimit : 300 % 0.13/0.31 % WCLimit : 600 % 0.13/0.31 % DateTime : Thu Jul 7 11:10:44 EDT 2022 % 0.13/0.31 % CPUTime : % 3.67/3.86 eprover: CPU time limit exceeded, terminating % 5.80/5.87 eprover: CPU time limit exceeded, terminating % 7.85/7.88 eprover: CPU time limit exceeded, terminating % 9.87/9.88 eprover: CPU time limit exceeded, terminating % 11.98/11.89 eprover: CPU time limit exceeded, terminating % 13.96/13.90 eprover: CPU time limit exceeded, terminating % 16.09/15.91 eprover: CPU time limit exceeded, terminating % 18.14/17.92 eprover: CPU time limit exceeded, terminating % 20.23/19.93 eprover: CPU time limit exceeded, terminating % 22.27/21.93 eprover: CPU time limit exceeded, terminating % 24.36/23.94 eprover: CPU time limit exceeded, terminating % 26.42/25.95 eprover: CPU time limit exceeded, terminating % 28.45/27.96 eprover: CPU time limit exceeded, terminating % 30.49/29.97 eprover: CPU time limit exceeded, terminating % 32.57/31.98 eprover: CPU time limit exceeded, terminating % 34.70/33.99 eprover: CPU time limit exceeded, terminating % 36.77/35.99 eprover: CPU time limit exceeded, terminating % 38.80/38.00 eprover: CPU time limit exceeded, terminating % 40.88/40.01 eprover: CPU time limit exceeded, terminating % 42.89/42.02 eprover: CPU time limit exceeded, terminating % 44.99/44.03 eprover: CPU time limit exceeded, terminating % 47.10/46.04 eprover: CPU time limit exceeded, terminating % 49.16/48.04 eprover: CPU time limit exceeded, terminating % 51.23/50.05 eprover: CPU time limit exceeded, terminating % 53.24/52.06 eprover: CPU time limit exceeded, terminating % 55.33/54.07 eprover: CPU time limit exceeded, terminating % 57.35/56.08 eprover: CPU time limit exceeded, terminating % 59.51/58.09 eprover: CPU time limit exceeded, terminating % 61.55/60.09 eprover: CPU time limit exceeded, terminating % 63.61/62.10 eprover: CPU time limit exceeded, terminating % 65.68/64.11 eprover: CPU time limit exceeded, terminating % 67.75/66.12 eprover: CPU time limit exceeded, terminating % 69.80/68.13 eprover: CPU time limit exceeded, terminating % 71.90/70.14 eprover: CPU time limit exceeded, terminating % 73.97/72.15 eprover: CPU time limit exceeded, terminating % 76.01/74.16 eprover: CPU time limit exceeded, terminating % 78.06/76.17 eprover: CPU time limit exceeded, terminating % 80.17/78.18 eprover: CPU time limit exceeded, terminating % 82.17/80.19 eprover: CPU time limit exceeded, terminating % 84.27/82.20 eprover: CPU time limit exceeded, terminating % 86.38/84.20 eprover: CPU time limit exceeded, terminating % 88.41/86.21 eprover: CPU time limit exceeded, terminating % 90.44/88.22 eprover: CPU time limit exceeded, terminating % 92.57/90.23 eprover: CPU time limit exceeded, terminating % 94.59/92.24 eprover: CPU time limit exceeded, terminating % 96.70/94.24 eprover: CPU time limit exceeded, terminating % 98.74/96.25 eprover: CPU time limit exceeded, terminating % 100.86/98.26 eprover: CPU time limit exceeded, terminating % 102.86/100.27 eprover: CPU time limit exceeded, terminating % 104.95/102.28 eprover: CPU time limit exceeded, terminating % 106.99/104.29 eprover: CPU time limit exceeded, terminating % 109.12/106.30 eprover: CPU time limit exceeded, terminating % 111.14/108.30 eprover: CPU time limit exceeded, terminating % 113.22/110.31 eprover: CPU time limit exceeded, terminating % 115.24/112.32 eprover: CPU time limit exceeded, terminating % 117.38/114.33 eprover: CPU time limit exceeded, terminating % 119.44/116.34 eprover: CPU time limit exceeded, terminating % 121.47/118.35 eprover: CPU time limit exceeded, terminating % 123.58/120.35 eprover: CPU time limit exceeded, terminating % 125.56/122.36 eprover: CPU time limit exceeded, terminating % 127.71/124.37 eprover: CPU time limit exceeded, terminating % 129.73/126.38 eprover: CPU time limit exceeded, terminating % 131.84/128.39 eprover: CPU time limit exceeded, terminating % 133.87/130.39 eprover: CPU time limit exceeded, terminating % 135.90/132.40 eprover: CPU time limit exceeded, terminating % 138.01/134.41 eprover: CPU time limit exceeded, terminating % 140.10/136.42 eprover: CPU time limit exceeded, terminating % 142.16/138.42 eprover: CPU time limit exceeded, terminating % 144.23/140.43 eprover: CPU time limit exceeded, terminating % 146.27/142.44 eprover: CPU time limit exceeded, terminating % 148.36/144.45 eprover: CPU time limit exceeded, terminating % 150.39/146.46 eprover: CPU time limit exceeded, terminating % 152.52/148.47 eprover: CPU time limit exceeded, terminating % 154.57/150.47 eprover: CPU time limit exceeded, terminating % 156.63/152.49 eprover: CPU time limit exceeded, terminating % 158.65/154.49 eprover: CPU time limit exceeded, terminating % 160.78/156.50 eprover: CPU time limit exceeded, terminating % 162.83/158.51 eprover: CPU time limit exceeded, terminating % 164.89/160.52 eprover: CPU time limit exceeded, terminating % 166.98/162.53 eprover: CPU time limit exceeded, terminating % 169.04/164.53 eprover: CPU time limit exceeded, terminating % 171.11/166.54 eprover: CPU time limit exceeded, terminating % 173.13/168.55 eprover: CPU time limit exceeded, terminating % 175.23/170.56 eprover: CPU time limit exceeded, terminating % 177.31/172.57 eprover: CPU time limit exceeded, terminating % 179.34/174.58 eprover: CPU time limit exceeded, terminating % 181.45/176.58 eprover: CPU time limit exceeded, terminating % 183.48/178.59 eprover: CPU time limit exceeded, terminating % 185.57/180.60 eprover: CPU time limit exceeded, terminating % 187.58/182.61 eprover: CPU time limit exceeded, terminating % 189.62/184.62 eprover: CPU time limit exceeded, terminating % 191.76/186.62 eprover: CPU time limit exceeded, terminating % 193.84/188.63 eprover: CPU time limit exceeded, terminating % 195.85/190.64 eprover: CPU time limit exceeded, terminating % 197.98/192.65 eprover: CPU time limit exceeded, terminating % 199.98/194.66 eprover: CPU time limit exceeded, terminating % 202.05/196.66 eprover: CPU time limit exceeded, terminating % 204.16/198.67 eprover: CPU time limit exceeded, terminating % 206.17/200.68 eprover: CPU time limit exceeded, terminating % 208.29/202.69 eprover: CPU time limit exceeded, terminating % 210.36/204.70 eprover: CPU time limit exceeded, terminating % 212.39/206.70 eprover: CPU time limit exceeded, terminating % 214.49/208.71 eprover: CPU time limit exceeded, terminating % 216.58/210.72 eprover: CPU time limit exceeded, terminating % 218.58/212.73 eprover: CPU time limit exceeded, terminating % 220.69/214.74 eprover: CPU time limit exceeded, terminating % 222.79/216.75 eprover: CPU time limit exceeded, terminating % 224.79/218.75 eprover: CPU time limit exceeded, terminating % 226.89/220.76 eprover: CPU time limit exceeded, terminating % 228.94/222.77 eprover: CPU time limit exceeded, terminating % 231.02/224.78 eprover: CPU time limit exceeded, terminating % 233.07/226.79 eprover: CPU time limit exceeded, terminating % 235.17/228.80 eprover: CPU time limit exceeded, terminating % 237.22/230.81 eprover: CPU time limit exceeded, terminating % 239.31/232.82 eprover: CPU time limit exceeded, terminating % 241.37/234.83 eprover: CPU time limit exceeded, terminating % 243.44/236.84 eprover: CPU time limit exceeded, terminating % 245.50/238.84 eprover: CPU time limit exceeded, terminating % 247.52/240.85 eprover: CPU time limit exceeded, terminating % 249.60/242.86 eprover: CPU time limit exceeded, terminating % 251.71/244.87 eprover: CPU time limit exceeded, terminating % 253.71/246.88 eprover: CPU time limit exceeded, terminating % 255.85/248.89 eprover: CPU time limit exceeded, terminating % 257.92/250.90 eprover: CPU time limit exceeded, terminating % 259.96/252.90 eprover: CPU time limit exceeded, terminating % 262.04/254.91 eprover: CPU time limit exceeded, terminating % 264.08/256.92 eprover: CPU time limit exceeded, terminating % 266.15/258.93 eprover: CPU time limit exceeded, terminating % 268.24/260.94 eprover: CPU time limit exceeded, terminating % 270.26/262.95 eprover: CPU time limit exceeded, terminating % 272.37/264.95 eprover: CPU time limit exceeded, terminating % 274.46/266.96 eprover: CPU time limit exceeded, terminating % 276.49/268.97 eprover: CPU time limit exceeded, terminating % 278.58/270.98 eprover: CPU time limit exceeded, terminating % 280.61/272.99 eprover: CPU time limit exceeded, terminating % 282.66/274.99 eprover: CPU time limit exceeded, terminating % 284.77/277.00 eprover: CPU time limit exceeded, terminating % 286.77/279.01 eprover: CPU time limit exceeded, terminating % 288.87/281.02 eprover: CPU time limit exceeded, terminating % 290.90/283.03 eprover: CPU time limit exceeded, terminating % 293.05/285.03 eprover: CPU time limit exceeded, terminating % 295.05/287.04 eprover: CPU time limit exceeded, terminating % 297.16/289.05 eprover: CPU time limit exceeded, terminating % 299.24/291.06 eprover: CPU time limit exceeded, terminating % 300.06/291.79 eprover: CPU time limit exceeded, terminating % 300.06/291.81 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------