%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM747+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n015.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:19 EDT 2022 % Result : Timeout 287.02s 279.28s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : NUM747+4 : TPTP v8.1.0. Released v7.3.0. % 0.03/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n015.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.34 % CPULimit : 300 % 0.12/0.34 % WCLimit : 600 % 0.12/0.34 % DateTime : Tue Jul 5 05:47:32 EDT 2022 % 0.12/0.34 % CPUTime : % 3.57/3.71 eprover: CPU time limit exceeded, terminating % 5.60/5.72 eprover: CPU time limit exceeded, terminating % 7.68/7.73 eprover: CPU time limit exceeded, terminating % 9.77/9.74 eprover: CPU time limit exceeded, terminating % 11.87/11.75 eprover: CPU time limit exceeded, terminating % 13.93/13.76 eprover: CPU time limit exceeded, terminating % 15.99/15.77 eprover: CPU time limit exceeded, terminating % 18.07/17.78 eprover: CPU time limit exceeded, terminating % 20.12/19.80 eprover: CPU time limit exceeded, terminating % 22.19/21.81 eprover: CPU time limit exceeded, terminating % 24.23/23.82 eprover: CPU time limit exceeded, terminating % 26.28/25.83 eprover: CPU time limit exceeded, terminating % 28.36/27.84 eprover: CPU time limit exceeded, terminating % 30.46/29.85 eprover: CPU time limit exceeded, terminating % 32.50/31.86 eprover: CPU time limit exceeded, terminating % 34.62/33.87 eprover: CPU time limit exceeded, terminating % 36.70/35.88 eprover: CPU time limit exceeded, terminating % 38.74/37.90 eprover: CPU time limit exceeded, terminating % 40.79/39.91 eprover: CPU time limit exceeded, terminating % 42.84/41.92 eprover: CPU time limit exceeded, terminating % 44.94/43.93 eprover: CPU time limit exceeded, terminating % 46.95/45.94 eprover: CPU time limit exceeded, terminating % 49.10/47.95 eprover: CPU time limit exceeded, terminating % 51.18/49.96 eprover: CPU time limit exceeded, terminating % 53.24/51.97 eprover: CPU time limit exceeded, terminating % 55.30/53.98 eprover: CPU time limit exceeded, terminating % 57.35/56.00 eprover: CPU time limit exceeded, terminating % 59.46/58.01 eprover: CPU time limit exceeded, terminating % 61.47/60.02 eprover: CPU time limit exceeded, terminating % 63.60/62.03 eprover: CPU time limit exceeded, terminating % 65.66/64.04 eprover: CPU time limit exceeded, terminating % 67.74/66.05 eprover: CPU time limit exceeded, terminating % 69.83/68.06 eprover: CPU time limit exceeded, terminating % 71.80/70.07 eprover: CPU time limit exceeded, terminating % 73.95/72.08 eprover: CPU time limit exceeded, terminating % 76.03/74.09 eprover: CPU time limit exceeded, terminating % 78.08/76.10 eprover: CPU time limit exceeded, terminating % 80.19/78.11 eprover: CPU time limit exceeded, terminating % 82.24/80.12 eprover: CPU time limit exceeded, terminating % 84.26/82.13 eprover: CPU time limit exceeded, terminating % 86.37/84.14 eprover: CPU time limit exceeded, terminating % 88.45/86.15 eprover: CPU time limit exceeded, terminating % 90.49/88.16 eprover: CPU time limit exceeded, terminating % 92.58/90.17 eprover: CPU time limit exceeded, terminating % 94.63/92.18 eprover: CPU time limit exceeded, terminating % 96.70/94.19 eprover: CPU time limit exceeded, terminating % 98.76/96.20 eprover: CPU time limit exceeded, terminating % 100.79/98.21 eprover: CPU time limit exceeded, terminating % 102.91/100.22 eprover: CPU time limit exceeded, terminating % 105.00/102.24 eprover: CPU time limit exceeded, terminating % 107.05/104.25 eprover: CPU time limit exceeded, terminating % 109.13/106.26 eprover: CPU time limit exceeded, terminating % 111.20/108.27 eprover: CPU time limit exceeded, terminating % 113.26/110.28 eprover: CPU time limit exceeded, terminating % 115.33/112.30 eprover: CPU time limit exceeded, terminating % 117.37/114.31 eprover: CPU time limit exceeded, terminating % 119.44/116.32 eprover: CPU time limit exceeded, terminating % 121.55/118.34 eprover: CPU time limit exceeded, terminating % 123.53/120.35 eprover: CPU time limit exceeded, terminating % 125.67/122.37 eprover: CPU time limit exceeded, terminating % 127.73/124.39 eprover: CPU time limit exceeded, terminating % 129.82/126.41 eprover: CPU time limit exceeded, terminating % 131.90/128.42 eprover: CPU time limit exceeded, terminating % 133.93/130.44 eprover: CPU time limit exceeded, terminating % 136.03/132.45 eprover: CPU time limit exceeded, terminating % 138.09/134.48 eprover: CPU time limit exceeded, terminating % 140.12/136.49 eprover: CPU time limit exceeded, terminating % 142.19/138.50 eprover: CPU time limit exceeded, terminating % 144.24/140.51 eprover: CPU time limit exceeded, terminating % 146.37/142.53 eprover: CPU time limit exceeded, terminating % 148.43/144.54 eprover: CPU time limit exceeded, terminating % 150.51/146.55 eprover: CPU time limit exceeded, terminating % 152.57/148.56 eprover: CPU time limit exceeded, terminating % 154.64/150.57 eprover: CPU time limit exceeded, terminating % 156.68/152.58 eprover: CPU time limit exceeded, terminating % 158.77/154.60 eprover: CPU time limit exceeded, terminating % 160.80/156.61 eprover: CPU time limit exceeded, terminating % 162.93/158.62 eprover: CPU time limit exceeded, terminating % 164.96/160.63 eprover: CPU time limit exceeded, terminating % 167.03/162.64 eprover: CPU time limit exceeded, terminating % 169.15/164.66 eprover: CPU time limit exceeded, terminating % 171.20/166.67 eprover: CPU time limit exceeded, terminating % 173.21/168.68 eprover: CPU time limit exceeded, terminating % 175.31/170.69 eprover: CPU time limit exceeded, terminating % 177.39/172.70 eprover: CPU time limit exceeded, terminating % 179.46/174.71 eprover: CPU time limit exceeded, terminating % 181.52/176.73 eprover: CPU time limit exceeded, terminating % 183.59/178.74 eprover: CPU time limit exceeded, terminating % 185.64/180.75 eprover: CPU time limit exceeded, terminating % 187.73/182.76 eprover: CPU time limit exceeded, terminating % 189.83/184.78 eprover: CPU time limit exceeded, terminating % 191.88/186.79 eprover: CPU time limit exceeded, terminating % 193.91/188.80 eprover: CPU time limit exceeded, terminating % 196.02/190.81 eprover: CPU time limit exceeded, terminating % 198.03/192.82 eprover: CPU time limit exceeded, terminating % 200.19/194.84 eprover: CPU time limit exceeded, terminating % 202.25/196.85 eprover: CPU time limit exceeded, terminating % 204.33/198.86 eprover: CPU time limit exceeded, terminating % 206.40/200.87 eprover: CPU time limit exceeded, terminating % 208.46/202.89 eprover: CPU time limit exceeded, terminating % 210.50/204.90 eprover: CPU time limit exceeded, terminating % 212.57/206.91 eprover: CPU time limit exceeded, terminating % 214.60/208.92 eprover: CPU time limit exceeded, terminating % 216.65/210.93 eprover: CPU time limit exceeded, terminating % 218.78/212.94 eprover: CPU time limit exceeded, terminating % 220.87/214.95 eprover: CPU time limit exceeded, terminating % 222.90/216.96 eprover: CPU time limit exceeded, terminating % 225.00/218.97 eprover: CPU time limit exceeded, terminating % 227.06/220.98 eprover: CPU time limit exceeded, terminating % 229.09/222.99 eprover: CPU time limit exceeded, terminating % 231.16/225.00 eprover: CPU time limit exceeded, terminating % 233.21/227.01 eprover: CPU time limit exceeded, terminating % 235.27/229.02 eprover: CPU time limit exceeded, terminating % 237.32/231.03 eprover: CPU time limit exceeded, terminating % 239.42/233.04 eprover: CPU time limit exceeded, terminating % 241.41/235.05 eprover: CPU time limit exceeded, terminating % 243.54/237.06 eprover: CPU time limit exceeded, terminating % 245.64/239.07 eprover: CPU time limit exceeded, terminating % 247.70/241.08 eprover: CPU time limit exceeded, terminating % 249.78/243.09 eprover: CPU time limit exceeded, terminating % 251.84/245.10 eprover: CPU time limit exceeded, terminating % 253.88/247.11 eprover: CPU time limit exceeded, terminating % 255.97/249.12 eprover: CPU time limit exceeded, terminating % 258.00/251.13 eprover: CPU time limit exceeded, terminating % 260.09/253.14 eprover: CPU time limit exceeded, terminating % 262.18/255.15 eprover: CPU time limit exceeded, terminating % 264.24/257.16 eprover: CPU time limit exceeded, terminating % 266.29/259.18 eprover: CPU time limit exceeded, terminating % 268.36/261.19 eprover: CPU time limit exceeded, terminating % 270.44/263.20 eprover: CPU time limit exceeded, terminating % 272.52/265.21 eprover: CPU time limit exceeded, terminating % 274.54/267.22 eprover: CPU time limit exceeded, terminating % 276.67/269.23 eprover: CPU time limit exceeded, terminating % 278.70/271.24 eprover: CPU time limit exceeded, terminating % 280.80/273.25 eprover: CPU time limit exceeded, terminating % 282.86/275.26 eprover: CPU time limit exceeded, terminating % 284.95/277.27 eprover: CPU time limit exceeded, terminating % 287.02/279.28 eprover: CPU time limit exceeded, terminating % 289.01/281.29 eprover: CPU time limit exceeded, terminating % 291.14/283.30 eprover: CPU time limit exceeded, terminating % 293.21/285.31 eprover: CPU time limit exceeded, terminating % 295.27/287.32 eprover: CPU time limit exceeded, terminating % 297.32/289.33 eprover: CPU time limit exceeded, terminating % 299.40/291.34 eprover: CPU time limit exceeded, terminating % 300.03/291.91 eprover: CPU time limit exceeded, terminating % 300.03/291.93 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------