TSTP Solution File: LCL572+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL572+1 : TPTP v8.1.0. Released v3.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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:27 EDT 2022
% Result : Timeout 286.76s 286.55s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : LCL572+1 : TPTP v8.1.0. Released v3.3.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n029.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 : Mon Jul 4 01:51:11 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.22/2.39 eprover: CPU time limit exceeded, terminating
% 4.20/4.40 eprover: CPU time limit exceeded, terminating
% 6.25/6.42 eprover: CPU time limit exceeded, terminating
% 8.27/8.43 eprover: CPU time limit exceeded, terminating
% 10.25/10.44 eprover: CPU time limit exceeded, terminating
% 12.26/12.46 eprover: CPU time limit exceeded, terminating
% 14.27/14.47 eprover: CPU time limit exceeded, terminating
% 16.34/16.49 eprover: CPU time limit exceeded, terminating
% 18.34/18.50 eprover: CPU time limit exceeded, terminating
% 20.38/20.51 eprover: CPU time limit exceeded, terminating
% 22.40/22.53 eprover: CPU time limit exceeded, terminating
% 24.38/24.54 eprover: CPU time limit exceeded, terminating
% 26.39/26.55 eprover: CPU time limit exceeded, terminating
% 28.39/28.57 eprover: CPU time limit exceeded, terminating
% 30.46/30.58 eprover: CPU time limit exceeded, terminating
% 32.40/32.60 eprover: CPU time limit exceeded, terminating
% 34.51/34.61 eprover: CPU time limit exceeded, terminating
% 36.49/36.62 eprover: CPU time limit exceeded, terminating
% 38.46/38.65 eprover: CPU time limit exceeded, terminating
% 40.49/40.66 eprover: CPU time limit exceeded, terminating
% 42.51/42.67 eprover: CPU time limit exceeded, terminating
% 44.58/44.68 eprover: CPU time limit exceeded, terminating
% 46.60/46.70 eprover: CPU time limit exceeded, terminating
% 48.53/48.72 eprover: CPU time limit exceeded, terminating
% 50.61/50.74 eprover: CPU time limit exceeded, terminating
% 52.64/52.75 eprover: CPU time limit exceeded, terminating
% 54.60/54.76 eprover: CPU time limit exceeded, terminating
% 56.64/56.78 eprover: CPU time limit exceeded, terminating
% 58.64/58.80 eprover: CPU time limit exceeded, terminating
% 60.72/60.81 eprover: CPU time limit exceeded, terminating
% 62.75/62.82 eprover: CPU time limit exceeded, terminating
% 64.71/64.84 eprover: CPU time limit exceeded, terminating
% 66.71/66.85 eprover: CPU time limit exceeded, terminating
% 68.71/68.87 eprover: CPU time limit exceeded, terminating
% 70.75/70.88 eprover: CPU time limit exceeded, terminating
% 72.74/72.89 eprover: CPU time limit exceeded, terminating
% 74.82/74.91 eprover: CPU time limit exceeded, terminating
% 76.84/76.92 eprover: CPU time limit exceeded, terminating
% 78.83/78.94 eprover: CPU time limit exceeded, terminating
% 80.86/80.95 eprover: CPU time limit exceeded, terminating
% 82.83/82.97 eprover: CPU time limit exceeded, terminating
% 84.87/84.98 eprover: CPU time limit exceeded, terminating
% 86.86/87.00 eprover: CPU time limit exceeded, terminating
% 88.94/89.02 eprover: CPU time limit exceeded, terminating
% 90.96/91.03 eprover: CPU time limit exceeded, terminating
% 92.96/93.04 eprover: CPU time limit exceeded, terminating
% 94.98/95.06 eprover: CPU time limit exceeded, terminating
% 96.94/97.07 eprover: CPU time limit exceeded, terminating
% 99.05/99.09 eprover: CPU time limit exceeded, terminating
% 101.07/101.11 eprover: CPU time limit exceeded, terminating
% 103.09/103.12 eprover: CPU time limit exceeded, terminating
% 105.09/105.13 eprover: CPU time limit exceeded, terminating
% 107.11/107.15 eprover: CPU time limit exceeded, terminating
% 109.07/109.17 eprover: CPU time limit exceeded, terminating
% 111.14/111.19 eprover: CPU time limit exceeded, terminating
% 113.18/113.20 eprover: CPU time limit exceeded, terminating
% 115.20/115.21 eprover: CPU time limit exceeded, terminating
% 117.18/117.23 eprover: CPU time limit exceeded, terminating
% 119.17/119.26 eprover: CPU time limit exceeded, terminating
% 121.19/121.27 eprover: CPU time limit exceeded, terminating
% 123.21/123.28 eprover: CPU time limit exceeded, terminating
% 125.22/125.30 eprover: CPU time limit exceeded, terminating
% 127.30/127.31 eprover: CPU time limit exceeded, terminating
% 129.29/129.34 eprover: CPU time limit exceeded, terminating
% 131.29/131.35 eprover: CPU time limit exceeded, terminating
% 133.33/133.36 eprover: CPU time limit exceeded, terminating
% 135.32/135.38 eprover: CPU time limit exceeded, terminating
% 137.40/137.40 eprover: CPU time limit exceeded, terminating
% 139.43/139.41 eprover: CPU time limit exceeded, terminating
% 141.45/141.43 eprover: CPU time limit exceeded, terminating
% 143.42/143.44 eprover: CPU time limit exceeded, terminating
% 145.45/145.46 eprover: CPU time limit exceeded, terminating
% 147.46/147.48 eprover: CPU time limit exceeded, terminating
% 149.46/149.49 eprover: CPU time limit exceeded, terminating
% 151.55/151.51 eprover: CPU time limit exceeded, terminating
% 153.56/153.52 eprover: CPU time limit exceeded, terminating
% 155.57/155.54 eprover: CPU time limit exceeded, terminating
% 157.58/157.55 eprover: CPU time limit exceeded, terminating
% 159.63/159.57 eprover: CPU time limit exceeded, terminating
% 161.56/161.58 eprover: CPU time limit exceeded, terminating
% 163.62/163.60 eprover: CPU time limit exceeded, terminating
% 165.69/165.61 eprover: CPU time limit exceeded, terminating
% 167.71/167.63 eprover: CPU time limit exceeded, terminating
% 169.71/169.64 eprover: CPU time limit exceeded, terminating
% 171.70/171.66 eprover: CPU time limit exceeded, terminating
% 173.77/173.67 eprover: CPU time limit exceeded, terminating
% 175.71/175.69 eprover: CPU time limit exceeded, terminating
% 177.81/177.70 eprover: CPU time limit exceeded, terminating
% 179.81/179.72 eprover: CPU time limit exceeded, terminating
% 181.81/181.73 eprover: CPU time limit exceeded, terminating
% 183.83/183.75 eprover: CPU time limit exceeded, terminating
% 185.84/185.76 eprover: CPU time limit exceeded, terminating
% 187.81/187.78 eprover: CPU time limit exceeded, terminating
% 189.85/189.79 eprover: CPU time limit exceeded, terminating
% 191.86/191.81 eprover: CPU time limit exceeded, terminating
% 193.95/193.83 eprover: CPU time limit exceeded, terminating
% 195.97/195.84 eprover: CPU time limit exceeded, terminating
% 197.96/197.85 eprover: CPU time limit exceeded, terminating
% 199.94/199.87 eprover: CPU time limit exceeded, terminating
% 202.06/201.88 eprover: CPU time limit exceeded, terminating
% 203.99/203.90 eprover: CPU time limit exceeded, terminating
% 206.02/205.91 eprover: CPU time limit exceeded, terminating
% 208.09/207.94 eprover: CPU time limit exceeded, terminating
% 210.09/209.95 eprover: CPU time limit exceeded, terminating
% 212.05/211.96 eprover: CPU time limit exceeded, terminating
% 214.14/213.97 eprover: CPU time limit exceeded, terminating
% 216.14/215.99 eprover: CPU time limit exceeded, terminating
% 218.16/218.01 eprover: CPU time limit exceeded, terminating
% 220.19/220.03 eprover: CPU time limit exceeded, terminating
% 222.18/222.04 eprover: CPU time limit exceeded, terminating
% 224.22/224.05 eprover: CPU time limit exceeded, terminating
% 226.24/226.07 eprover: CPU time limit exceeded, terminating
% 228.20/228.09 eprover: CPU time limit exceeded, terminating
% 230.28/230.10 eprover: CPU time limit exceeded, terminating
% 232.29/232.12 eprover: CPU time limit exceeded, terminating
% 234.30/234.13 eprover: CPU time limit exceeded, terminating
% 236.35/236.14 eprover: CPU time limit exceeded, terminating
% 238.29/238.17 eprover: CPU time limit exceeded, terminating
% 240.36/240.18 eprover: CPU time limit exceeded, terminating
% 242.38/242.20 eprover: CPU time limit exceeded, terminating
% 244.36/244.21 eprover: CPU time limit exceeded, terminating
% 246.38/246.23 eprover: CPU time limit exceeded, terminating
% 248.40/248.25 eprover: CPU time limit exceeded, terminating
% 250.46/250.27 eprover: CPU time limit exceeded, terminating
% 252.50/252.28 eprover: CPU time limit exceeded, terminating
% 254.47/254.29 eprover: CPU time limit exceeded, terminating
% 256.51/256.31 eprover: CPU time limit exceeded, terminating
% 258.51/258.35 eprover: CPU time limit exceeded, terminating
% 260.46/260.35 eprover: CPU time limit exceeded, terminating
% 262.52/262.37 eprover: CPU time limit exceeded, terminating
% 264.60/264.38 eprover: CPU time limit exceeded, terminating
% 266.54/266.39 eprover: CPU time limit exceeded, terminating
% 268.63/268.42 eprover: CPU time limit exceeded, terminating
% 270.63/270.43 eprover: CPU time limit exceeded, terminating
% 272.65/272.44 eprover: CPU time limit exceeded, terminating
% 274.67/274.46 eprover: CPU time limit exceeded, terminating
% 276.62/276.47 eprover: CPU time limit exceeded, terminating
% 278.68/278.50 eprover: CPU time limit exceeded, terminating
% 280.70/280.51 eprover: CPU time limit exceeded, terminating
% 282.71/282.53 eprover: CPU time limit exceeded, terminating
% 284.78/284.54 eprover: CPU time limit exceeded, terminating
% 286.76/286.55 eprover: CPU time limit exceeded, terminating
% 288.79/288.58 eprover: CPU time limit exceeded, terminating
% 290.78/290.59 eprover: CPU time limit exceeded, terminating
% 292.81/292.61 eprover: CPU time limit exceeded, terminating
% 294.85/294.62 eprover: CPU time limit exceeded, terminating
% 296.88/296.63 eprover: CPU time limit exceeded, terminating
% 298.89/298.66 eprover: CPU time limit exceeded, terminating
% 300.03/299.77 eprover: CPU time limit exceeded, terminating
% 300.03/299.78 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------