%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM682+4 : TPTP v8.1.0. Released v7.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n014.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:31 EDT 2022 % Result : Timeout 286.58s 282.40s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : NUM682+4 : TPTP v8.1.0. Released v7.3.0. % 0.03/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n014.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 : Thu Jul 7 06:24:07 EDT 2022 % 0.12/0.33 % CPUTime : % 3.01/3.20 eprover: CPU time limit exceeded, terminating % 5.06/5.21 eprover: CPU time limit exceeded, terminating % 7.08/7.21 eprover: CPU time limit exceeded, terminating % 9.11/9.22 eprover: CPU time limit exceeded, terminating % 11.13/11.23 eprover: CPU time limit exceeded, terminating % 13.17/13.24 eprover: CPU time limit exceeded, terminating % 15.28/15.25 eprover: CPU time limit exceeded, terminating % 17.33/17.26 eprover: CPU time limit exceeded, terminating % 19.34/19.26 eprover: CPU time limit exceeded, terminating % 21.40/21.27 eprover: CPU time limit exceeded, terminating % 23.42/23.28 eprover: CPU time limit exceeded, terminating % 25.49/25.29 eprover: CPU time limit exceeded, terminating % 27.50/27.30 eprover: CPU time limit exceeded, terminating % 29.55/29.31 eprover: CPU time limit exceeded, terminating % 31.57/31.31 eprover: CPU time limit exceeded, terminating % 33.61/33.32 eprover: CPU time limit exceeded, terminating % 35.70/35.33 eprover: CPU time limit exceeded, terminating % 37.66/37.34 eprover: CPU time limit exceeded, terminating % 39.76/39.35 eprover: CPU time limit exceeded, terminating % 41.81/41.35 eprover: CPU time limit exceeded, terminating % 43.84/43.36 eprover: CPU time limit exceeded, terminating % 45.89/45.37 eprover: CPU time limit exceeded, terminating % 47.90/47.38 eprover: CPU time limit exceeded, terminating % 49.96/49.39 eprover: CPU time limit exceeded, terminating % 51.98/51.40 eprover: CPU time limit exceeded, terminating % 54.02/53.41 eprover: CPU time limit exceeded, terminating % 56.05/55.42 eprover: CPU time limit exceeded, terminating % 58.06/57.42 eprover: CPU time limit exceeded, terminating % 60.18/59.43 eprover: CPU time limit exceeded, terminating % 62.22/61.44 eprover: CPU time limit exceeded, terminating % 64.25/63.45 eprover: CPU time limit exceeded, terminating % 66.30/65.46 eprover: CPU time limit exceeded, terminating % 68.32/67.47 eprover: CPU time limit exceeded, terminating % 70.39/69.48 eprover: CPU time limit exceeded, terminating % 72.41/71.49 eprover: CPU time limit exceeded, terminating % 74.44/73.50 eprover: CPU time limit exceeded, terminating % 76.46/75.51 eprover: CPU time limit exceeded, terminating % 78.53/77.51 eprover: CPU time limit exceeded, terminating % 80.59/79.52 eprover: CPU time limit exceeded, terminating % 82.61/81.53 eprover: CPU time limit exceeded, terminating % 84.65/83.54 eprover: CPU time limit exceeded, terminating % 86.70/85.55 eprover: CPU time limit exceeded, terminating % 88.73/87.56 eprover: CPU time limit exceeded, terminating % 90.79/89.57 eprover: CPU time limit exceeded, terminating % 92.81/91.57 eprover: CPU time limit exceeded, terminating % 94.87/93.58 eprover: CPU time limit exceeded, terminating % 96.88/95.59 eprover: CPU time limit exceeded, terminating % 98.92/97.60 eprover: CPU time limit exceeded, terminating % 100.94/99.61 eprover: CPU time limit exceeded, terminating % 103.02/101.62 eprover: CPU time limit exceeded, terminating % 105.07/103.63 eprover: CPU time limit exceeded, terminating % 107.04/105.64 eprover: CPU time limit exceeded, terminating % 109.16/107.65 eprover: CPU time limit exceeded, terminating % 111.18/109.65 eprover: CPU time limit exceeded, terminating % 113.21/111.66 eprover: CPU time limit exceeded, terminating % 115.27/113.67 eprover: CPU time limit exceeded, terminating % 117.29/115.68 eprover: CPU time limit exceeded, terminating % 119.32/117.69 eprover: CPU time limit exceeded, terminating % 121.38/119.70 eprover: CPU time limit exceeded, terminating % 123.39/121.71 eprover: CPU time limit exceeded, terminating % 125.43/123.72 eprover: CPU time limit exceeded, terminating % 127.49/125.73 eprover: CPU time limit exceeded, terminating % 129.55/127.73 eprover: CPU time limit exceeded, terminating % 131.51/129.74 eprover: CPU time limit exceeded, terminating % 133.62/131.75 eprover: CPU time limit exceeded, terminating % 135.62/133.76 eprover: CPU time limit exceeded, terminating % 137.72/135.77 eprover: CPU time limit exceeded, terminating % 139.75/137.78 eprover: CPU time limit exceeded, terminating % 141.77/139.79 eprover: CPU time limit exceeded, terminating % 143.81/141.80 eprover: CPU time limit exceeded, terminating % 145.85/143.80 eprover: CPU time limit exceeded, terminating % 147.86/145.81 eprover: CPU time limit exceeded, terminating % 149.89/147.82 eprover: CPU time limit exceeded, terminating % 151.97/149.83 eprover: CPU time limit exceeded, terminating % 153.97/151.84 eprover: CPU time limit exceeded, terminating % 156.04/153.84 eprover: CPU time limit exceeded, terminating % 158.11/155.85 eprover: CPU time limit exceeded, terminating % 160.14/157.86 eprover: CPU time limit exceeded, terminating % 162.18/159.87 eprover: CPU time limit exceeded, terminating % 164.22/161.88 eprover: CPU time limit exceeded, terminating % 166.27/163.89 eprover: CPU time limit exceeded, terminating % 168.25/165.89 eprover: CPU time limit exceeded, terminating % 170.30/167.90 eprover: CPU time limit exceeded, terminating % 172.37/169.91 eprover: CPU time limit exceeded, terminating % 174.42/171.92 eprover: CPU time limit exceeded, terminating % 176.41/173.93 eprover: CPU time limit exceeded, terminating % 178.47/175.94 eprover: CPU time limit exceeded, terminating % 180.55/177.95 eprover: CPU time limit exceeded, terminating % 182.58/179.96 eprover: CPU time limit exceeded, terminating % 184.62/181.96 eprover: CPU time limit exceeded, terminating % 186.65/183.97 eprover: CPU time limit exceeded, terminating % 188.69/185.98 eprover: CPU time limit exceeded, terminating % 190.73/187.99 eprover: CPU time limit exceeded, terminating % 192.75/190.00 eprover: CPU time limit exceeded, terminating % 194.78/192.01 eprover: CPU time limit exceeded, terminating % 196.82/194.02 eprover: CPU time limit exceeded, terminating % 198.84/196.03 eprover: CPU time limit exceeded, terminating % 200.94/198.03 eprover: CPU time limit exceeded, terminating % 202.91/200.04 eprover: CPU time limit exceeded, terminating % 205.01/202.05 eprover: CPU time limit exceeded, terminating % 207.04/204.06 eprover: CPU time limit exceeded, terminating % 209.08/206.07 eprover: CPU time limit exceeded, terminating % 211.08/208.08 eprover: CPU time limit exceeded, terminating % 213.16/210.08 eprover: CPU time limit exceeded, terminating % 215.23/212.09 eprover: CPU time limit exceeded, terminating % 217.23/214.10 eprover: CPU time limit exceeded, terminating % 219.26/216.11 eprover: CPU time limit exceeded, terminating % 221.31/218.12 eprover: CPU time limit exceeded, terminating % 223.33/220.12 eprover: CPU time limit exceeded, terminating % 225.41/222.13 eprover: CPU time limit exceeded, terminating % 227.39/224.14 eprover: CPU time limit exceeded, terminating % 229.46/226.15 eprover: CPU time limit exceeded, terminating % 231.52/228.16 eprover: CPU time limit exceeded, terminating % 233.57/230.16 eprover: CPU time limit exceeded, terminating % 235.58/232.17 eprover: CPU time limit exceeded, terminating % 237.62/234.18 eprover: CPU time limit exceeded, terminating % 239.66/236.19 eprover: CPU time limit exceeded, terminating % 241.73/238.20 eprover: CPU time limit exceeded, terminating % 243.73/240.21 eprover: CPU time limit exceeded, terminating % 245.80/242.22 eprover: CPU time limit exceeded, terminating % 247.83/244.22 eprover: CPU time limit exceeded, terminating % 249.90/246.23 eprover: CPU time limit exceeded, terminating % 251.94/248.24 eprover: CPU time limit exceeded, terminating % 253.99/250.25 eprover: CPU time limit exceeded, terminating % 255.97/252.26 eprover: CPU time limit exceeded, terminating % 258.04/254.27 eprover: CPU time limit exceeded, terminating % 260.05/256.28 eprover: CPU time limit exceeded, terminating % 262.13/258.29 eprover: CPU time limit exceeded, terminating % 264.18/260.30 eprover: CPU time limit exceeded, terminating % 266.23/262.31 eprover: CPU time limit exceeded, terminating % 268.27/264.32 eprover: CPU time limit exceeded, terminating % 270.22/266.32 eprover: CPU time limit exceeded, terminating % 272.35/268.33 eprover: CPU time limit exceeded, terminating % 274.36/270.34 eprover: CPU time limit exceeded, terminating % 276.43/272.35 eprover: CPU time limit exceeded, terminating % 278.41/274.36 eprover: CPU time limit exceeded, terminating % 280.50/276.37 eprover: CPU time limit exceeded, terminating % 282.55/278.38 eprover: CPU time limit exceeded, terminating % 284.58/280.39 eprover: CPU time limit exceeded, terminating % 286.58/282.40 eprover: CPU time limit exceeded, terminating % 288.67/284.41 eprover: CPU time limit exceeded, terminating % 290.68/286.42 eprover: CPU time limit exceeded, terminating % 292.68/288.42 eprover: CPU time limit exceeded, terminating % 294.80/290.43 eprover: CPU time limit exceeded, terminating % 296.77/292.44 eprover: CPU time limit exceeded, terminating % 298.84/294.45 eprover: CPU time limit exceeded, terminating % 300.03/295.57 eprover: CPU time limit exceeded, terminating % 300.03/295.58 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------