%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM691+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n004.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:39 EDT 2022 % Result : Timeout 286.11s 281.08s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.08/0.13 % Problem : NUM691+4 : TPTP v8.1.0. Released v7.3.0. % 0.08/0.14 % Command : run_infinox %s % 0.14/0.36 % Computer : n004.cluster.edu % 0.14/0.36 % Model : x86_64 x86_64 % 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.36 % Memory : 8042.1875MB % 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.36 % CPULimit : 300 % 0.14/0.36 % WCLimit : 600 % 0.14/0.36 % DateTime : Tue Jul 5 03:29:38 EDT 2022 % 0.14/0.36 % CPUTime : % 3.04/3.26 eprover: CPU time limit exceeded, terminating % 5.13/5.27 eprover: CPU time limit exceeded, terminating % 7.16/7.29 eprover: CPU time limit exceeded, terminating % 9.25/9.30 eprover: CPU time limit exceeded, terminating % 11.25/11.31 eprover: CPU time limit exceeded, terminating % 13.39/13.32 eprover: CPU time limit exceeded, terminating % 15.42/15.34 eprover: CPU time limit exceeded, terminating % 17.43/17.35 eprover: CPU time limit exceeded, terminating % 19.48/19.36 eprover: CPU time limit exceeded, terminating % 21.58/21.37 eprover: CPU time limit exceeded, terminating % 23.57/23.39 eprover: CPU time limit exceeded, terminating % 25.68/25.40 eprover: CPU time limit exceeded, terminating % 27.71/27.41 eprover: CPU time limit exceeded, terminating % 29.74/29.42 eprover: CPU time limit exceeded, terminating % 31.77/31.44 eprover: CPU time limit exceeded, terminating % 33.85/33.45 eprover: CPU time limit exceeded, terminating % 35.85/35.46 eprover: CPU time limit exceeded, terminating % 37.93/37.47 eprover: CPU time limit exceeded, terminating % 39.98/39.49 eprover: CPU time limit exceeded, terminating % 42.00/41.50 eprover: CPU time limit exceeded, terminating % 44.10/43.51 eprover: CPU time limit exceeded, terminating % 46.17/45.53 eprover: CPU time limit exceeded, terminating % 48.18/47.54 eprover: CPU time limit exceeded, terminating % 50.24/49.55 eprover: CPU time limit exceeded, terminating % 52.30/51.57 eprover: CPU time limit exceeded, terminating % 54.30/53.58 eprover: CPU time limit exceeded, terminating % 56.43/55.59 eprover: CPU time limit exceeded, terminating % 58.48/57.61 eprover: CPU time limit exceeded, terminating % 60.54/59.62 eprover: CPU time limit exceeded, terminating % 62.60/61.63 eprover: CPU time limit exceeded, terminating % 64.63/63.65 eprover: CPU time limit exceeded, terminating % 66.70/65.66 eprover: CPU time limit exceeded, terminating % 68.66/67.68 eprover: CPU time limit exceeded, terminating % 70.80/69.69 eprover: CPU time limit exceeded, terminating % 72.86/71.70 eprover: CPU time limit exceeded, terminating % 74.89/73.72 eprover: CPU time limit exceeded, terminating % 76.93/75.73 eprover: CPU time limit exceeded, terminating % 78.98/77.75 eprover: CPU time limit exceeded, terminating % 81.05/79.76 eprover: CPU time limit exceeded, terminating % 83.06/81.77 eprover: CPU time limit exceeded, terminating % 85.11/83.79 eprover: CPU time limit exceeded, terminating % 87.19/85.80 eprover: CPU time limit exceeded, terminating % 89.26/87.81 eprover: CPU time limit exceeded, terminating % 91.26/89.83 eprover: CPU time limit exceeded, terminating % 93.37/91.84 eprover: CPU time limit exceeded, terminating % 95.38/93.85 eprover: CPU time limit exceeded, terminating % 97.46/95.87 eprover: CPU time limit exceeded, terminating % 99.45/97.88 eprover: CPU time limit exceeded, terminating % 101.53/99.89 eprover: CPU time limit exceeded, terminating % 103.63/101.91 eprover: CPU time limit exceeded, terminating % 105.68/103.92 eprover: CPU time limit exceeded, terminating % 107.73/105.93 eprover: CPU time limit exceeded, terminating % 109.78/107.95 eprover: CPU time limit exceeded, terminating % 111.84/109.96 eprover: CPU time limit exceeded, terminating % 113.80/111.97 eprover: CPU time limit exceeded, terminating % 115.94/113.99 eprover: CPU time limit exceeded, terminating % 117.97/116.00 eprover: CPU time limit exceeded, terminating % 120.01/118.01 eprover: CPU time limit exceeded, terminating % 122.05/120.03 eprover: CPU time limit exceeded, terminating % 124.11/122.04 eprover: CPU time limit exceeded, terminating % 126.18/124.05 eprover: CPU time limit exceeded, terminating % 128.22/126.07 eprover: CPU time limit exceeded, terminating % 130.28/128.08 eprover: CPU time limit exceeded, terminating % 132.33/130.09 eprover: CPU time limit exceeded, terminating % 134.40/132.11 eprover: CPU time limit exceeded, terminating % 136.42/134.12 eprover: CPU time limit exceeded, terminating % 138.47/136.13 eprover: CPU time limit exceeded, terminating % 140.54/138.15 eprover: CPU time limit exceeded, terminating % 142.56/140.16 eprover: CPU time limit exceeded, terminating % 144.63/142.17 eprover: CPU time limit exceeded, terminating % 146.68/144.19 eprover: CPU time limit exceeded, terminating % 148.74/146.20 eprover: CPU time limit exceeded, terminating % 150.78/148.21 eprover: CPU time limit exceeded, terminating % 152.82/150.23 eprover: CPU time limit exceeded, terminating % 154.88/152.24 eprover: CPU time limit exceeded, terminating % 156.93/154.25 eprover: CPU time limit exceeded, terminating % 159.00/156.27 eprover: CPU time limit exceeded, terminating % 161.06/158.28 eprover: CPU time limit exceeded, terminating % 163.12/160.30 eprover: CPU time limit exceeded, terminating % 165.11/162.31 eprover: CPU time limit exceeded, terminating % 167.14/164.32 eprover: CPU time limit exceeded, terminating % 169.19/166.34 eprover: CPU time limit exceeded, terminating % 171.28/168.35 eprover: CPU time limit exceeded, terminating % 173.33/170.36 eprover: CPU time limit exceeded, terminating % 175.40/172.38 eprover: CPU time limit exceeded, terminating % 177.44/174.39 eprover: CPU time limit exceeded, terminating % 179.51/176.40 eprover: CPU time limit exceeded, terminating % 181.51/178.41 eprover: CPU time limit exceeded, terminating % 183.63/180.43 eprover: CPU time limit exceeded, terminating % 185.68/182.44 eprover: CPU time limit exceeded, terminating % 187.73/184.46 eprover: CPU time limit exceeded, terminating % 189.74/186.47 eprover: CPU time limit exceeded, terminating % 191.80/188.48 eprover: CPU time limit exceeded, terminating % 193.88/190.49 eprover: CPU time limit exceeded, terminating % 195.89/192.51 eprover: CPU time limit exceeded, terminating % 197.97/194.52 eprover: CPU time limit exceeded, terminating % 200.02/196.53 eprover: CPU time limit exceeded, terminating % 202.02/198.55 eprover: CPU time limit exceeded, terminating % 204.10/200.56 eprover: CPU time limit exceeded, terminating % 206.12/202.57 eprover: CPU time limit exceeded, terminating % 208.19/204.58 eprover: CPU time limit exceeded, terminating % 210.29/206.60 eprover: CPU time limit exceeded, terminating % 212.28/208.61 eprover: CPU time limit exceeded, terminating % 214.38/210.62 eprover: CPU time limit exceeded, terminating % 216.42/212.63 eprover: CPU time limit exceeded, terminating % 218.43/214.65 eprover: CPU time limit exceeded, terminating % 220.51/216.66 eprover: CPU time limit exceeded, terminating % 222.59/218.67 eprover: CPU time limit exceeded, terminating % 224.59/220.68 eprover: CPU time limit exceeded, terminating % 226.68/222.70 eprover: CPU time limit exceeded, terminating % 228.75/224.71 eprover: CPU time limit exceeded, terminating % 230.76/226.73 eprover: CPU time limit exceeded, terminating % 232.83/228.74 eprover: CPU time limit exceeded, terminating % 234.84/230.75 eprover: CPU time limit exceeded, terminating % 236.89/232.77 eprover: CPU time limit exceeded, terminating % 239.02/234.78 eprover: CPU time limit exceeded, terminating % 241.06/236.79 eprover: CPU time limit exceeded, terminating % 243.09/238.81 eprover: CPU time limit exceeded, terminating % 245.16/240.82 eprover: CPU time limit exceeded, terminating % 247.21/242.83 eprover: CPU time limit exceeded, terminating % 249.26/244.85 eprover: CPU time limit exceeded, terminating % 251.28/246.86 eprover: CPU time limit exceeded, terminating % 253.36/248.87 eprover: CPU time limit exceeded, terminating % 255.35/250.89 eprover: CPU time limit exceeded, terminating % 257.40/252.90 eprover: CPU time limit exceeded, terminating % 259.53/254.91 eprover: CPU time limit exceeded, terminating % 261.56/256.93 eprover: CPU time limit exceeded, terminating % 263.61/258.94 eprover: CPU time limit exceeded, terminating % 265.61/260.95 eprover: CPU time limit exceeded, terminating % 267.70/262.96 eprover: CPU time limit exceeded, terminating % 269.79/264.98 eprover: CPU time limit exceeded, terminating % 271.83/266.99 eprover: CPU time limit exceeded, terminating % 273.79/269.01 eprover: CPU time limit exceeded, terminating % 275.89/271.02 eprover: CPU time limit exceeded, terminating % 277.95/273.03 eprover: CPU time limit exceeded, terminating % 279.97/275.04 eprover: CPU time limit exceeded, terminating % 282.03/277.06 eprover: CPU time limit exceeded, terminating % 284.10/279.07 eprover: CPU time limit exceeded, terminating % 286.11/281.08 eprover: CPU time limit exceeded, terminating % 288.18/283.10 eprover: CPU time limit exceeded, terminating % 290.28/285.11 eprover: CPU time limit exceeded, terminating % 292.32/287.12 eprover: CPU time limit exceeded, terminating % 294.39/289.13 eprover: CPU time limit exceeded, terminating % 296.38/291.14 eprover: CPU time limit exceeded, terminating % 298.42/293.15 eprover: CPU time limit exceeded, terminating % 300.08/294.70 eprover: CPU time limit exceeded, terminating % 300.08/294.71 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------