TSTP Solution File: SWC300+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% 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)
%------------------------------------------------------------------------------