%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWC062-1 : TPTP v8.1.0. Released v2.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n019.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 : Tue Jul 19 20:46:31 EDT 2022 % Result : Timeout 286.91s 286.57s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.04/0.14 % Problem : SWC062-1 : TPTP v8.1.0. Released v2.4.0. % 0.04/0.14 % Command : run_infinox %s % 0.15/0.36 % Computer : n019.cluster.edu % 0.15/0.36 % Model : x86_64 x86_64 % 0.15/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.15/0.36 % Memory : 8042.1875MB % 0.15/0.36 % OS : Linux 3.10.0-693.el7.x86_64 % 0.15/0.36 % CPULimit : 300 % 0.15/0.36 % WCLimit : 600 % 0.15/0.36 % DateTime : Sun Jun 12 04:24:10 EDT 2022 % 0.15/0.36 % CPUTime : % 2.33/2.49 eprover: CPU time limit exceeded, terminating % 4.31/4.51 eprover: CPU time limit exceeded, terminating % 6.33/6.52 eprover: CPU time limit exceeded, terminating % 8.33/8.53 eprover: CPU time limit exceeded, terminating % 10.35/10.55 eprover: CPU time limit exceeded, terminating % 12.38/12.56 eprover: CPU time limit exceeded, terminating % 14.43/14.57 eprover: CPU time limit exceeded, terminating % 16.46/16.59 eprover: CPU time limit exceeded, terminating % 18.45/18.60 eprover: CPU time limit exceeded, terminating % 20.48/20.62 eprover: CPU time limit exceeded, terminating % 22.48/22.63 eprover: CPU time limit exceeded, terminating % 24.51/24.65 eprover: CPU time limit exceeded, terminating % 26.52/26.66 eprover: CPU time limit exceeded, terminating % 28.54/28.67 eprover: CPU time limit exceeded, terminating % 30.53/30.69 eprover: CPU time limit exceeded, terminating % 32.63/32.70 eprover: CPU time limit exceeded, terminating % 34.61/34.71 eprover: CPU time limit exceeded, terminating % 36.59/36.73 eprover: CPU time limit exceeded, terminating % 38.63/38.74 eprover: CPU time limit exceeded, terminating % 40.65/40.75 eprover: CPU time limit exceeded, terminating % 42.64/42.77 eprover: CPU time limit exceeded, terminating % 44.68/44.78 eprover: CPU time limit exceeded, terminating % 46.76/46.80 eprover: CPU time limit exceeded, terminating % 48.76/48.82 eprover: CPU time limit exceeded, terminating % 50.79/50.84 eprover: CPU time limit exceeded, terminating % 52.76/52.86 eprover: CPU time limit exceeded, terminating % 54.77/54.88 eprover: CPU time limit exceeded, terminating % 56.76/56.89 eprover: CPU time limit exceeded, terminating % 58.85/58.91 eprover: CPU time limit exceeded, terminating % 60.87/60.92 eprover: CPU time limit exceeded, terminating % 62.84/62.94 eprover: CPU time limit exceeded, terminating % 64.88/64.96 eprover: CPU time limit exceeded, terminating % 66.94/66.98 eprover: CPU time limit exceeded, terminating % 68.90/69.00 eprover: CPU time limit exceeded, terminating % 70.98/71.01 eprover: CPU time limit exceeded, terminating % 72.98/73.03 eprover: CPU time limit exceeded, terminating % 74.99/75.04 eprover: CPU time limit exceeded, terminating % 77.01/77.08 eprover: CPU time limit exceeded, terminating % 78.99/79.09 eprover: CPU time limit exceeded, terminating % 81.01/81.11 eprover: CPU time limit exceeded, terminating % 83.02/83.13 eprover: CPU time limit exceeded, terminating % 85.04/85.14 eprover: CPU time limit exceeded, terminating % 87.11/87.17 eprover: CPU time limit exceeded, terminating % 89.12/89.18 eprover: CPU time limit exceeded, terminating % 91.14/91.20 eprover: CPU time limit exceeded, terminating % 93.16/93.21 eprover: CPU time limit exceeded, terminating % 95.20/95.23 eprover: CPU time limit exceeded, terminating % 97.15/97.24 eprover: CPU time limit exceeded, terminating % 99.24/99.26 eprover: CPU time limit exceeded, terminating % 101.26/101.28 eprover: CPU time limit exceeded, terminating % 103.26/103.29 eprover: CPU time limit exceeded, terminating % 105.27/105.31 eprover: CPU time limit exceeded, terminating % 107.32/107.33 eprover: CPU time limit exceeded, terminating % 109.33/109.34 eprover: CPU time limit exceeded, terminating % 111.36/111.36 eprover: CPU time limit exceeded, terminating % 113.37/113.37 eprover: CPU time limit exceeded, terminating % 115.37/115.38 eprover: CPU time limit exceeded, terminating % 117.42/117.39 eprover: CPU time limit exceeded, terminating % 119.41/119.40 eprover: CPU time limit exceeded, terminating % 121.38/121.41 eprover: CPU time limit exceeded, terminating % 123.45/123.43 eprover: CPU time limit exceeded, terminating % 125.48/125.45 eprover: CPU time limit exceeded, terminating % 127.50/127.46 eprover: CPU time limit exceeded, terminating % 129.50/129.47 eprover: CPU time limit exceeded, terminating % 131.53/131.48 eprover: CPU time limit exceeded, terminating % 133.52/133.50 eprover: CPU time limit exceeded, terminating % 135.53/135.51 eprover: CPU time limit exceeded, terminating % 137.53/137.52 eprover: CPU time limit exceeded, terminating % 139.52/139.53 eprover: CPU time limit exceeded, terminating % 141.63/141.55 eprover: CPU time limit exceeded, terminating % 143.63/143.56 eprover: CPU time limit exceeded, terminating % 145.64/145.57 eprover: CPU time limit exceeded, terminating % 147.65/147.58 eprover: CPU time limit exceeded, terminating % 149.65/149.59 eprover: CPU time limit exceeded, terminating % 151.68/151.61 eprover: CPU time limit exceeded, terminating % 153.68/153.62 eprover: CPU time limit exceeded, terminating % 155.72/155.64 eprover: CPU time limit exceeded, terminating % 157.75/157.66 eprover: CPU time limit exceeded, terminating % 159.77/159.67 eprover: CPU time limit exceeded, terminating % 161.75/161.69 eprover: CPU time limit exceeded, terminating % 163.79/163.70 eprover: CPU time limit exceeded, terminating % 165.80/165.72 eprover: CPU time limit exceeded, terminating % 167.82/167.73 eprover: CPU time limit exceeded, terminating % 169.81/169.74 eprover: CPU time limit exceeded, terminating % 171.85/171.76 eprover: CPU time limit exceeded, terminating % 173.85/173.78 eprover: CPU time limit exceeded, terminating % 175.84/175.79 eprover: CPU time limit exceeded, terminating % 177.85/177.81 eprover: CPU time limit exceeded, terminating % 179.89/179.83 eprover: CPU time limit exceeded, terminating % 181.91/181.85 eprover: CPU time limit exceeded, terminating % 183.96/183.87 eprover: CPU time limit exceeded, terminating % 185.95/185.88 eprover: CPU time limit exceeded, terminating % 187.95/187.89 eprover: CPU time limit exceeded, terminating % 189.93/189.92 eprover: CPU time limit exceeded, terminating % 192.00/191.93 eprover: CPU time limit exceeded, terminating % 194.03/193.94 eprover: CPU time limit exceeded, terminating % 196.01/195.95 eprover: CPU time limit exceeded, terminating % 198.06/197.97 eprover: CPU time limit exceeded, terminating % 200.03/199.98 eprover: CPU time limit exceeded, terminating % 202.10/201.99 eprover: CPU time limit exceeded, terminating % 204.12/204.00 eprover: CPU time limit exceeded, terminating % 206.13/206.02 eprover: CPU time limit exceeded, terminating % 208.10/208.03 eprover: CPU time limit exceeded, terminating % 210.17/210.05 eprover: CPU time limit exceeded, terminating % 212.14/212.06 eprover: CPU time limit exceeded, terminating % 214.16/214.07 eprover: CPU time limit exceeded, terminating % 216.21/216.08 eprover: CPU time limit exceeded, terminating % 218.26/218.10 eprover: CPU time limit exceeded, terminating % 220.21/220.11 eprover: CPU time limit exceeded, terminating % 222.23/222.12 eprover: CPU time limit exceeded, terminating % 224.31/224.14 eprover: CPU time limit exceeded, terminating % 226.28/226.15 eprover: CPU time limit exceeded, terminating % 228.30/228.16 eprover: CPU time limit exceeded, terminating % 230.37/230.17 eprover: CPU time limit exceeded, terminating % 232.32/232.19 eprover: CPU time limit exceeded, terminating % 234.37/234.20 eprover: CPU time limit exceeded, terminating % 236.34/236.21 eprover: CPU time limit exceeded, terminating % 238.44/238.23 eprover: CPU time limit exceeded, terminating % 240.46/240.24 eprover: CPU time limit exceeded, terminating % 242.46/242.25 eprover: CPU time limit exceeded, terminating % 244.51/244.27 eprover: CPU time limit exceeded, terminating % 246.51/246.29 eprover: CPU time limit exceeded, terminating % 248.50/248.30 eprover: CPU time limit exceeded, terminating % 250.55/250.32 eprover: CPU time limit exceeded, terminating % 252.54/252.33 eprover: CPU time limit exceeded, terminating % 254.59/254.35 eprover: CPU time limit exceeded, terminating % 256.55/256.36 eprover: CPU time limit exceeded, terminating % 258.65/258.37 eprover: CPU time limit exceeded, terminating % 260.66/260.39 eprover: CPU time limit exceeded, terminating % 262.70/262.40 eprover: CPU time limit exceeded, terminating % 264.68/264.43 eprover: CPU time limit exceeded, terminating % 266.71/266.44 eprover: CPU time limit exceeded, terminating % 268.74/268.45 eprover: CPU time limit exceeded, terminating % 270.74/270.47 eprover: CPU time limit exceeded, terminating % 272.79/272.48 eprover: CPU time limit exceeded, terminating % 274.82/274.49 eprover: CPU time limit exceeded, terminating % 276.79/276.51 eprover: CPU time limit exceeded, terminating % 278.84/278.52 eprover: CPU time limit exceeded, terminating % 280.84/280.53 eprover: CPU time limit exceeded, terminating % 282.87/282.54 eprover: CPU time limit exceeded, terminating % 284.85/284.56 eprover: CPU time limit exceeded, terminating % 286.91/286.57 eprover: CPU time limit exceeded, terminating % 288.88/288.58 eprover: CPU time limit exceeded, terminating % 290.90/290.59 eprover: CPU time limit exceeded, terminating % 292.96/292.61 eprover: CPU time limit exceeded, terminating % 294.91/294.62 eprover: CPU time limit exceeded, terminating % 296.96/296.63 eprover: CPU time limit exceeded, terminating % 299.03/298.64 eprover: CPU time limit exceeded, terminating % 300.05/299.64 eprover: CPU time limit exceeded, terminating % 300.05/299.65 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------