TSTP Solution File: LCL648+1.010 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL648+1.010 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n004.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:12:01 EDT 2022
% Result : Timeout 285.78s 284.60s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : LCL648+1.010 : TPTP v8.1.0. Released v4.0.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n004.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Sun Jul 3 13:43:08 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.53/2.75 eprover: CPU time limit exceeded, terminating
% 4.58/4.76 eprover: CPU time limit exceeded, terminating
% 6.60/6.77 eprover: CPU time limit exceeded, terminating
% 8.62/8.78 eprover: CPU time limit exceeded, terminating
% 10.64/10.80 eprover: CPU time limit exceeded, terminating
% 12.67/12.81 eprover: CPU time limit exceeded, terminating
% 14.67/14.82 eprover: CPU time limit exceeded, terminating
% 16.71/16.84 eprover: CPU time limit exceeded, terminating
% 18.76/18.85 eprover: CPU time limit exceeded, terminating
% 20.78/20.86 eprover: CPU time limit exceeded, terminating
% 22.79/22.88 eprover: CPU time limit exceeded, terminating
% 24.78/24.89 eprover: CPU time limit exceeded, terminating
% 26.86/26.90 eprover: CPU time limit exceeded, terminating
% 28.82/28.91 eprover: CPU time limit exceeded, terminating
% 30.89/30.93 eprover: CPU time limit exceeded, terminating
% 32.91/32.94 eprover: CPU time limit exceeded, terminating
% 34.87/34.95 eprover: CPU time limit exceeded, terminating
% 36.98/36.97 eprover: CPU time limit exceeded, terminating
% 39.00/38.98 eprover: CPU time limit exceeded, terminating
% 40.99/40.99 eprover: CPU time limit exceeded, terminating
% 43.03/43.01 eprover: CPU time limit exceeded, terminating
% 45.07/45.02 eprover: CPU time limit exceeded, terminating
% 47.05/47.03 eprover: CPU time limit exceeded, terminating
% 49.10/49.05 eprover: CPU time limit exceeded, terminating
% 51.14/51.06 eprover: CPU time limit exceeded, terminating
% 53.17/53.07 eprover: CPU time limit exceeded, terminating
% 55.13/55.08 eprover: CPU time limit exceeded, terminating
% 57.17/57.10 eprover: CPU time limit exceeded, terminating
% 59.22/59.11 eprover: CPU time limit exceeded, terminating
% 61.25/61.13 eprover: CPU time limit exceeded, terminating
% 63.27/63.14 eprover: CPU time limit exceeded, terminating
% 65.27/65.15 eprover: CPU time limit exceeded, terminating
% 67.35/67.17 eprover: CPU time limit exceeded, terminating
% 69.32/69.18 eprover: CPU time limit exceeded, terminating
% 71.38/71.19 eprover: CPU time limit exceeded, terminating
% 73.39/73.21 eprover: CPU time limit exceeded, terminating
% 75.43/75.22 eprover: CPU time limit exceeded, terminating
% 77.42/77.23 eprover: CPU time limit exceeded, terminating
% 79.46/79.25 eprover: CPU time limit exceeded, terminating
% 81.49/81.26 eprover: CPU time limit exceeded, terminating
% 83.45/83.27 eprover: CPU time limit exceeded, terminating
% 85.56/85.29 eprover: CPU time limit exceeded, terminating
% 87.59/87.30 eprover: CPU time limit exceeded, terminating
% 89.60/89.31 eprover: CPU time limit exceeded, terminating
% 91.60/91.33 eprover: CPU time limit exceeded, terminating
% 93.58/93.34 eprover: CPU time limit exceeded, terminating
% 95.65/95.35 eprover: CPU time limit exceeded, terminating
% 97.66/97.36 eprover: CPU time limit exceeded, terminating
% 99.66/99.38 eprover: CPU time limit exceeded, terminating
% 101.75/101.39 eprover: CPU time limit exceeded, terminating
% 103.78/103.40 eprover: CPU time limit exceeded, terminating
% 105.80/105.41 eprover: CPU time limit exceeded, terminating
% 107.79/107.43 eprover: CPU time limit exceeded, terminating
% 109.82/109.44 eprover: CPU time limit exceeded, terminating
% 111.80/111.45 eprover: CPU time limit exceeded, terminating
% 113.83/113.47 eprover: CPU time limit exceeded, terminating
% 115.88/115.48 eprover: CPU time limit exceeded, terminating
% 117.87/117.49 eprover: CPU time limit exceeded, terminating
% 119.95/119.51 eprover: CPU time limit exceeded, terminating
% 121.98/121.52 eprover: CPU time limit exceeded, terminating
% 124.00/123.53 eprover: CPU time limit exceeded, terminating
% 125.99/125.55 eprover: CPU time limit exceeded, terminating
% 128.02/127.56 eprover: CPU time limit exceeded, terminating
% 130.07/129.57 eprover: CPU time limit exceeded, terminating
% 132.03/131.59 eprover: CPU time limit exceeded, terminating
% 134.13/133.60 eprover: CPU time limit exceeded, terminating
% 136.15/135.61 eprover: CPU time limit exceeded, terminating
% 138.17/137.62 eprover: CPU time limit exceeded, terminating
% 140.17/139.64 eprover: CPU time limit exceeded, terminating
% 142.20/141.65 eprover: CPU time limit exceeded, terminating
% 144.23/143.66 eprover: CPU time limit exceeded, terminating
% 146.22/145.68 eprover: CPU time limit exceeded, terminating
% 148.29/147.69 eprover: CPU time limit exceeded, terminating
% 150.24/149.70 eprover: CPU time limit exceeded, terminating
% 152.34/151.71 eprover: CPU time limit exceeded, terminating
% 154.36/153.73 eprover: CPU time limit exceeded, terminating
% 156.37/155.74 eprover: CPU time limit exceeded, terminating
% 158.39/157.75 eprover: CPU time limit exceeded, terminating
% 160.41/159.77 eprover: CPU time limit exceeded, terminating
% 162.38/161.78 eprover: CPU time limit exceeded, terminating
% 164.41/163.79 eprover: CPU time limit exceeded, terminating
% 166.44/165.81 eprover: CPU time limit exceeded, terminating
% 168.54/167.82 eprover: CPU time limit exceeded, terminating
% 170.52/169.84 eprover: CPU time limit exceeded, terminating
% 172.55/171.85 eprover: CPU time limit exceeded, terminating
% 174.57/173.86 eprover: CPU time limit exceeded, terminating
% 176.63/175.89 eprover: CPU time limit exceeded, terminating
% 178.59/177.90 eprover: CPU time limit exceeded, terminating
% 180.68/179.91 eprover: CPU time limit exceeded, terminating
% 182.69/181.93 eprover: CPU time limit exceeded, terminating
% 184.72/183.94 eprover: CPU time limit exceeded, terminating
% 186.69/185.96 eprover: CPU time limit exceeded, terminating
% 188.70/187.97 eprover: CPU time limit exceeded, terminating
% 190.72/189.98 eprover: CPU time limit exceeded, terminating
% 192.82/191.99 eprover: CPU time limit exceeded, terminating
% 194.75/194.00 eprover: CPU time limit exceeded, terminating
% 196.86/196.02 eprover: CPU time limit exceeded, terminating
% 198.82/198.03 eprover: CPU time limit exceeded, terminating
% 200.89/200.05 eprover: CPU time limit exceeded, terminating
% 202.88/202.06 eprover: CPU time limit exceeded, terminating
% 204.89/204.07 eprover: CPU time limit exceeded, terminating
% 206.97/206.09 eprover: CPU time limit exceeded, terminating
% 208.90/208.10 eprover: CPU time limit exceeded, terminating
% 211.01/210.12 eprover: CPU time limit exceeded, terminating
% 213.02/212.13 eprover: CPU time limit exceeded, terminating
% 214.99/214.14 eprover: CPU time limit exceeded, terminating
% 217.04/216.16 eprover: CPU time limit exceeded, terminating
% 219.01/218.17 eprover: CPU time limit exceeded, terminating
% 221.04/220.18 eprover: CPU time limit exceeded, terminating
% 223.14/222.20 eprover: CPU time limit exceeded, terminating
% 225.07/224.21 eprover: CPU time limit exceeded, terminating
% 227.17/226.23 eprover: CPU time limit exceeded, terminating
% 229.18/228.24 eprover: CPU time limit exceeded, terminating
% 231.19/230.25 eprover: CPU time limit exceeded, terminating
% 233.23/232.27 eprover: CPU time limit exceeded, terminating
% 235.27/234.28 eprover: CPU time limit exceeded, terminating
% 237.24/236.30 eprover: CPU time limit exceeded, terminating
% 239.32/238.31 eprover: CPU time limit exceeded, terminating
% 241.34/240.33 eprover: CPU time limit exceeded, terminating
% 243.35/242.34 eprover: CPU time limit exceeded, terminating
% 245.34/244.35 eprover: CPU time limit exceeded, terminating
% 247.39/246.36 eprover: CPU time limit exceeded, terminating
% 249.35/248.38 eprover: CPU time limit exceeded, terminating
% 251.41/250.39 eprover: CPU time limit exceeded, terminating
% 253.49/252.40 eprover: CPU time limit exceeded, terminating
% 255.50/254.41 eprover: CPU time limit exceeded, terminating
% 257.53/256.43 eprover: CPU time limit exceeded, terminating
% 259.55/258.44 eprover: CPU time limit exceeded, terminating
% 261.52/260.45 eprover: CPU time limit exceeded, terminating
% 263.56/262.46 eprover: CPU time limit exceeded, terminating
% 265.63/264.48 eprover: CPU time limit exceeded, terminating
% 267.58/266.49 eprover: CPU time limit exceeded, terminating
% 269.61/268.50 eprover: CPU time limit exceeded, terminating
% 271.68/270.52 eprover: CPU time limit exceeded, terminating
% 273.72/272.53 eprover: CPU time limit exceeded, terminating
% 275.70/274.54 eprover: CPU time limit exceeded, terminating
% 277.72/276.55 eprover: CPU time limit exceeded, terminating
% 279.74/278.57 eprover: CPU time limit exceeded, terminating
% 281.75/280.58 eprover: CPU time limit exceeded, terminating
% 283.78/282.59 eprover: CPU time limit exceeded, terminating
% 285.78/284.60 eprover: CPU time limit exceeded, terminating
% 287.86/286.62 eprover: CPU time limit exceeded, terminating
% 289.87/288.63 eprover: CPU time limit exceeded, terminating
% 291.91/290.64 eprover: CPU time limit exceeded, terminating
% 293.94/292.66 eprover: CPU time limit exceeded, terminating
% 295.98/294.67 eprover: CPU time limit exceeded, terminating
% 297.96/296.68 eprover: CPU time limit exceeded, terminating
% 300.02/298.69 eprover: CPU time limit exceeded, terminating
% 300.02/298.71 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------