%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM711+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:57 EDT 2022 % Result : Timeout 286.28s 280.68s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : NUM711+4 : TPTP v8.1.0. Released v7.3.0. % 0.03/0.13 % Command : run_infinox %s % 0.14/0.34 % Computer : n026.cluster.edu % 0.14/0.34 % Model : x86_64 x86_64 % 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.34 % Memory : 8042.1875MB % 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.34 % CPULimit : 300 % 0.14/0.34 % WCLimit : 600 % 0.14/0.34 % DateTime : Wed Jul 6 13:35:23 EDT 2022 % 0.14/0.34 % CPUTime : % 3.14/3.30 eprover: CPU time limit exceeded, terminating % 5.18/5.31 eprover: CPU time limit exceeded, terminating % 7.21/7.32 eprover: CPU time limit exceeded, terminating % 9.30/9.33 eprover: CPU time limit exceeded, terminating % 11.30/11.34 eprover: CPU time limit exceeded, terminating % 13.42/13.35 eprover: CPU time limit exceeded, terminating % 15.46/15.36 eprover: CPU time limit exceeded, terminating % 17.53/17.37 eprover: CPU time limit exceeded, terminating % 19.53/19.38 eprover: CPU time limit exceeded, terminating % 21.58/21.39 eprover: CPU time limit exceeded, terminating % 23.64/23.40 eprover: CPU time limit exceeded, terminating % 25.72/25.41 eprover: CPU time limit exceeded, terminating % 27.72/27.42 eprover: CPU time limit exceeded, terminating % 29.81/29.43 eprover: CPU time limit exceeded, terminating % 31.84/31.44 eprover: CPU time limit exceeded, terminating % 33.90/33.45 eprover: CPU time limit exceeded, terminating % 35.93/35.46 eprover: CPU time limit exceeded, terminating % 38.03/37.47 eprover: CPU time limit exceeded, terminating % 40.07/39.48 eprover: CPU time limit exceeded, terminating % 42.10/41.49 eprover: CPU time limit exceeded, terminating % 44.17/43.50 eprover: CPU time limit exceeded, terminating % 46.21/45.51 eprover: CPU time limit exceeded, terminating % 48.28/47.52 eprover: CPU time limit exceeded, terminating % 50.30/49.53 eprover: CPU time limit exceeded, terminating % 52.39/51.54 eprover: CPU time limit exceeded, terminating % 54.37/53.55 eprover: CPU time limit exceeded, terminating % 56.46/55.56 eprover: CPU time limit exceeded, terminating % 58.55/57.57 eprover: CPU time limit exceeded, terminating % 60.61/59.58 eprover: CPU time limit exceeded, terminating % 62.67/61.59 eprover: CPU time limit exceeded, terminating % 64.72/63.60 eprover: CPU time limit exceeded, terminating % 66.72/65.61 eprover: CPU time limit exceeded, terminating % 68.74/67.62 eprover: CPU time limit exceeded, terminating % 70.81/69.63 eprover: CPU time limit exceeded, terminating % 72.93/71.64 eprover: CPU time limit exceeded, terminating % 74.91/73.65 eprover: CPU time limit exceeded, terminating % 77.01/75.66 eprover: CPU time limit exceeded, terminating % 79.05/77.67 eprover: CPU time limit exceeded, terminating % 81.13/79.68 eprover: CPU time limit exceeded, terminating % 83.12/81.69 eprover: CPU time limit exceeded, terminating % 85.21/83.70 eprover: CPU time limit exceeded, terminating % 87.24/85.71 eprover: CPU time limit exceeded, terminating % 89.33/87.72 eprover: CPU time limit exceeded, terminating % 91.36/89.73 eprover: CPU time limit exceeded, terminating % 93.43/91.74 eprover: CPU time limit exceeded, terminating % 95.47/93.75 eprover: CPU time limit exceeded, terminating % 97.48/95.76 eprover: CPU time limit exceeded, terminating % 99.58/97.77 eprover: CPU time limit exceeded, terminating % 101.61/99.78 eprover: CPU time limit exceeded, terminating % 103.70/101.79 eprover: CPU time limit exceeded, terminating % 105.76/103.80 eprover: CPU time limit exceeded, terminating % 107.78/105.81 eprover: CPU time limit exceeded, terminating % 109.81/107.82 eprover: CPU time limit exceeded, terminating % 111.90/109.83 eprover: CPU time limit exceeded, terminating % 113.97/111.84 eprover: CPU time limit exceeded, terminating % 116.00/113.85 eprover: CPU time limit exceeded, terminating % 118.08/115.86 eprover: CPU time limit exceeded, terminating % 120.11/117.87 eprover: CPU time limit exceeded, terminating % 122.20/119.88 eprover: CPU time limit exceeded, terminating % 124.19/121.89 eprover: CPU time limit exceeded, terminating % 126.21/123.90 eprover: CPU time limit exceeded, terminating % 128.31/125.91 eprover: CPU time limit exceeded, terminating % 130.36/127.92 eprover: CPU time limit exceeded, terminating % 132.38/129.93 eprover: CPU time limit exceeded, terminating % 134.42/131.94 eprover: CPU time limit exceeded, terminating % 136.56/133.95 eprover: CPU time limit exceeded, terminating % 138.59/135.96 eprover: CPU time limit exceeded, terminating % 140.63/137.97 eprover: CPU time limit exceeded, terminating % 142.66/139.98 eprover: CPU time limit exceeded, terminating % 144.70/141.99 eprover: CPU time limit exceeded, terminating % 146.77/144.00 eprover: CPU time limit exceeded, terminating % 148.83/146.01 eprover: CPU time limit exceeded, terminating % 150.87/148.02 eprover: CPU time limit exceeded, terminating % 152.90/150.03 eprover: CPU time limit exceeded, terminating % 155.01/152.04 eprover: CPU time limit exceeded, terminating % 157.04/154.05 eprover: CPU time limit exceeded, terminating % 159.10/156.06 eprover: CPU time limit exceeded, terminating % 161.16/158.07 eprover: CPU time limit exceeded, terminating % 163.19/160.08 eprover: CPU time limit exceeded, terminating % 165.21/162.09 eprover: CPU time limit exceeded, terminating % 167.28/164.10 eprover: CPU time limit exceeded, terminating % 169.36/166.11 eprover: CPU time limit exceeded, terminating % 171.42/168.12 eprover: CPU time limit exceeded, terminating % 173.46/170.13 eprover: CPU time limit exceeded, terminating % 175.46/172.14 eprover: CPU time limit exceeded, terminating % 177.57/174.15 eprover: CPU time limit exceeded, terminating % 179.63/176.16 eprover: CPU time limit exceeded, terminating % 181.66/178.17 eprover: CPU time limit exceeded, terminating % 183.74/180.18 eprover: CPU time limit exceeded, terminating % 185.73/182.19 eprover: CPU time limit exceeded, terminating % 187.81/184.20 eprover: CPU time limit exceeded, terminating % 189.87/186.21 eprover: CPU time limit exceeded, terminating % 191.86/188.22 eprover: CPU time limit exceeded, terminating % 193.98/190.23 eprover: CPU time limit exceeded, terminating % 195.99/192.24 eprover: CPU time limit exceeded, terminating % 198.08/194.25 eprover: CPU time limit exceeded, terminating % 200.14/196.26 eprover: CPU time limit exceeded, terminating % 202.17/198.27 eprover: CPU time limit exceeded, terminating % 204.22/200.28 eprover: CPU time limit exceeded, terminating % 206.26/202.29 eprover: CPU time limit exceeded, terminating % 208.31/204.30 eprover: CPU time limit exceeded, terminating % 210.39/206.31 eprover: CPU time limit exceeded, terminating % 212.41/208.32 eprover: CPU time limit exceeded, terminating % 214.49/210.33 eprover: CPU time limit exceeded, terminating % 216.57/212.34 eprover: CPU time limit exceeded, terminating % 218.54/214.35 eprover: CPU time limit exceeded, terminating % 220.66/216.36 eprover: CPU time limit exceeded, terminating % 222.71/218.37 eprover: CPU time limit exceeded, terminating % 224.72/220.38 eprover: CPU time limit exceeded, terminating % 226.80/222.39 eprover: CPU time limit exceeded, terminating % 228.85/224.40 eprover: CPU time limit exceeded, terminating % 230.86/226.41 eprover: CPU time limit exceeded, terminating % 232.90/228.42 eprover: CPU time limit exceeded, terminating % 234.98/230.43 eprover: CPU time limit exceeded, terminating % 237.04/232.43 eprover: CPU time limit exceeded, terminating % 239.09/234.44 eprover: CPU time limit exceeded, terminating % 241.16/236.45 eprover: CPU time limit exceeded, terminating % 243.20/238.47 eprover: CPU time limit exceeded, terminating % 245.24/240.48 eprover: CPU time limit exceeded, terminating % 247.32/242.49 eprover: CPU time limit exceeded, terminating % 249.36/244.49 eprover: CPU time limit exceeded, terminating % 251.38/246.50 eprover: CPU time limit exceeded, terminating % 253.42/248.51 eprover: CPU time limit exceeded, terminating % 255.49/250.52 eprover: CPU time limit exceeded, terminating % 257.57/252.53 eprover: CPU time limit exceeded, terminating % 259.61/254.54 eprover: CPU time limit exceeded, terminating % 261.68/256.55 eprover: CPU time limit exceeded, terminating % 263.70/258.56 eprover: CPU time limit exceeded, terminating % 265.76/260.57 eprover: CPU time limit exceeded, terminating % 267.82/262.58 eprover: CPU time limit exceeded, terminating % 269.86/264.59 eprover: CPU time limit exceeded, terminating % 271.87/266.60 eprover: CPU time limit exceeded, terminating % 273.95/268.61 eprover: CPU time limit exceeded, terminating % 276.00/270.63 eprover: CPU time limit exceeded, terminating % 278.06/272.64 eprover: CPU time limit exceeded, terminating % 280.12/274.65 eprover: CPU time limit exceeded, terminating % 282.12/276.66 eprover: CPU time limit exceeded, terminating % 284.23/278.67 eprover: CPU time limit exceeded, terminating % 286.28/280.68 eprover: CPU time limit exceeded, terminating % 288.34/282.69 eprover: CPU time limit exceeded, terminating % 290.34/284.70 eprover: CPU time limit exceeded, terminating % 292.39/286.71 eprover: CPU time limit exceeded, terminating % 294.47/288.71 eprover: CPU time limit exceeded, terminating % 296.48/290.72 eprover: CPU time limit exceeded, terminating % 298.58/292.73 eprover: CPU time limit exceeded, terminating % 300.04/294.15 eprover: CPU time limit exceeded, terminating % 300.04/294.16 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------