TSTP Solution File: LCL543+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL543+1 : TPTP v8.1.0. Released v3.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n011.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:20 EDT 2022
% Result : Timeout 286.67s 286.87s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : LCL543+1 : TPTP v8.1.0. Released v3.3.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n011.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:06:36 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.24/2.44 eprover: CPU time limit exceeded, terminating
% 4.28/4.45 eprover: CPU time limit exceeded, terminating
% 6.24/6.47 eprover: CPU time limit exceeded, terminating
% 8.31/8.48 eprover: CPU time limit exceeded, terminating
% 10.34/10.49 eprover: CPU time limit exceeded, terminating
% 12.35/12.50 eprover: CPU time limit exceeded, terminating
% 14.37/14.51 eprover: CPU time limit exceeded, terminating
% 16.37/16.53 eprover: CPU time limit exceeded, terminating
% 18.37/18.54 eprover: CPU time limit exceeded, terminating
% 20.37/20.55 eprover: CPU time limit exceeded, terminating
% 22.36/22.56 eprover: CPU time limit exceeded, terminating
% 24.37/24.58 eprover: CPU time limit exceeded, terminating
% 26.41/26.59 eprover: CPU time limit exceeded, terminating
% 28.41/28.60 eprover: CPU time limit exceeded, terminating
% 30.50/30.62 eprover: CPU time limit exceeded, terminating
% 32.51/32.63 eprover: CPU time limit exceeded, terminating
% 34.53/34.64 eprover: CPU time limit exceeded, terminating
% 36.57/36.68 eprover: CPU time limit exceeded, terminating
% 38.52/38.70 eprover: CPU time limit exceeded, terminating
% 40.55/40.72 eprover: CPU time limit exceeded, terminating
% 42.58/42.74 eprover: CPU time limit exceeded, terminating
% 44.63/44.76 eprover: CPU time limit exceeded, terminating
% 46.57/46.77 eprover: CPU time limit exceeded, terminating
% 48.66/48.81 eprover: CPU time limit exceeded, terminating
% 50.65/50.82 eprover: CPU time limit exceeded, terminating
% 52.68/52.84 eprover: CPU time limit exceeded, terminating
% 54.65/54.85 eprover: CPU time limit exceeded, terminating
% 56.67/56.86 eprover: CPU time limit exceeded, terminating
% 58.75/58.88 eprover: CPU time limit exceeded, terminating
% 60.75/60.90 eprover: CPU time limit exceeded, terminating
% 62.75/62.91 eprover: CPU time limit exceeded, terminating
% 64.77/64.93 eprover: CPU time limit exceeded, terminating
% 66.80/66.95 eprover: CPU time limit exceeded, terminating
% 68.73/68.96 eprover: CPU time limit exceeded, terminating
% 70.81/70.97 eprover: CPU time limit exceeded, terminating
% 72.81/72.98 eprover: CPU time limit exceeded, terminating
% 74.81/75.01 eprover: CPU time limit exceeded, terminating
% 76.87/77.02 eprover: CPU time limit exceeded, terminating
% 78.87/79.04 eprover: CPU time limit exceeded, terminating
% 80.92/81.05 eprover: CPU time limit exceeded, terminating
% 82.89/83.07 eprover: CPU time limit exceeded, terminating
% 84.91/85.08 eprover: CPU time limit exceeded, terminating
% 86.95/87.10 eprover: CPU time limit exceeded, terminating
% 89.00/89.12 eprover: CPU time limit exceeded, terminating
% 91.02/91.13 eprover: CPU time limit exceeded, terminating
% 92.97/93.16 eprover: CPU time limit exceeded, terminating
% 94.99/95.19 eprover: CPU time limit exceeded, terminating
% 97.06/97.21 eprover: CPU time limit exceeded, terminating
% 99.04/99.23 eprover: CPU time limit exceeded, terminating
% 101.07/101.25 eprover: CPU time limit exceeded, terminating
% 103.08/103.26 eprover: CPU time limit exceeded, terminating
% 105.16/105.27 eprover: CPU time limit exceeded, terminating
% 107.08/107.28 eprover: CPU time limit exceeded, terminating
% 109.12/109.30 eprover: CPU time limit exceeded, terminating
% 111.18/111.32 eprover: CPU time limit exceeded, terminating
% 113.20/113.33 eprover: CPU time limit exceeded, terminating
% 115.16/115.35 eprover: CPU time limit exceeded, terminating
% 117.23/117.36 eprover: CPU time limit exceeded, terminating
% 119.16/119.38 eprover: CPU time limit exceeded, terminating
% 121.27/121.39 eprover: CPU time limit exceeded, terminating
% 123.29/123.42 eprover: CPU time limit exceeded, terminating
% 125.27/125.43 eprover: CPU time limit exceeded, terminating
% 127.28/127.49 eprover: CPU time limit exceeded, terminating
% 129.30/129.51 eprover: CPU time limit exceeded, terminating
% 131.29/131.53 eprover: CPU time limit exceeded, terminating
% 133.32/133.54 eprover: CPU time limit exceeded, terminating
% 135.35/135.56 eprover: CPU time limit exceeded, terminating
% 137.39/137.58 eprover: CPU time limit exceeded, terminating
% 139.42/139.60 eprover: CPU time limit exceeded, terminating
% 141.37/141.62 eprover: CPU time limit exceeded, terminating
% 143.44/143.63 eprover: CPU time limit exceeded, terminating
% 145.48/145.65 eprover: CPU time limit exceeded, terminating
% 147.49/147.67 eprover: CPU time limit exceeded, terminating
% 149.45/149.69 eprover: CPU time limit exceeded, terminating
% 151.51/151.72 eprover: CPU time limit exceeded, terminating
% 153.52/153.74 eprover: CPU time limit exceeded, terminating
% 155.54/155.75 eprover: CPU time limit exceeded, terminating
% 157.58/157.77 eprover: CPU time limit exceeded, terminating
% 159.61/159.78 eprover: CPU time limit exceeded, terminating
% 161.60/161.81 eprover: CPU time limit exceeded, terminating
% 163.58/163.82 eprover: CPU time limit exceeded, terminating
% 165.60/165.83 eprover: CPU time limit exceeded, terminating
% 167.64/167.84 eprover: CPU time limit exceeded, terminating
% 169.67/169.86 eprover: CPU time limit exceeded, terminating
% 171.69/171.88 eprover: CPU time limit exceeded, terminating
% 173.67/173.89 eprover: CPU time limit exceeded, terminating
% 175.70/175.91 eprover: CPU time limit exceeded, terminating
% 177.76/177.92 eprover: CPU time limit exceeded, terminating
% 179.72/179.93 eprover: CPU time limit exceeded, terminating
% 181.80/181.96 eprover: CPU time limit exceeded, terminating
% 183.82/183.97 eprover: CPU time limit exceeded, terminating
% 185.82/185.98 eprover: CPU time limit exceeded, terminating
% 187.85/187.99 eprover: CPU time limit exceeded, terminating
% 189.82/190.01 eprover: CPU time limit exceeded, terminating
% 191.83/192.02 eprover: CPU time limit exceeded, terminating
% 193.88/194.03 eprover: CPU time limit exceeded, terminating
% 195.90/196.05 eprover: CPU time limit exceeded, terminating
% 197.94/198.07 eprover: CPU time limit exceeded, terminating
% 199.94/200.09 eprover: CPU time limit exceeded, terminating
% 201.94/202.10 eprover: CPU time limit exceeded, terminating
% 204.01/204.12 eprover: CPU time limit exceeded, terminating
% 206.01/206.14 eprover: CPU time limit exceeded, terminating
% 208.03/208.16 eprover: CPU time limit exceeded, terminating
% 210.05/210.18 eprover: CPU time limit exceeded, terminating
% 212.06/212.20 eprover: CPU time limit exceeded, terminating
% 214.04/214.21 eprover: CPU time limit exceeded, terminating
% 216.10/216.25 eprover: CPU time limit exceeded, terminating
% 218.14/218.27 eprover: CPU time limit exceeded, terminating
% 220.11/220.29 eprover: CPU time limit exceeded, terminating
% 222.17/222.30 eprover: CPU time limit exceeded, terminating
% 224.17/224.31 eprover: CPU time limit exceeded, terminating
% 226.14/226.33 eprover: CPU time limit exceeded, terminating
% 228.20/228.34 eprover: CPU time limit exceeded, terminating
% 230.17/230.36 eprover: CPU time limit exceeded, terminating
% 232.20/232.38 eprover: CPU time limit exceeded, terminating
% 234.25/234.40 eprover: CPU time limit exceeded, terminating
% 236.30/236.42 eprover: CPU time limit exceeded, terminating
% 238.31/238.44 eprover: CPU time limit exceeded, terminating
% 240.29/240.46 eprover: CPU time limit exceeded, terminating
% 242.29/242.47 eprover: CPU time limit exceeded, terminating
% 244.35/244.50 eprover: CPU time limit exceeded, terminating
% 246.37/246.52 eprover: CPU time limit exceeded, terminating
% 248.38/248.53 eprover: CPU time limit exceeded, terminating
% 250.39/250.55 eprover: CPU time limit exceeded, terminating
% 252.40/252.56 eprover: CPU time limit exceeded, terminating
% 254.37/254.58 eprover: CPU time limit exceeded, terminating
% 256.44/256.62 eprover: CPU time limit exceeded, terminating
% 258.49/258.64 eprover: CPU time limit exceeded, terminating
% 260.46/260.65 eprover: CPU time limit exceeded, terminating
% 262.48/262.67 eprover: CPU time limit exceeded, terminating
% 264.53/264.69 eprover: CPU time limit exceeded, terminating
% 266.54/266.71 eprover: CPU time limit exceeded, terminating
% 268.52/268.72 eprover: CPU time limit exceeded, terminating
% 270.57/270.74 eprover: CPU time limit exceeded, terminating
% 272.58/272.76 eprover: CPU time limit exceeded, terminating
% 274.62/274.78 eprover: CPU time limit exceeded, terminating
% 276.57/276.79 eprover: CPU time limit exceeded, terminating
% 278.65/278.80 eprover: CPU time limit exceeded, terminating
% 280.67/280.82 eprover: CPU time limit exceeded, terminating
% 282.65/282.84 eprover: CPU time limit exceeded, terminating
% 284.70/284.85 eprover: CPU time limit exceeded, terminating
% 286.67/286.87 eprover: CPU time limit exceeded, terminating
% 288.70/288.88 eprover: CPU time limit exceeded, terminating
% 290.76/290.90 eprover: CPU time limit exceeded, terminating
% 292.78/292.93 eprover: CPU time limit exceeded, terminating
% 294.78/294.95 eprover: CPU time limit exceeded, terminating
% 296.79/296.96 eprover: CPU time limit exceeded, terminating
% 298.85/298.98 eprover: CPU time limit exceeded, terminating
% 300.08/300.21 eprover: CPU time limit exceeded, terminating
% 300.08/300.23 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------