%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM708+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n013.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:55 EDT 2022 % Result : Timeout 286.57s 279.21s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.13 % Problem : NUM708+4 : TPTP v8.1.0. Released v7.3.0. % 0.07/0.14 % Command : run_infinox %s % 0.13/0.35 % Computer : n013.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 Jul 6 18:04:44 EDT 2022 % 0.13/0.35 % CPUTime : % 3.15/3.30 eprover: CPU time limit exceeded, terminating % 5.19/5.31 eprover: CPU time limit exceeded, terminating % 7.24/7.33 eprover: CPU time limit exceeded, terminating % 9.29/9.34 eprover: CPU time limit exceeded, terminating % 11.31/11.35 eprover: CPU time limit exceeded, terminating % 13.37/13.37 eprover: CPU time limit exceeded, terminating % 15.43/15.38 eprover: CPU time limit exceeded, terminating % 17.47/17.39 eprover: CPU time limit exceeded, terminating % 19.56/19.41 eprover: CPU time limit exceeded, terminating % 21.63/21.42 eprover: CPU time limit exceeded, terminating % 23.68/23.43 eprover: CPU time limit exceeded, terminating % 25.70/25.45 eprover: CPU time limit exceeded, terminating % 27.77/27.46 eprover: CPU time limit exceeded, terminating % 29.83/29.48 eprover: CPU time limit exceeded, terminating % 31.92/31.49 eprover: CPU time limit exceeded, terminating % 33.97/33.50 eprover: CPU time limit exceeded, terminating % 36.02/35.52 eprover: CPU time limit exceeded, terminating % 38.05/37.53 eprover: CPU time limit exceeded, terminating % 40.11/39.54 eprover: CPU time limit exceeded, terminating % 42.15/41.56 eprover: CPU time limit exceeded, terminating % 44.15/43.57 eprover: CPU time limit exceeded, terminating % 46.24/45.58 eprover: CPU time limit exceeded, terminating % 48.36/47.60 eprover: CPU time limit exceeded, terminating % 50.39/49.61 eprover: CPU time limit exceeded, terminating % 52.44/51.63 eprover: CPU time limit exceeded, terminating % 54.49/53.64 eprover: CPU time limit exceeded, terminating % 56.52/55.66 eprover: CPU time limit exceeded, terminating % 58.60/57.67 eprover: CPU time limit exceeded, terminating % 60.69/59.68 eprover: CPU time limit exceeded, terminating % 62.76/61.70 eprover: CPU time limit exceeded, terminating % 64.80/63.71 eprover: CPU time limit exceeded, terminating % 66.84/65.72 eprover: CPU time limit exceeded, terminating % 68.87/67.74 eprover: CPU time limit exceeded, terminating % 70.93/69.75 eprover: CPU time limit exceeded, terminating % 72.97/71.77 eprover: CPU time limit exceeded, terminating % 75.01/73.78 eprover: CPU time limit exceeded, terminating % 77.05/75.79 eprover: CPU time limit exceeded, terminating % 79.18/77.81 eprover: CPU time limit exceeded, terminating % 81.21/79.82 eprover: CPU time limit exceeded, terminating % 83.28/81.83 eprover: CPU time limit exceeded, terminating % 85.32/83.85 eprover: CPU time limit exceeded, terminating % 87.34/85.86 eprover: CPU time limit exceeded, terminating % 89.39/87.88 eprover: CPU time limit exceeded, terminating % 91.51/89.89 eprover: CPU time limit exceeded, terminating % 93.56/91.90 eprover: CPU time limit exceeded, terminating % 95.60/93.92 eprover: CPU time limit exceeded, terminating % 97.65/95.93 eprover: CPU time limit exceeded, terminating % 99.70/97.95 eprover: CPU time limit exceeded, terminating % 101.75/99.96 eprover: CPU time limit exceeded, terminating % 103.79/101.98 eprover: CPU time limit exceeded, terminating % 105.82/103.99 eprover: CPU time limit exceeded, terminating % 107.94/106.00 eprover: CPU time limit exceeded, terminating % 109.97/108.02 eprover: CPU time limit exceeded, terminating % 112.06/110.03 eprover: CPU time limit exceeded, terminating % 114.08/112.05 eprover: CPU time limit exceeded, terminating % 116.14/114.06 eprover: CPU time limit exceeded, terminating % 118.17/116.07 eprover: CPU time limit exceeded, terminating % 120.22/118.09 eprover: CPU time limit exceeded, terminating % 122.35/120.10 eprover: CPU time limit exceeded, terminating % 124.40/122.12 eprover: CPU time limit exceeded, terminating % 126.43/124.13 eprover: CPU time limit exceeded, terminating % 128.48/126.14 eprover: CPU time limit exceeded, terminating % 130.51/128.16 eprover: CPU time limit exceeded, terminating % 132.55/130.17 eprover: CPU time limit exceeded, terminating % 134.59/132.19 eprover: CPU time limit exceeded, terminating % 136.74/134.20 eprover: CPU time limit exceeded, terminating % 138.78/136.21 eprover: CPU time limit exceeded, terminating % 140.82/138.23 eprover: CPU time limit exceeded, terminating % 142.87/140.24 eprover: CPU time limit exceeded, terminating % 144.89/142.26 eprover: CPU time limit exceeded, terminating % 146.93/144.27 eprover: CPU time limit exceeded, terminating % 148.97/146.29 eprover: CPU time limit exceeded, terminating % 151.12/148.30 eprover: CPU time limit exceeded, terminating % 153.17/150.31 eprover: CPU time limit exceeded, terminating % 155.20/152.33 eprover: CPU time limit exceeded, terminating % 157.26/154.34 eprover: CPU time limit exceeded, terminating % 159.31/156.36 eprover: CPU time limit exceeded, terminating % 161.35/158.37 eprover: CPU time limit exceeded, terminating % 163.38/160.39 eprover: CPU time limit exceeded, terminating % 165.49/162.40 eprover: CPU time limit exceeded, terminating % 167.54/164.41 eprover: CPU time limit exceeded, terminating % 169.59/166.43 eprover: CPU time limit exceeded, terminating % 171.63/168.44 eprover: CPU time limit exceeded, terminating % 173.66/170.45 eprover: CPU time limit exceeded, terminating % 175.73/172.47 eprover: CPU time limit exceeded, terminating % 177.77/174.48 eprover: CPU time limit exceeded, terminating % 179.89/176.50 eprover: CPU time limit exceeded, terminating % 181.92/178.51 eprover: CPU time limit exceeded, terminating % 183.99/180.52 eprover: CPU time limit exceeded, terminating % 186.03/182.54 eprover: CPU time limit exceeded, terminating % 188.07/184.55 eprover: CPU time limit exceeded, terminating % 190.09/186.56 eprover: CPU time limit exceeded, terminating % 192.21/188.58 eprover: CPU time limit exceeded, terminating % 194.17/190.59 eprover: CPU time limit exceeded, terminating % 198.19/192.61 eprover: CPU time limit exceeded, terminating % 200.26/194.62 eprover: CPU time limit exceeded, terminating % 202.32/196.64 eprover: CPU time limit exceeded, terminating % 204.35/198.65 eprover: CPU time limit exceeded, terminating % 206.40/200.67 eprover: CPU time limit exceeded, terminating % 208.51/202.68 eprover: CPU time limit exceeded, terminating % 210.48/204.69 eprover: CPU time limit exceeded, terminating % 212.59/206.71 eprover: CPU time limit exceeded, terminating % 214.64/208.72 eprover: CPU time limit exceeded, terminating % 216.67/210.74 eprover: CPU time limit exceeded, terminating % 218.71/212.75 eprover: CPU time limit exceeded, terminating % 220.75/214.76 eprover: CPU time limit exceeded, terminating % 222.79/216.78 eprover: CPU time limit exceeded, terminating % 224.86/218.79 eprover: CPU time limit exceeded, terminating % 226.97/220.80 eprover: CPU time limit exceeded, terminating % 229.04/222.82 eprover: CPU time limit exceeded, terminating % 231.06/224.83 eprover: CPU time limit exceeded, terminating % 233.12/226.85 eprover: CPU time limit exceeded, terminating % 235.15/228.86 eprover: CPU time limit exceeded, terminating % 237.19/230.88 eprover: CPU time limit exceeded, terminating % 239.23/232.89 eprover: CPU time limit exceeded, terminating % 241.36/234.90 eprover: CPU time limit exceeded, terminating % 243.42/236.92 eprover: CPU time limit exceeded, terminating % 245.44/238.93 eprover: CPU time limit exceeded, terminating % 247.51/240.95 eprover: CPU time limit exceeded, terminating % 249.55/242.96 eprover: CPU time limit exceeded, terminating % 251.59/244.97 eprover: CPU time limit exceeded, terminating % 253.63/246.99 eprover: CPU time limit exceeded, terminating % 255.75/249.00 eprover: CPU time limit exceeded, terminating % 257.79/251.02 eprover: CPU time limit exceeded, terminating % 259.82/253.03 eprover: CPU time limit exceeded, terminating % 261.90/255.04 eprover: CPU time limit exceeded, terminating % 263.94/257.06 eprover: CPU time limit exceeded, terminating % 265.97/259.07 eprover: CPU time limit exceeded, terminating % 268.02/261.09 eprover: CPU time limit exceeded, terminating % 270.14/263.10 eprover: CPU time limit exceeded, terminating % 272.18/265.11 eprover: CPU time limit exceeded, terminating % 274.20/267.13 eprover: CPU time limit exceeded, terminating % 276.26/269.14 eprover: CPU time limit exceeded, terminating % 278.27/271.15 eprover: CPU time limit exceeded, terminating % 280.34/273.17 eprover: CPU time limit exceeded, terminating % 282.46/275.18 eprover: CPU time limit exceeded, terminating % 284.43/277.20 eprover: CPU time limit exceeded, terminating % 286.57/279.21 eprover: CPU time limit exceeded, terminating % 288.58/281.22 eprover: CPU time limit exceeded, terminating % 290.66/283.24 eprover: CPU time limit exceeded, terminating % 292.71/285.25 eprover: CPU time limit exceeded, terminating % 294.75/287.27 eprover: CPU time limit exceeded, terminating % 296.78/289.28 eprover: CPU time limit exceeded, terminating % 298.90/291.29 eprover: CPU time limit exceeded, terminating % 300.07/292.41 eprover: CPU time limit exceeded, terminating % 300.07/292.43 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------