%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM702+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n026.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:50 EDT 2022 % Result : Timeout 287.72s 282.75s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.11 % Problem : NUM702+4 : TPTP v8.1.0. Released v7.3.0. % 0.03/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n026.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 : Fri Jul 8 01:47:24 EDT 2022 % 0.12/0.33 % CPUTime : % 3.10/3.31 eprover: CPU time limit exceeded, terminating % 5.16/5.32 eprover: CPU time limit exceeded, terminating % 7.23/7.33 eprover: CPU time limit exceeded, terminating % 9.26/9.34 eprover: CPU time limit exceeded, terminating % 11.31/11.35 eprover: CPU time limit exceeded, terminating % 13.38/13.36 eprover: CPU time limit exceeded, terminating % 15.42/15.37 eprover: CPU time limit exceeded, terminating % 17.46/17.38 eprover: CPU time limit exceeded, terminating % 19.51/19.39 eprover: CPU time limit exceeded, terminating % 21.58/21.39 eprover: CPU time limit exceeded, terminating % 23.63/23.40 eprover: CPU time limit exceeded, terminating % 25.65/25.41 eprover: CPU time limit exceeded, terminating % 27.70/27.42 eprover: CPU time limit exceeded, terminating % 29.77/29.43 eprover: CPU time limit exceeded, terminating % 31.73/31.44 eprover: CPU time limit exceeded, terminating % 33.86/33.45 eprover: CPU time limit exceeded, terminating % 35.92/35.46 eprover: CPU time limit exceeded, terminating % 37.95/37.47 eprover: CPU time limit exceeded, terminating % 39.97/39.48 eprover: CPU time limit exceeded, terminating % 42.01/41.49 eprover: CPU time limit exceeded, terminating % 44.10/43.50 eprover: CPU time limit exceeded, terminating % 46.10/45.51 eprover: CPU time limit exceeded, terminating % 48.17/47.52 eprover: CPU time limit exceeded, terminating % 50.23/49.53 eprover: CPU time limit exceeded, terminating % 52.30/51.55 eprover: CPU time limit exceeded, terminating % 54.28/53.56 eprover: CPU time limit exceeded, terminating % 56.38/55.57 eprover: CPU time limit exceeded, terminating % 58.43/57.58 eprover: CPU time limit exceeded, terminating % 60.48/59.59 eprover: CPU time limit exceeded, terminating % 62.50/61.60 eprover: CPU time limit exceeded, terminating % 64.54/63.61 eprover: CPU time limit exceeded, terminating % 66.61/65.62 eprover: CPU time limit exceeded, terminating % 68.61/67.63 eprover: CPU time limit exceeded, terminating % 70.74/69.64 eprover: CPU time limit exceeded, terminating % 72.74/71.65 eprover: CPU time limit exceeded, terminating % 74.81/73.66 eprover: CPU time limit exceeded, terminating % 76.86/75.67 eprover: CPU time limit exceeded, terminating % 78.92/77.68 eprover: CPU time limit exceeded, terminating % 80.94/79.69 eprover: CPU time limit exceeded, terminating % 83.01/81.70 eprover: CPU time limit exceeded, terminating % 85.03/83.70 eprover: CPU time limit exceeded, terminating % 87.11/85.71 eprover: CPU time limit exceeded, terminating % 89.12/87.72 eprover: CPU time limit exceeded, terminating % 91.15/89.73 eprover: CPU time limit exceeded, terminating % 93.25/91.74 eprover: CPU time limit exceeded, terminating % 95.29/93.75 eprover: CPU time limit exceeded, terminating % 97.34/95.76 eprover: CPU time limit exceeded, terminating % 99.37/97.77 eprover: CPU time limit exceeded, terminating % 101.42/99.78 eprover: CPU time limit exceeded, terminating % 103.48/101.79 eprover: CPU time limit exceeded, terminating % 105.50/103.80 eprover: CPU time limit exceeded, terminating % 107.54/105.81 eprover: CPU time limit exceeded, terminating % 109.58/107.82 eprover: CPU time limit exceeded, terminating % 111.70/109.83 eprover: CPU time limit exceeded, terminating % 113.73/111.84 eprover: CPU time limit exceeded, terminating % 115.76/113.85 eprover: CPU time limit exceeded, terminating % 117.83/115.86 eprover: CPU time limit exceeded, terminating % 119.88/117.87 eprover: CPU time limit exceeded, terminating % 121.91/119.88 eprover: CPU time limit exceeded, terminating % 123.98/121.89 eprover: CPU time limit exceeded, terminating % 125.98/123.90 eprover: CPU time limit exceeded, terminating % 127.99/125.91 eprover: CPU time limit exceeded, terminating % 130.08/127.92 eprover: CPU time limit exceeded, terminating % 132.12/129.93 eprover: CPU time limit exceeded, terminating % 134.17/131.94 eprover: CPU time limit exceeded, terminating % 136.20/133.95 eprover: CPU time limit exceeded, terminating % 138.32/135.96 eprover: CPU time limit exceeded, terminating % 140.35/137.97 eprover: CPU time limit exceeded, terminating % 142.38/139.98 eprover: CPU time limit exceeded, terminating % 144.39/141.99 eprover: CPU time limit exceeded, terminating % 146.48/144.00 eprover: CPU time limit exceeded, terminating % 148.50/146.01 eprover: CPU time limit exceeded, terminating % 150.51/148.02 eprover: CPU time limit exceeded, terminating % 152.63/150.03 eprover: CPU time limit exceeded, terminating % 154.63/152.04 eprover: CPU time limit exceeded, terminating % 156.72/154.05 eprover: CPU time limit exceeded, terminating % 158.77/156.06 eprover: CPU time limit exceeded, terminating % 160.80/158.07 eprover: CPU time limit exceeded, terminating % 162.85/160.08 eprover: CPU time limit exceeded, terminating % 164.86/162.09 eprover: CPU time limit exceeded, terminating % 166.89/164.10 eprover: CPU time limit exceeded, terminating % 168.95/166.11 eprover: CPU time limit exceeded, terminating % 171.02/168.13 eprover: CPU time limit exceeded, terminating % 173.06/170.14 eprover: CPU time limit exceeded, terminating % 175.11/172.15 eprover: CPU time limit exceeded, terminating % 177.15/174.16 eprover: CPU time limit exceeded, terminating % 179.16/176.17 eprover: CPU time limit exceeded, terminating % 181.17/178.18 eprover: CPU time limit exceeded, terminating % 183.24/180.19 eprover: CPU time limit exceeded, terminating % 185.28/182.21 eprover: CPU time limit exceeded, terminating % 187.31/184.23 eprover: CPU time limit exceeded, terminating % 189.41/186.25 eprover: CPU time limit exceeded, terminating % 191.42/188.26 eprover: CPU time limit exceeded, terminating % 193.50/190.27 eprover: CPU time limit exceeded, terminating % 195.50/192.28 eprover: CPU time limit exceeded, terminating % 197.52/194.28 eprover: CPU time limit exceeded, terminating % 199.63/196.29 eprover: CPU time limit exceeded, terminating % 201.60/198.30 eprover: CPU time limit exceeded, terminating % 203.72/200.31 eprover: CPU time limit exceeded, terminating % 205.75/202.32 eprover: CPU time limit exceeded, terminating % 207.81/204.33 eprover: CPU time limit exceeded, terminating % 209.88/206.35 eprover: CPU time limit exceeded, terminating % 211.88/208.36 eprover: CPU time limit exceeded, terminating % 213.93/210.37 eprover: CPU time limit exceeded, terminating % 215.98/212.37 eprover: CPU time limit exceeded, terminating % 218.02/214.38 eprover: CPU time limit exceeded, terminating % 220.07/216.40 eprover: CPU time limit exceeded, terminating % 222.17/218.41 eprover: CPU time limit exceeded, terminating % 224.22/220.42 eprover: CPU time limit exceeded, terminating % 226.25/222.43 eprover: CPU time limit exceeded, terminating % 228.25/224.44 eprover: CPU time limit exceeded, terminating % 230.36/226.45 eprover: CPU time limit exceeded, terminating % 232.40/228.46 eprover: CPU time limit exceeded, terminating % 234.42/230.47 eprover: CPU time limit exceeded, terminating % 236.48/232.48 eprover: CPU time limit exceeded, terminating % 238.52/234.49 eprover: CPU time limit exceeded, terminating % 240.63/236.50 eprover: CPU time limit exceeded, terminating % 242.61/238.51 eprover: CPU time limit exceeded, terminating % 244.72/240.52 eprover: CPU time limit exceeded, terminating % 246.75/242.54 eprover: CPU time limit exceeded, terminating % 248.76/244.55 eprover: CPU time limit exceeded, terminating % 250.84/246.56 eprover: CPU time limit exceeded, terminating % 252.92/248.57 eprover: CPU time limit exceeded, terminating % 254.90/250.58 eprover: CPU time limit exceeded, terminating % 257.02/252.59 eprover: CPU time limit exceeded, terminating % 258.98/254.60 eprover: CPU time limit exceeded, terminating % 261.12/256.61 eprover: CPU time limit exceeded, terminating % 263.16/258.62 eprover: CPU time limit exceeded, terminating % 265.20/260.63 eprover: CPU time limit exceeded, terminating % 267.23/262.64 eprover: CPU time limit exceeded, terminating % 269.25/264.65 eprover: CPU time limit exceeded, terminating % 271.30/266.66 eprover: CPU time limit exceeded, terminating % 273.39/268.67 eprover: CPU time limit exceeded, terminating % 275.42/270.68 eprover: CPU time limit exceeded, terminating % 277.49/272.69 eprover: CPU time limit exceeded, terminating % 279.55/274.70 eprover: CPU time limit exceeded, terminating % 281.59/276.71 eprover: CPU time limit exceeded, terminating % 283.66/278.72 eprover: CPU time limit exceeded, terminating % 285.67/280.74 eprover: CPU time limit exceeded, terminating % 287.72/282.75 eprover: CPU time limit exceeded, terminating % 289.77/284.76 eprover: CPU time limit exceeded, terminating % 291.84/286.77 eprover: CPU time limit exceeded, terminating % 293.91/288.78 eprover: CPU time limit exceeded, terminating % 295.94/290.79 eprover: CPU time limit exceeded, terminating % 297.94/292.80 eprover: CPU time limit exceeded, terminating % 300.01/294.77 eprover: CPU time limit exceeded, terminating % 300.01/294.78 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------