TSTP Solution File: LCL476+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL476+1 : TPTP v8.1.0. Released v3.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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 : Sun Jul 17 11:11:04 EDT 2022
% Result : Timeout 286.70s 282.80s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : LCL476+1 : TPTP v8.1.0. Released v3.3.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n026.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Sun Jul 3 19:07:36 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.15/2.40 eprover: CPU time limit exceeded, terminating
% 4.21/4.42 eprover: CPU time limit exceeded, terminating
% 6.23/6.44 eprover: CPU time limit exceeded, terminating
% 8.20/8.46 eprover: CPU time limit exceeded, terminating
% 10.24/10.47 eprover: CPU time limit exceeded, terminating
% 12.30/12.48 eprover: CPU time limit exceeded, terminating
% 14.26/14.50 eprover: CPU time limit exceeded, terminating
% 16.34/16.53 eprover: CPU time limit exceeded, terminating
% 18.34/18.54 eprover: CPU time limit exceeded, terminating
% 20.32/20.56 eprover: CPU time limit exceeded, terminating
% 22.36/22.59 eprover: CPU time limit exceeded, terminating
% 24.38/24.60 eprover: CPU time limit exceeded, terminating
% 26.35/26.62 eprover: CPU time limit exceeded, terminating
% 28.41/28.63 eprover: CPU time limit exceeded, terminating
% 30.46/30.65 eprover: CPU time limit exceeded, terminating
% 32.48/32.66 eprover: CPU time limit exceeded, terminating
% 34.48/34.68 eprover: CPU time limit exceeded, terminating
% 36.53/36.70 eprover: CPU time limit exceeded, terminating
% 38.49/38.71 eprover: CPU time limit exceeded, terminating
% 40.57/40.73 eprover: CPU time limit exceeded, terminating
% 44.56/42.74 eprover: CPU time limit exceeded, terminating
% 46.50/44.75 eprover: CPU time limit exceeded, terminating
% 48.57/46.79 eprover: CPU time limit exceeded, terminating
% 50.57/48.80 eprover: CPU time limit exceeded, terminating
% 52.63/50.82 eprover: CPU time limit exceeded, terminating
% 54.60/52.83 eprover: CPU time limit exceeded, terminating
% 56.65/54.87 eprover: CPU time limit exceeded, terminating
% 58.68/56.88 eprover: CPU time limit exceeded, terminating
% 60.66/58.90 eprover: CPU time limit exceeded, terminating
% 62.74/60.91 eprover: CPU time limit exceeded, terminating
% 64.72/62.93 eprover: CPU time limit exceeded, terminating
% 66.71/64.94 eprover: CPU time limit exceeded, terminating
% 68.79/66.96 eprover: CPU time limit exceeded, terminating
% 70.79/68.97 eprover: CPU time limit exceeded, terminating
% 72.82/70.99 eprover: CPU time limit exceeded, terminating
% 74.85/73.01 eprover: CPU time limit exceeded, terminating
% 76.83/75.02 eprover: CPU time limit exceeded, terminating
% 78.86/77.04 eprover: CPU time limit exceeded, terminating
% 80.86/79.05 eprover: CPU time limit exceeded, terminating
% 82.91/81.07 eprover: CPU time limit exceeded, terminating
% 84.89/83.08 eprover: CPU time limit exceeded, terminating
% 86.89/85.10 eprover: CPU time limit exceeded, terminating
% 88.95/87.11 eprover: CPU time limit exceeded, terminating
% 90.97/89.12 eprover: CPU time limit exceeded, terminating
% 93.02/91.14 eprover: CPU time limit exceeded, terminating
% 94.92/93.16 eprover: CPU time limit exceeded, terminating
% 97.02/95.17 eprover: CPU time limit exceeded, terminating
% 99.03/97.19 eprover: CPU time limit exceeded, terminating
% 101.07/99.21 eprover: CPU time limit exceeded, terminating
% 103.10/101.23 eprover: CPU time limit exceeded, terminating
% 105.11/103.24 eprover: CPU time limit exceeded, terminating
% 107.13/105.26 eprover: CPU time limit exceeded, terminating
% 109.13/107.27 eprover: CPU time limit exceeded, terminating
% 111.15/109.29 eprover: CPU time limit exceeded, terminating
% 113.13/111.31 eprover: CPU time limit exceeded, terminating
% 115.20/113.34 eprover: CPU time limit exceeded, terminating
% 117.23/115.36 eprover: CPU time limit exceeded, terminating
% 119.21/117.37 eprover: CPU time limit exceeded, terminating
% 121.25/119.39 eprover: CPU time limit exceeded, terminating
% 123.23/121.41 eprover: CPU time limit exceeded, terminating
% 125.27/123.43 eprover: CPU time limit exceeded, terminating
% 127.27/125.45 eprover: CPU time limit exceeded, terminating
% 129.28/127.47 eprover: CPU time limit exceeded, terminating
% 131.32/129.48 eprover: CPU time limit exceeded, terminating
% 133.35/131.50 eprover: CPU time limit exceeded, terminating
% 135.31/133.52 eprover: CPU time limit exceeded, terminating
% 137.34/135.53 eprover: CPU time limit exceeded, terminating
% 139.42/137.55 eprover: CPU time limit exceeded, terminating
% 141.45/139.56 eprover: CPU time limit exceeded, terminating
% 143.42/141.58 eprover: CPU time limit exceeded, terminating
% 145.46/143.60 eprover: CPU time limit exceeded, terminating
% 147.50/145.62 eprover: CPU time limit exceeded, terminating
% 149.51/147.63 eprover: CPU time limit exceeded, terminating
% 151.54/149.65 eprover: CPU time limit exceeded, terminating
% 153.56/151.68 eprover: CPU time limit exceeded, terminating
% 155.58/153.69 eprover: CPU time limit exceeded, terminating
% 157.53/155.72 eprover: CPU time limit exceeded, terminating
% 159.63/157.74 eprover: CPU time limit exceeded, terminating
% 161.65/159.75 eprover: CPU time limit exceeded, terminating
% 163.66/161.77 eprover: CPU time limit exceeded, terminating
% 165.64/163.79 eprover: CPU time limit exceeded, terminating
% 167.68/165.82 eprover: CPU time limit exceeded, terminating
% 169.69/167.83 eprover: CPU time limit exceeded, terminating
% 171.70/169.85 eprover: CPU time limit exceeded, terminating
% 173.72/171.87 eprover: CPU time limit exceeded, terminating
% 175.76/173.88 eprover: CPU time limit exceeded, terminating
% 177.79/175.90 eprover: CPU time limit exceeded, terminating
% 179.77/177.91 eprover: CPU time limit exceeded, terminating
% 181.77/179.93 eprover: CPU time limit exceeded, terminating
% 183.83/181.95 eprover: CPU time limit exceeded, terminating
% 185.85/183.96 eprover: CPU time limit exceeded, terminating
% 187.88/185.99 eprover: CPU time limit exceeded, terminating
% 189.89/188.00 eprover: CPU time limit exceeded, terminating
% 191.92/190.02 eprover: CPU time limit exceeded, terminating
% 193.88/192.03 eprover: CPU time limit exceeded, terminating
% 195.96/194.05 eprover: CPU time limit exceeded, terminating
% 197.95/196.08 eprover: CPU time limit exceeded, terminating
% 199.97/198.09 eprover: CPU time limit exceeded, terminating
% 202.00/200.10 eprover: CPU time limit exceeded, terminating
% 203.98/202.12 eprover: CPU time limit exceeded, terminating
% 206.03/204.13 eprover: CPU time limit exceeded, terminating
% 208.09/206.16 eprover: CPU time limit exceeded, terminating
% 210.08/208.17 eprover: CPU time limit exceeded, terminating
% 212.08/210.19 eprover: CPU time limit exceeded, terminating
% 214.10/212.20 eprover: CPU time limit exceeded, terminating
% 216.11/214.22 eprover: CPU time limit exceeded, terminating
% 218.17/216.25 eprover: CPU time limit exceeded, terminating
% 220.16/218.26 eprover: CPU time limit exceeded, terminating
% 222.17/220.28 eprover: CPU time limit exceeded, terminating
% 224.21/222.29 eprover: CPU time limit exceeded, terminating
% 226.22/224.31 eprover: CPU time limit exceeded, terminating
% 228.18/226.33 eprover: CPU time limit exceeded, terminating
% 230.28/228.35 eprover: CPU time limit exceeded, terminating
% 232.27/230.36 eprover: CPU time limit exceeded, terminating
% 234.28/232.38 eprover: CPU time limit exceeded, terminating
% 236.33/234.39 eprover: CPU time limit exceeded, terminating
% 238.35/236.42 eprover: CPU time limit exceeded, terminating
% 240.38/238.43 eprover: CPU time limit exceeded, terminating
% 242.31/240.45 eprover: CPU time limit exceeded, terminating
% 244.39/242.46 eprover: CPU time limit exceeded, terminating
% 246.40/244.48 eprover: CPU time limit exceeded, terminating
% 248.44/246.50 eprover: CPU time limit exceeded, terminating
% 250.42/248.52 eprover: CPU time limit exceeded, terminating
% 252.45/250.53 eprover: CPU time limit exceeded, terminating
% 254.51/252.55 eprover: CPU time limit exceeded, terminating
% 256.47/254.56 eprover: CPU time limit exceeded, terminating
% 258.49/256.59 eprover: CPU time limit exceeded, terminating
% 260.53/258.61 eprover: CPU time limit exceeded, terminating
% 262.49/260.62 eprover: CPU time limit exceeded, terminating
% 264.52/262.63 eprover: CPU time limit exceeded, terminating
% 266.58/264.65 eprover: CPU time limit exceeded, terminating
% 268.60/266.67 eprover: CPU time limit exceeded, terminating
% 270.59/268.69 eprover: CPU time limit exceeded, terminating
% 272.66/270.70 eprover: CPU time limit exceeded, terminating
% 274.63/272.72 eprover: CPU time limit exceeded, terminating
% 276.68/274.73 eprover: CPU time limit exceeded, terminating
% 280.68/276.76 eprover: CPU time limit exceeded, terminating
% 282.67/278.77 eprover: CPU time limit exceeded, terminating
% 284.67/280.79 eprover: CPU time limit exceeded, terminating
% 286.70/282.80 eprover: CPU time limit exceeded, terminating
% 288.73/284.82 eprover: CPU time limit exceeded, terminating
% 290.75/286.84 eprover: CPU time limit exceeded, terminating
% 292.75/288.86 eprover: CPU time limit exceeded, terminating
% 294.80/290.87 eprover: CPU time limit exceeded, terminating
% 296.80/292.89 eprover: CPU time limit exceeded, terminating
% 298.79/294.90 eprover: CPU time limit exceeded, terminating
% 300.02/296.08 eprover: CPU time limit exceeded, terminating
% 300.02/296.10 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------