TSTP Solution File: LCL648+1.020 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL648+1.020 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n009.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 287.22s 278.50s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.02/0.07 % Problem : LCL648+1.020 : TPTP v8.1.0. Released v4.0.0.
% 0.02/0.07 % Command : run_infinox %s
% 0.06/0.25 % Computer : n009.cluster.edu
% 0.06/0.25 % Model : x86_64 x86_64
% 0.06/0.25 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.06/0.25 % Memory : 8042.1875MB
% 0.06/0.25 % OS : Linux 3.10.0-693.el7.x86_64
% 0.06/0.25 % CPULimit : 300
% 0.06/0.25 % WCLimit : 600
% 0.06/0.25 % DateTime : Sun Jul 3 03:04:22 EDT 2022
% 0.06/0.26 % CPUTime :
% 4.98/5.14 eprover: CPU time limit exceeded, terminating
% 7.09/7.15 eprover: CPU time limit exceeded, terminating
% 9.11/9.16 eprover: CPU time limit exceeded, terminating
% 11.22/11.17 eprover: CPU time limit exceeded, terminating
% 13.30/13.18 eprover: CPU time limit exceeded, terminating
% 15.33/15.19 eprover: CPU time limit exceeded, terminating
% 17.47/17.20 eprover: CPU time limit exceeded, terminating
% 19.46/19.21 eprover: CPU time limit exceeded, terminating
% 21.57/21.22 eprover: CPU time limit exceeded, terminating
% 23.71/23.23 eprover: CPU time limit exceeded, terminating
% 25.72/25.24 eprover: CPU time limit exceeded, terminating
% 27.84/27.25 eprover: CPU time limit exceeded, terminating
% 29.86/29.26 eprover: CPU time limit exceeded, terminating
% 31.97/31.27 eprover: CPU time limit exceeded, terminating
% 34.01/33.28 eprover: CPU time limit exceeded, terminating
% 36.10/35.29 eprover: CPU time limit exceeded, terminating
% 38.19/37.30 eprover: CPU time limit exceeded, terminating
% 40.29/39.31 eprover: CPU time limit exceeded, terminating
% 42.35/41.32 eprover: CPU time limit exceeded, terminating
% 44.45/43.33 eprover: CPU time limit exceeded, terminating
% 46.48/45.34 eprover: CPU time limit exceeded, terminating
% 48.60/47.35 eprover: CPU time limit exceeded, terminating
% 50.62/49.36 eprover: CPU time limit exceeded, terminating
% 52.74/51.37 eprover: CPU time limit exceeded, terminating
% 54.77/53.38 eprover: CPU time limit exceeded, terminating
% 56.86/55.38 eprover: CPU time limit exceeded, terminating
% 58.95/57.39 eprover: CPU time limit exceeded, terminating
% 60.98/59.40 eprover: CPU time limit exceeded, terminating
% 63.10/61.41 eprover: CPU time limit exceeded, terminating
% 65.20/63.43 eprover: CPU time limit exceeded, terminating
% 67.23/65.44 eprover: CPU time limit exceeded, terminating
% 69.35/67.45 eprover: CPU time limit exceeded, terminating
% 71.36/69.46 eprover: CPU time limit exceeded, terminating
% 73.48/71.47 eprover: CPU time limit exceeded, terminating
% 75.50/73.47 eprover: CPU time limit exceeded, terminating
% 77.61/75.48 eprover: CPU time limit exceeded, terminating
% 79.71/77.49 eprover: CPU time limit exceeded, terminating
% 81.81/79.50 eprover: CPU time limit exceeded, terminating
% 83.85/81.51 eprover: CPU time limit exceeded, terminating
% 85.94/83.52 eprover: CPU time limit exceeded, terminating
% 88.03/85.54 eprover: CPU time limit exceeded, terminating
% 90.04/87.55 eprover: CPU time limit exceeded, terminating
% 92.14/89.56 eprover: CPU time limit exceeded, terminating
% 94.25/91.57 eprover: CPU time limit exceeded, terminating
% 96.27/93.58 eprover: CPU time limit exceeded, terminating
% 98.39/95.59 eprover: CPU time limit exceeded, terminating
% 100.49/97.60 eprover: CPU time limit exceeded, terminating
% 102.49/99.61 eprover: CPU time limit exceeded, terminating
% 104.63/101.62 eprover: CPU time limit exceeded, terminating
% 106.71/103.63 eprover: CPU time limit exceeded, terminating
% 108.73/105.64 eprover: CPU time limit exceeded, terminating
% 110.83/107.65 eprover: CPU time limit exceeded, terminating
% 112.87/109.66 eprover: CPU time limit exceeded, terminating
% 114.95/111.67 eprover: CPU time limit exceeded, terminating
% 117.08/113.68 eprover: CPU time limit exceeded, terminating
% 119.10/115.69 eprover: CPU time limit exceeded, terminating
% 121.23/117.70 eprover: CPU time limit exceeded, terminating
% 123.28/119.71 eprover: CPU time limit exceeded, terminating
% 125.39/121.72 eprover: CPU time limit exceeded, terminating
% 127.41/123.73 eprover: CPU time limit exceeded, terminating
% 129.51/125.74 eprover: CPU time limit exceeded, terminating
% 131.60/127.75 eprover: CPU time limit exceeded, terminating
% 133.62/129.76 eprover: CPU time limit exceeded, terminating
% 135.72/131.77 eprover: CPU time limit exceeded, terminating
% 137.81/133.78 eprover: CPU time limit exceeded, terminating
% 139.84/135.79 eprover: CPU time limit exceeded, terminating
% 141.93/137.80 eprover: CPU time limit exceeded, terminating
% 143.98/139.81 eprover: CPU time limit exceeded, terminating
% 146.12/141.82 eprover: CPU time limit exceeded, terminating
% 148.18/143.83 eprover: CPU time limit exceeded, terminating
% 150.26/145.84 eprover: CPU time limit exceeded, terminating
% 152.36/147.85 eprover: CPU time limit exceeded, terminating
% 154.38/149.86 eprover: CPU time limit exceeded, terminating
% 156.47/151.87 eprover: CPU time limit exceeded, terminating
% 158.56/153.88 eprover: CPU time limit exceeded, terminating
% 160.66/155.89 eprover: CPU time limit exceeded, terminating
% 162.71/157.90 eprover: CPU time limit exceeded, terminating
% 164.73/159.91 eprover: CPU time limit exceeded, terminating
% 166.83/161.92 eprover: CPU time limit exceeded, terminating
% 168.91/163.93 eprover: CPU time limit exceeded, terminating
% 171.02/165.94 eprover: CPU time limit exceeded, terminating
% 173.07/167.95 eprover: CPU time limit exceeded, terminating
% 175.12/169.96 eprover: CPU time limit exceeded, terminating
% 177.20/171.97 eprover: CPU time limit exceeded, terminating
% 179.29/173.98 eprover: CPU time limit exceeded, terminating
% 181.40/175.99 eprover: CPU time limit exceeded, terminating
% 183.46/178.00 eprover: CPU time limit exceeded, terminating
% 185.48/180.01 eprover: CPU time limit exceeded, terminating
% 187.59/182.02 eprover: CPU time limit exceeded, terminating
% 189.63/184.03 eprover: CPU time limit exceeded, terminating
% 191.77/186.04 eprover: CPU time limit exceeded, terminating
% 193.84/188.05 eprover: CPU time limit exceeded, terminating
% 195.89/190.06 eprover: CPU time limit exceeded, terminating
% 197.99/192.07 eprover: CPU time limit exceeded, terminating
% 200.04/194.08 eprover: CPU time limit exceeded, terminating
% 202.14/196.09 eprover: CPU time limit exceeded, terminating
% 204.18/198.10 eprover: CPU time limit exceeded, terminating
% 206.29/200.11 eprover: CPU time limit exceeded, terminating
% 208.34/202.12 eprover: CPU time limit exceeded, terminating
% 210.42/204.13 eprover: CPU time limit exceeded, terminating
% 212.47/206.14 eprover: CPU time limit exceeded, terminating
% 214.60/208.15 eprover: CPU time limit exceeded, terminating
% 216.66/210.16 eprover: CPU time limit exceeded, terminating
% 218.74/212.17 eprover: CPU time limit exceeded, terminating
% 220.79/214.18 eprover: CPU time limit exceeded, terminating
% 222.84/216.19 eprover: CPU time limit exceeded, terminating
% 224.92/218.20 eprover: CPU time limit exceeded, terminating
% 227.03/220.21 eprover: CPU time limit exceeded, terminating
% 229.07/222.22 eprover: CPU time limit exceeded, terminating
% 231.17/224.23 eprover: CPU time limit exceeded, terminating
% 233.23/226.24 eprover: CPU time limit exceeded, terminating
% 235.35/228.25 eprover: CPU time limit exceeded, terminating
% 237.41/230.26 eprover: CPU time limit exceeded, terminating
% 239.48/232.27 eprover: CPU time limit exceeded, terminating
% 241.54/234.28 eprover: CPU time limit exceeded, terminating
% 243.63/236.29 eprover: CPU time limit exceeded, terminating
% 245.71/238.30 eprover: CPU time limit exceeded, terminating
% 247.74/240.31 eprover: CPU time limit exceeded, terminating
% 249.82/242.32 eprover: CPU time limit exceeded, terminating
% 251.92/244.33 eprover: CPU time limit exceeded, terminating
% 254.01/246.34 eprover: CPU time limit exceeded, terminating
% 256.07/248.35 eprover: CPU time limit exceeded, terminating
% 258.18/250.36 eprover: CPU time limit exceeded, terminating
% 260.21/252.37 eprover: CPU time limit exceeded, terminating
% 262.29/254.38 eprover: CPU time limit exceeded, terminating
% 264.39/256.39 eprover: CPU time limit exceeded, terminating
% 266.44/258.40 eprover: CPU time limit exceeded, terminating
% 268.51/260.41 eprover: CPU time limit exceeded, terminating
% 270.58/262.42 eprover: CPU time limit exceeded, terminating
% 272.69/264.43 eprover: CPU time limit exceeded, terminating
% 274.76/266.44 eprover: CPU time limit exceeded, terminating
% 276.85/268.45 eprover: CPU time limit exceeded, terminating
% 278.90/270.46 eprover: CPU time limit exceeded, terminating
% 280.98/272.47 eprover: CPU time limit exceeded, terminating
% 283.03/274.48 eprover: CPU time limit exceeded, terminating
% 285.12/276.49 eprover: CPU time limit exceeded, terminating
% 287.22/278.50 eprover: CPU time limit exceeded, terminating
% 289.25/280.51 eprover: CPU time limit exceeded, terminating
% 291.36/282.52 eprover: CPU time limit exceeded, terminating
% 293.40/284.54 eprover: CPU time limit exceeded, terminating
% 295.52/286.55 eprover: CPU time limit exceeded, terminating
% 297.59/288.56 eprover: CPU time limit exceeded, terminating
% 299.67/290.57 eprover: CPU time limit exceeded, terminating
% 300.11/290.97 eprover: CPU time limit exceeded, terminating
% 300.11/290.98 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------