%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM660+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n020.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:13 EDT 2022 % Result : Timeout 285.99s 282.75s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.08/0.14 % Problem : NUM660+4 : TPTP v8.1.0. Released v7.3.0. % 0.08/0.15 % Command : run_infinox %s % 0.16/0.36 % Computer : n020.cluster.edu % 0.16/0.36 % Model : x86_64 x86_64 % 0.16/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.16/0.36 % Memory : 8042.1875MB % 0.16/0.36 % OS : Linux 3.10.0-693.el7.x86_64 % 0.16/0.36 % CPULimit : 300 % 0.16/0.36 % WCLimit : 600 % 0.16/0.36 % DateTime : Wed Jul 6 22:55:59 EDT 2022 % 0.16/0.37 % CPUTime : % 2.87/3.02 eprover: CPU time limit exceeded, terminating % 4.82/5.04 eprover: CPU time limit exceeded, terminating % 6.90/7.05 eprover: CPU time limit exceeded, terminating % 8.95/9.07 eprover: CPU time limit exceeded, terminating % 11.04/11.08 eprover: CPU time limit exceeded, terminating % 13.02/13.09 eprover: CPU time limit exceeded, terminating % 15.12/15.11 eprover: CPU time limit exceeded, terminating % 17.14/17.12 eprover: CPU time limit exceeded, terminating % 19.20/19.14 eprover: CPU time limit exceeded, terminating % 21.19/21.15 eprover: CPU time limit exceeded, terminating % 23.28/23.16 eprover: CPU time limit exceeded, terminating % 25.23/25.18 eprover: CPU time limit exceeded, terminating % 27.32/27.19 eprover: CPU time limit exceeded, terminating % 29.38/29.21 eprover: CPU time limit exceeded, terminating % 31.37/31.22 eprover: CPU time limit exceeded, terminating % 33.45/33.24 eprover: CPU time limit exceeded, terminating % 35.49/35.26 eprover: CPU time limit exceeded, terminating % 37.55/37.28 eprover: CPU time limit exceeded, terminating % 39.60/39.30 eprover: CPU time limit exceeded, terminating % 41.61/41.32 eprover: CPU time limit exceeded, terminating % 43.64/43.34 eprover: CPU time limit exceeded, terminating % 45.73/45.36 eprover: CPU time limit exceeded, terminating % 47.76/47.38 eprover: CPU time limit exceeded, terminating % 49.76/49.41 eprover: CPU time limit exceeded, terminating % 51.80/51.42 eprover: CPU time limit exceeded, terminating % 53.87/53.45 eprover: CPU time limit exceeded, terminating % 55.93/55.47 eprover: CPU time limit exceeded, terminating % 57.97/57.49 eprover: CPU time limit exceeded, terminating % 59.95/59.50 eprover: CPU time limit exceeded, terminating % 62.00/61.52 eprover: CPU time limit exceeded, terminating % 64.07/63.55 eprover: CPU time limit exceeded, terminating % 66.12/65.57 eprover: CPU time limit exceeded, terminating % 68.10/67.58 eprover: CPU time limit exceeded, terminating % 70.17/69.61 eprover: CPU time limit exceeded, terminating % 72.21/71.62 eprover: CPU time limit exceeded, terminating % 74.25/73.64 eprover: CPU time limit exceeded, terminating % 76.28/75.65 eprover: CPU time limit exceeded, terminating % 78.29/77.67 eprover: CPU time limit exceeded, terminating % 80.37/79.70 eprover: CPU time limit exceeded, terminating % 82.43/81.71 eprover: CPU time limit exceeded, terminating % 84.43/83.72 eprover: CPU time limit exceeded, terminating % 86.50/85.73 eprover: CPU time limit exceeded, terminating % 88.48/87.74 eprover: CPU time limit exceeded, terminating % 90.50/89.75 eprover: CPU time limit exceeded, terminating % 92.54/91.76 eprover: CPU time limit exceeded, terminating % 94.57/93.77 eprover: CPU time limit exceeded, terminating % 96.62/95.78 eprover: CPU time limit exceeded, terminating % 98.69/97.79 eprover: CPU time limit exceeded, terminating % 100.68/99.80 eprover: CPU time limit exceeded, terminating % 102.70/101.81 eprover: CPU time limit exceeded, terminating % 104.80/103.82 eprover: CPU time limit exceeded, terminating % 106.82/105.83 eprover: CPU time limit exceeded, terminating % 108.84/107.84 eprover: CPU time limit exceeded, terminating % 110.88/109.85 eprover: CPU time limit exceeded, terminating % 112.94/111.86 eprover: CPU time limit exceeded, terminating % 114.95/113.87 eprover: CPU time limit exceeded, terminating % 117.02/115.88 eprover: CPU time limit exceeded, terminating % 119.07/117.89 eprover: CPU time limit exceeded, terminating % 121.10/119.90 eprover: CPU time limit exceeded, terminating % 123.06/121.91 eprover: CPU time limit exceeded, terminating % 125.17/123.92 eprover: CPU time limit exceeded, terminating % 127.17/125.93 eprover: CPU time limit exceeded, terminating % 129.21/127.94 eprover: CPU time limit exceeded, terminating % 131.26/129.95 eprover: CPU time limit exceeded, terminating % 133.25/131.96 eprover: CPU time limit exceeded, terminating % 135.30/133.97 eprover: CPU time limit exceeded, terminating % 137.33/135.98 eprover: CPU time limit exceeded, terminating % 139.34/137.99 eprover: CPU time limit exceeded, terminating % 141.46/140.00 eprover: CPU time limit exceeded, terminating % 143.50/142.01 eprover: CPU time limit exceeded, terminating % 145.52/144.02 eprover: CPU time limit exceeded, terminating % 147.53/146.03 eprover: CPU time limit exceeded, terminating % 149.60/148.04 eprover: CPU time limit exceeded, terminating % 151.62/150.05 eprover: CPU time limit exceeded, terminating % 153.60/152.06 eprover: CPU time limit exceeded, terminating % 155.67/154.07 eprover: CPU time limit exceeded, terminating % 157.66/156.08 eprover: CPU time limit exceeded, terminating % 159.73/158.09 eprover: CPU time limit exceeded, terminating % 161.79/160.10 eprover: CPU time limit exceeded, terminating % 163.78/162.10 eprover: CPU time limit exceeded, terminating % 165.81/164.11 eprover: CPU time limit exceeded, terminating % 167.91/166.12 eprover: CPU time limit exceeded, terminating % 169.91/168.13 eprover: CPU time limit exceeded, terminating % 171.97/170.14 eprover: CPU time limit exceeded, terminating % 173.95/172.15 eprover: CPU time limit exceeded, terminating % 176.02/174.16 eprover: CPU time limit exceeded, terminating % 178.00/176.17 eprover: CPU time limit exceeded, terminating % 180.09/178.18 eprover: CPU time limit exceeded, terminating % 182.15/180.19 eprover: CPU time limit exceeded, terminating % 184.16/182.20 eprover: CPU time limit exceeded, terminating % 186.18/184.21 eprover: CPU time limit exceeded, terminating % 188.19/186.22 eprover: CPU time limit exceeded, terminating % 190.25/188.23 eprover: CPU time limit exceeded, terminating % 192.32/190.24 eprover: CPU time limit exceeded, terminating % 194.35/192.25 eprover: CPU time limit exceeded, terminating % 196.39/194.26 eprover: CPU time limit exceeded, terminating % 198.42/196.27 eprover: CPU time limit exceeded, terminating % 200.46/198.28 eprover: CPU time limit exceeded, terminating % 202.50/200.30 eprover: CPU time limit exceeded, terminating % 204.52/202.31 eprover: CPU time limit exceeded, terminating % 206.54/204.32 eprover: CPU time limit exceeded, terminating % 208.61/206.33 eprover: CPU time limit exceeded, terminating % 210.58/208.34 eprover: CPU time limit exceeded, terminating % 212.66/210.35 eprover: CPU time limit exceeded, terminating % 214.72/212.36 eprover: CPU time limit exceeded, terminating % 216.74/214.37 eprover: CPU time limit exceeded, terminating % 218.79/216.38 eprover: CPU time limit exceeded, terminating % 220.79/218.39 eprover: CPU time limit exceeded, terminating % 222.85/220.40 eprover: CPU time limit exceeded, terminating % 224.86/222.41 eprover: CPU time limit exceeded, terminating % 226.87/224.42 eprover: CPU time limit exceeded, terminating % 228.97/226.43 eprover: CPU time limit exceeded, terminating % 230.95/228.44 eprover: CPU time limit exceeded, terminating % 233.01/230.45 eprover: CPU time limit exceeded, terminating % 235.09/232.46 eprover: CPU time limit exceeded, terminating % 237.07/234.47 eprover: CPU time limit exceeded, terminating % 239.13/236.48 eprover: CPU time limit exceeded, terminating % 241.16/238.49 eprover: CPU time limit exceeded, terminating % 243.17/240.50 eprover: CPU time limit exceeded, terminating % 245.21/242.51 eprover: CPU time limit exceeded, terminating % 247.29/244.52 eprover: CPU time limit exceeded, terminating % 249.25/246.53 eprover: CPU time limit exceeded, terminating % 251.34/248.55 eprover: CPU time limit exceeded, terminating % 253.40/250.56 eprover: CPU time limit exceeded, terminating % 255.42/252.57 eprover: CPU time limit exceeded, terminating % 257.47/254.58 eprover: CPU time limit exceeded, terminating % 259.47/256.59 eprover: CPU time limit exceeded, terminating % 261.54/258.60 eprover: CPU time limit exceeded, terminating % 263.50/260.62 eprover: CPU time limit exceeded, terminating % 265.59/262.63 eprover: CPU time limit exceeded, terminating % 267.63/264.64 eprover: CPU time limit exceeded, terminating % 269.68/266.65 eprover: CPU time limit exceeded, terminating % 271.73/268.66 eprover: CPU time limit exceeded, terminating % 273.73/270.67 eprover: CPU time limit exceeded, terminating % 275.77/272.69 eprover: CPU time limit exceeded, terminating % 277.83/274.70 eprover: CPU time limit exceeded, terminating % 279.84/276.71 eprover: CPU time limit exceeded, terminating % 281.84/278.72 eprover: CPU time limit exceeded, terminating % 283.93/280.74 eprover: CPU time limit exceeded, terminating % 285.99/282.75 eprover: CPU time limit exceeded, terminating % 288.04/284.76 eprover: CPU time limit exceeded, terminating % 290.07/286.77 eprover: CPU time limit exceeded, terminating % 292.09/288.78 eprover: CPU time limit exceeded, terminating % 294.16/290.80 eprover: CPU time limit exceeded, terminating % 296.14/292.81 eprover: CPU time limit exceeded, terminating % 298.19/294.82 eprover: CPU time limit exceeded, terminating % 300.03/296.60 eprover: CPU time limit exceeded, terminating % 300.03/296.61 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------