%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWC300+1 : TPTP v8.1.0. Released v2.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n023.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:47:39 EDT 2022 % Result : Timeout 286.70s 286.58s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.06/0.11 % Problem : SWC300+1 : TPTP v8.1.0. Released v2.4.0. % 0.06/0.11 % Command : run_infinox %s % 0.11/0.32 % Computer : n023.cluster.edu % 0.11/0.32 % Model : x86_64 x86_64 % 0.11/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.11/0.32 % Memory : 8042.1875MB % 0.11/0.32 % OS : Linux 3.10.0-693.el7.x86_64 % 0.11/0.32 % CPULimit : 300 % 0.11/0.32 % WCLimit : 600 % 0.11/0.32 % DateTime : Mon Jun 13 00:40:36 EDT 2022 % 0.11/0.33 % CPUTime : % 2.28/2.47 eprover: CPU time limit exceeded, terminating % 4.29/4.48 eprover: CPU time limit exceeded, terminating % 6.28/6.50 eprover: CPU time limit exceeded, terminating % 8.31/8.53 eprover: CPU time limit exceeded, terminating % 10.33/10.54 eprover: CPU time limit exceeded, terminating % 12.32/12.55 eprover: CPU time limit exceeded, terminating % 14.39/14.57 eprover: CPU time limit exceeded, terminating % 16.38/16.58 eprover: CPU time limit exceeded, terminating % 18.38/18.60 eprover: CPU time limit exceeded, terminating % 20.39/20.61 eprover: CPU time limit exceeded, terminating % 22.37/22.63 eprover: CPU time limit exceeded, terminating % 24.50/24.65 eprover: CPU time limit exceeded, terminating % 26.49/26.66 eprover: CPU time limit exceeded, terminating % 28.52/28.68 eprover: CPU time limit exceeded, terminating % 30.49/30.69 eprover: CPU time limit exceeded, terminating % 32.56/32.71 eprover: CPU time limit exceeded, terminating % 34.55/34.73 eprover: CPU time limit exceeded, terminating % 36.53/36.74 eprover: CPU time limit exceeded, terminating % 38.59/38.76 eprover: CPU time limit exceeded, terminating % 40.60/40.77 eprover: CPU time limit exceeded, terminating % 42.59/42.78 eprover: CPU time limit exceeded, terminating % 44.65/44.79 eprover: CPU time limit exceeded, terminating % 46.67/46.81 eprover: CPU time limit exceeded, terminating % 48.68/48.82 eprover: CPU time limit exceeded, terminating % 50.69/50.84 eprover: CPU time limit exceeded, terminating % 52.72/52.85 eprover: CPU time limit exceeded, terminating % 54.70/54.90 eprover: CPU time limit exceeded, terminating % 56.76/56.91 eprover: CPU time limit exceeded, terminating % 58.74/58.93 eprover: CPU time limit exceeded, terminating % 60.78/60.94 eprover: CPU time limit exceeded, terminating % 62.75/62.96 eprover: CPU time limit exceeded, terminating % 64.81/64.98 eprover: CPU time limit exceeded, terminating % 66.77/66.99 eprover: CPU time limit exceeded, terminating % 68.80/69.00 eprover: CPU time limit exceeded, terminating % 70.87/71.02 eprover: CPU time limit exceeded, terminating % 72.89/73.03 eprover: CPU time limit exceeded, terminating % 74.85/75.05 eprover: CPU time limit exceeded, terminating % 76.95/77.08 eprover: CPU time limit exceeded, terminating % 78.87/79.10 eprover: CPU time limit exceeded, terminating % 80.97/81.12 eprover: CPU time limit exceeded, terminating % 82.96/83.13 eprover: CPU time limit exceeded, terminating % 84.95/85.16 eprover: CPU time limit exceeded, terminating % 86.99/87.17 eprover: CPU time limit exceeded, terminating % 88.94/89.18 eprover: CPU time limit exceeded, terminating % 90.98/91.19 eprover: CPU time limit exceeded, terminating % 93.05/93.21 eprover: CPU time limit exceeded, terminating % 95.07/95.23 eprover: CPU time limit exceeded, terminating % 97.08/97.25 eprover: CPU time limit exceeded, terminating % 99.06/99.26 eprover: CPU time limit exceeded, terminating % 101.07/101.28 eprover: CPU time limit exceeded, terminating % 103.16/103.29 eprover: CPU time limit exceeded, terminating % 105.17/105.30 eprover: CPU time limit exceeded, terminating % 107.16/107.32 eprover: CPU time limit exceeded, terminating % 109.19/109.33 eprover: CPU time limit exceeded, terminating % 111.21/111.35 eprover: CPU time limit exceeded, terminating % 113.19/113.36 eprover: CPU time limit exceeded, terminating % 115.19/115.38 eprover: CPU time limit exceeded, terminating % 117.20/117.40 eprover: CPU time limit exceeded, terminating % 119.29/119.41 eprover: CPU time limit exceeded, terminating % 121.29/121.42 eprover: CPU time limit exceeded, terminating % 123.28/123.44 eprover: CPU time limit exceeded, terminating % 125.25/125.46 eprover: CPU time limit exceeded, terminating % 127.29/127.47 eprover: CPU time limit exceeded, terminating % 129.38/129.48 eprover: CPU time limit exceeded, terminating % 131.39/131.51 eprover: CPU time limit exceeded, terminating % 133.39/133.53 eprover: CPU time limit exceeded, terminating % 135.39/135.54 eprover: CPU time limit exceeded, terminating % 137.41/137.56 eprover: CPU time limit exceeded, terminating % 139.46/139.57 eprover: CPU time limit exceeded, terminating % 141.41/141.59 eprover: CPU time limit exceeded, terminating % 143.46/143.60 eprover: CPU time limit exceeded, terminating % 145.50/145.62 eprover: CPU time limit exceeded, terminating % 147.49/147.65 eprover: CPU time limit exceeded, terminating % 149.50/149.67 eprover: CPU time limit exceeded, terminating % 151.57/151.68 eprover: CPU time limit exceeded, terminating % 153.52/153.70 eprover: CPU time limit exceeded, terminating % 155.51/155.71 eprover: CPU time limit exceeded, terminating % 157.59/157.72 eprover: CPU time limit exceeded, terminating % 159.62/159.73 eprover: CPU time limit exceeded, terminating % 161.62/161.75 eprover: CPU time limit exceeded, terminating % 163.60/163.76 eprover: CPU time limit exceeded, terminating % 165.61/165.77 eprover: CPU time limit exceeded, terminating % 167.62/167.78 eprover: CPU time limit exceeded, terminating % 169.70/169.80 eprover: CPU time limit exceeded, terminating % 171.70/171.81 eprover: CPU time limit exceeded, terminating % 173.70/173.82 eprover: CPU time limit exceeded, terminating % 175.72/175.84 eprover: CPU time limit exceeded, terminating % 177.73/177.85 eprover: CPU time limit exceeded, terminating % 179.76/179.86 eprover: CPU time limit exceeded, terminating % 181.81/181.88 eprover: CPU time limit exceeded, terminating % 183.79/183.89 eprover: CPU time limit exceeded, terminating % 185.81/185.91 eprover: CPU time limit exceeded, terminating % 187.84/187.92 eprover: CPU time limit exceeded, terminating % 189.84/189.94 eprover: CPU time limit exceeded, terminating % 191.81/191.95 eprover: CPU time limit exceeded, terminating % 193.82/193.96 eprover: CPU time limit exceeded, terminating % 195.92/195.98 eprover: CPU time limit exceeded, terminating % 197.89/197.99 eprover: CPU time limit exceeded, terminating % 199.96/200.00 eprover: CPU time limit exceeded, terminating % 201.93/202.02 eprover: CPU time limit exceeded, terminating % 203.98/204.03 eprover: CPU time limit exceeded, terminating % 206.02/206.04 eprover: CPU time limit exceeded, terminating % 208.05/208.05 eprover: CPU time limit exceeded, terminating % 210.02/210.07 eprover: CPU time limit exceeded, terminating % 212.06/212.08 eprover: CPU time limit exceeded, terminating % 214.04/214.09 eprover: CPU time limit exceeded, terminating % 216.08/216.10 eprover: CPU time limit exceeded, terminating % 218.06/218.12 eprover: CPU time limit exceeded, terminating % 220.14/220.13 eprover: CPU time limit exceeded, terminating % 222.14/222.15 eprover: CPU time limit exceeded, terminating % 224.12/224.16 eprover: CPU time limit exceeded, terminating % 226.16/226.17 eprover: CPU time limit exceeded, terminating % 228.21/228.19 eprover: CPU time limit exceeded, terminating % 230.24/230.20 eprover: CPU time limit exceeded, terminating % 232.26/232.22 eprover: CPU time limit exceeded, terminating % 234.27/234.23 eprover: CPU time limit exceeded, terminating % 236.31/236.24 eprover: CPU time limit exceeded, terminating % 238.30/238.26 eprover: CPU time limit exceeded, terminating % 240.31/240.27 eprover: CPU time limit exceeded, terminating % 242.35/242.29 eprover: CPU time limit exceeded, terminating % 244.38/244.30 eprover: CPU time limit exceeded, terminating % 246.37/246.32 eprover: CPU time limit exceeded, terminating % 248.42/248.33 eprover: CPU time limit exceeded, terminating % 250.40/250.34 eprover: CPU time limit exceeded, terminating % 252.45/252.35 eprover: CPU time limit exceeded, terminating % 254.42/254.37 eprover: CPU time limit exceeded, terminating % 256.45/256.38 eprover: CPU time limit exceeded, terminating % 258.43/258.39 eprover: CPU time limit exceeded, terminating % 260.53/260.41 eprover: CPU time limit exceeded, terminating % 262.55/262.42 eprover: CPU time limit exceeded, terminating % 264.53/264.43 eprover: CPU time limit exceeded, terminating % 266.56/266.45 eprover: CPU time limit exceeded, terminating % 268.57/268.47 eprover: CPU time limit exceeded, terminating % 270.63/270.48 eprover: CPU time limit exceeded, terminating % 272.66/272.49 eprover: CPU time limit exceeded, terminating % 274.66/274.50 eprover: CPU time limit exceeded, terminating % 276.68/276.52 eprover: CPU time limit exceeded, terminating % 278.70/278.53 eprover: CPU time limit exceeded, terminating % 280.68/280.54 eprover: CPU time limit exceeded, terminating % 282.69/282.56 eprover: CPU time limit exceeded, terminating % 284.68/284.57 eprover: CPU time limit exceeded, terminating % 286.70/286.58 eprover: CPU time limit exceeded, terminating % 288.81/288.59 eprover: CPU time limit exceeded, terminating % 290.73/290.60 eprover: CPU time limit exceeded, terminating % 292.82/292.62 eprover: CPU time limit exceeded, terminating % 294.83/294.63 eprover: CPU time limit exceeded, terminating % 296.87/296.64 eprover: CPU time limit exceeded, terminating % 298.82/298.66 eprover: CPU time limit exceeded, terminating % 300.04/299.80 eprover: CPU time limit exceeded, terminating % 300.04/299.81 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------