%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM666+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n007.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:18 EDT 2022 % Result : Timeout 286.69s 282.81s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.13 % Problem : NUM666+4 : TPTP v8.1.0. Released v7.3.0. % 0.03/0.14 % Command : run_infinox %s % 0.14/0.35 % Computer : n007.cluster.edu % 0.14/0.35 % Model : x86_64 x86_64 % 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.35 % Memory : 8042.1875MB % 0.14/0.35 % 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 : Wed Jul 6 07:37:43 EDT 2022 % 0.14/0.36 % CPUTime : % 2.93/3.10 eprover: CPU time limit exceeded, terminating % 4.95/5.11 eprover: CPU time limit exceeded, terminating % 7.01/7.12 eprover: CPU time limit exceeded, terminating % 9.04/9.14 eprover: CPU time limit exceeded, terminating % 11.09/11.15 eprover: CPU time limit exceeded, terminating % 13.14/13.16 eprover: CPU time limit exceeded, terminating % 15.19/15.18 eprover: CPU time limit exceeded, terminating % 17.24/17.19 eprover: CPU time limit exceeded, terminating % 19.24/19.21 eprover: CPU time limit exceeded, terminating % 21.34/21.22 eprover: CPU time limit exceeded, terminating % 23.35/23.23 eprover: CPU time limit exceeded, terminating % 25.40/25.25 eprover: CPU time limit exceeded, terminating % 27.40/27.26 eprover: CPU time limit exceeded, terminating % 29.50/29.27 eprover: CPU time limit exceeded, terminating % 31.53/31.29 eprover: CPU time limit exceeded, terminating % 33.55/33.30 eprover: CPU time limit exceeded, terminating % 35.59/35.31 eprover: CPU time limit exceeded, terminating % 37.58/37.33 eprover: CPU time limit exceeded, terminating % 39.70/39.34 eprover: CPU time limit exceeded, terminating % 41.76/41.35 eprover: CPU time limit exceeded, terminating % 43.78/43.36 eprover: CPU time limit exceeded, terminating % 45.83/45.38 eprover: CPU time limit exceeded, terminating % 47.86/47.39 eprover: CPU time limit exceeded, terminating % 49.89/49.41 eprover: CPU time limit exceeded, terminating % 51.94/51.42 eprover: CPU time limit exceeded, terminating % 53.99/53.43 eprover: CPU time limit exceeded, terminating % 56.04/55.44 eprover: CPU time limit exceeded, terminating % 58.11/57.46 eprover: CPU time limit exceeded, terminating % 60.12/59.47 eprover: CPU time limit exceeded, terminating % 62.16/61.48 eprover: CPU time limit exceeded, terminating % 64.16/63.50 eprover: CPU time limit exceeded, terminating % 66.23/65.51 eprover: CPU time limit exceeded, terminating % 68.29/67.52 eprover: CPU time limit exceeded, terminating % 70.30/69.54 eprover: CPU time limit exceeded, terminating % 72.36/71.55 eprover: CPU time limit exceeded, terminating % 74.44/73.56 eprover: CPU time limit exceeded, terminating % 76.47/75.58 eprover: CPU time limit exceeded, terminating % 78.52/77.59 eprover: CPU time limit exceeded, terminating % 80.56/79.61 eprover: CPU time limit exceeded, terminating % 82.58/81.62 eprover: CPU time limit exceeded, terminating % 84.59/83.63 eprover: CPU time limit exceeded, terminating % 86.71/85.64 eprover: CPU time limit exceeded, terminating % 88.74/87.66 eprover: CPU time limit exceeded, terminating % 90.76/89.67 eprover: CPU time limit exceeded, terminating % 92.83/91.68 eprover: CPU time limit exceeded, terminating % 94.84/93.70 eprover: CPU time limit exceeded, terminating % 96.90/95.71 eprover: CPU time limit exceeded, terminating % 98.90/97.72 eprover: CPU time limit exceeded, terminating % 101.02/99.74 eprover: CPU time limit exceeded, terminating % 103.05/101.75 eprover: CPU time limit exceeded, terminating % 105.07/103.76 eprover: CPU time limit exceeded, terminating % 107.15/105.78 eprover: CPU time limit exceeded, terminating % 109.15/107.79 eprover: CPU time limit exceeded, terminating % 111.20/109.81 eprover: CPU time limit exceeded, terminating % 113.22/111.82 eprover: CPU time limit exceeded, terminating % 115.23/113.83 eprover: CPU time limit exceeded, terminating % 117.34/115.84 eprover: CPU time limit exceeded, terminating % 119.40/117.86 eprover: CPU time limit exceeded, terminating % 121.40/119.87 eprover: CPU time limit exceeded, terminating % 123.47/121.88 eprover: CPU time limit exceeded, terminating % 125.48/123.89 eprover: CPU time limit exceeded, terminating % 127.53/125.90 eprover: CPU time limit exceeded, terminating % 129.54/127.91 eprover: CPU time limit exceeded, terminating % 131.56/129.92 eprover: CPU time limit exceeded, terminating % 133.59/131.93 eprover: CPU time limit exceeded, terminating % 135.69/133.94 eprover: CPU time limit exceeded, terminating % 137.74/135.95 eprover: CPU time limit exceeded, terminating % 139.79/137.96 eprover: CPU time limit exceeded, terminating % 141.80/139.98 eprover: CPU time limit exceeded, terminating % 143.84/141.99 eprover: CPU time limit exceeded, terminating % 145.91/144.00 eprover: CPU time limit exceeded, terminating % 147.92/146.01 eprover: CPU time limit exceeded, terminating % 149.93/148.02 eprover: CPU time limit exceeded, terminating % 151.98/150.03 eprover: CPU time limit exceeded, terminating % 154.08/152.04 eprover: CPU time limit exceeded, terminating % 156.09/154.06 eprover: CPU time limit exceeded, terminating % 158.10/156.07 eprover: CPU time limit exceeded, terminating % 160.19/158.08 eprover: CPU time limit exceeded, terminating % 162.22/160.09 eprover: CPU time limit exceeded, terminating % 164.22/162.10 eprover: CPU time limit exceeded, terminating % 166.28/164.11 eprover: CPU time limit exceeded, terminating % 168.29/166.12 eprover: CPU time limit exceeded, terminating % 170.38/168.13 eprover: CPU time limit exceeded, terminating % 172.43/170.14 eprover: CPU time limit exceeded, terminating % 174.47/172.15 eprover: CPU time limit exceeded, terminating % 176.45/174.17 eprover: CPU time limit exceeded, terminating % 178.53/176.18 eprover: CPU time limit exceeded, terminating % 180.57/178.19 eprover: CPU time limit exceeded, terminating % 182.58/180.20 eprover: CPU time limit exceeded, terminating % 184.66/182.21 eprover: CPU time limit exceeded, terminating % 186.60/184.22 eprover: CPU time limit exceeded, terminating % 188.68/186.23 eprover: CPU time limit exceeded, terminating % 190.69/188.24 eprover: CPU time limit exceeded, terminating % 192.81/190.25 eprover: CPU time limit exceeded, terminating % 194.84/192.27 eprover: CPU time limit exceeded, terminating % 196.89/194.28 eprover: CPU time limit exceeded, terminating % 198.96/196.29 eprover: CPU time limit exceeded, terminating % 200.95/198.30 eprover: CPU time limit exceeded, terminating % 202.97/200.31 eprover: CPU time limit exceeded, terminating % 205.01/202.32 eprover: CPU time limit exceeded, terminating % 207.09/204.33 eprover: CPU time limit exceeded, terminating % 209.13/206.35 eprover: CPU time limit exceeded, terminating % 211.20/208.36 eprover: CPU time limit exceeded, terminating % 213.21/210.37 eprover: CPU time limit exceeded, terminating % 215.28/212.38 eprover: CPU time limit exceeded, terminating % 217.28/214.39 eprover: CPU time limit exceeded, terminating % 219.30/216.41 eprover: CPU time limit exceeded, terminating % 221.36/218.42 eprover: CPU time limit exceeded, terminating % 223.44/220.43 eprover: CPU time limit exceeded, terminating % 225.47/222.44 eprover: CPU time limit exceeded, terminating % 227.48/224.45 eprover: CPU time limit exceeded, terminating % 229.58/226.47 eprover: CPU time limit exceeded, terminating % 231.56/228.48 eprover: CPU time limit exceeded, terminating % 233.62/230.49 eprover: CPU time limit exceeded, terminating % 235.64/232.50 eprover: CPU time limit exceeded, terminating % 237.72/234.51 eprover: CPU time limit exceeded, terminating % 239.78/236.52 eprover: CPU time limit exceeded, terminating % 241.78/238.54 eprover: CPU time limit exceeded, terminating % 243.78/240.55 eprover: CPU time limit exceeded, terminating % 245.90/242.56 eprover: CPU time limit exceeded, terminating % 247.89/244.57 eprover: CPU time limit exceeded, terminating % 249.99/246.59 eprover: CPU time limit exceeded, terminating % 252.00/248.60 eprover: CPU time limit exceeded, terminating % 254.03/250.61 eprover: CPU time limit exceeded, terminating % 256.09/252.62 eprover: CPU time limit exceeded, terminating % 258.12/254.64 eprover: CPU time limit exceeded, terminating % 260.20/256.65 eprover: CPU time limit exceeded, terminating % 262.18/258.66 eprover: CPU time limit exceeded, terminating % 264.22/260.67 eprover: CPU time limit exceeded, terminating % 266.32/262.68 eprover: CPU time limit exceeded, terminating % 268.28/264.70 eprover: CPU time limit exceeded, terminating % 270.39/266.71 eprover: CPU time limit exceeded, terminating % 272.43/268.72 eprover: CPU time limit exceeded, terminating % 274.47/270.73 eprover: CPU time limit exceeded, terminating % 276.48/272.75 eprover: CPU time limit exceeded, terminating % 278.50/274.76 eprover: CPU time limit exceeded, terminating % 280.54/276.77 eprover: CPU time limit exceeded, terminating % 282.60/278.78 eprover: CPU time limit exceeded, terminating % 284.61/280.79 eprover: CPU time limit exceeded, terminating % 286.69/282.81 eprover: CPU time limit exceeded, terminating % 288.75/284.82 eprover: CPU time limit exceeded, terminating % 290.78/286.84 eprover: CPU time limit exceeded, terminating % 292.76/288.85 eprover: CPU time limit exceeded, terminating % 294.82/290.86 eprover: CPU time limit exceeded, terminating % 296.92/292.87 eprover: CPU time limit exceeded, terminating % 298.90/294.88 eprover: CPU time limit exceeded, terminating % 300.09/295.99 eprover: CPU time limit exceeded, terminating % 300.09/296.01 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------