TSTP Solution File: LCL667+1.020 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL667+1.020 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n012.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:25 EDT 2022
% Result : Timeout 287.22s 278.86s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : LCL667+1.020 : TPTP v8.1.0. Released v4.0.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n012.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 16:15:46 EDT 2022
% 0.12/0.33 % CPUTime :
% 5.10/5.23 eprover: CPU time limit exceeded, terminating
% 7.14/7.24 eprover: CPU time limit exceeded, terminating
% 9.24/9.25 eprover: CPU time limit exceeded, terminating
% 11.28/11.26 eprover: CPU time limit exceeded, terminating
% 13.36/13.27 eprover: CPU time limit exceeded, terminating
% 15.47/15.28 eprover: CPU time limit exceeded, terminating
% 17.49/17.29 eprover: CPU time limit exceeded, terminating
% 19.64/19.30 eprover: CPU time limit exceeded, terminating
% 21.62/21.31 eprover: CPU time limit exceeded, terminating
% 23.80/23.32 eprover: CPU time limit exceeded, terminating
% 25.86/25.33 eprover: CPU time limit exceeded, terminating
% 27.89/27.34 eprover: CPU time limit exceeded, terminating
% 29.96/29.35 eprover: CPU time limit exceeded, terminating
% 32.03/31.36 eprover: CPU time limit exceeded, terminating
% 34.12/33.37 eprover: CPU time limit exceeded, terminating
% 36.24/35.38 eprover: CPU time limit exceeded, terminating
% 38.26/37.39 eprover: CPU time limit exceeded, terminating
% 40.39/39.40 eprover: CPU time limit exceeded, terminating
% 42.46/41.41 eprover: CPU time limit exceeded, terminating
% 44.53/43.42 eprover: CPU time limit exceeded, terminating
% 46.61/45.43 eprover: CPU time limit exceeded, terminating
% 48.67/47.44 eprover: CPU time limit exceeded, terminating
% 50.77/49.45 eprover: CPU time limit exceeded, terminating
% 52.80/51.46 eprover: CPU time limit exceeded, terminating
% 54.88/53.47 eprover: CPU time limit exceeded, terminating
% 56.96/55.48 eprover: CPU time limit exceeded, terminating
% 59.08/57.49 eprover: CPU time limit exceeded, terminating
% 61.14/59.50 eprover: CPU time limit exceeded, terminating
% 63.22/61.51 eprover: CPU time limit exceeded, terminating
% 65.28/63.52 eprover: CPU time limit exceeded, terminating
% 67.37/65.53 eprover: CPU time limit exceeded, terminating
% 69.39/67.54 eprover: CPU time limit exceeded, terminating
% 71.51/69.55 eprover: CPU time limit exceeded, terminating
% 73.55/71.56 eprover: CPU time limit exceeded, terminating
% 75.65/73.57 eprover: CPU time limit exceeded, terminating
% 77.72/75.58 eprover: CPU time limit exceeded, terminating
% 79.82/77.59 eprover: CPU time limit exceeded, terminating
% 81.90/79.60 eprover: CPU time limit exceeded, terminating
% 84.01/81.61 eprover: CPU time limit exceeded, terminating
% 85.96/83.62 eprover: CPU time limit exceeded, terminating
% 88.09/85.63 eprover: CPU time limit exceeded, terminating
% 90.21/87.64 eprover: CPU time limit exceeded, terminating
% 92.29/89.65 eprover: CPU time limit exceeded, terminating
% 94.34/91.66 eprover: CPU time limit exceeded, terminating
% 96.40/93.68 eprover: CPU time limit exceeded, terminating
% 98.51/95.69 eprover: CPU time limit exceeded, terminating
% 100.52/97.70 eprover: CPU time limit exceeded, terminating
% 102.67/99.70 eprover: CPU time limit exceeded, terminating
% 104.74/101.71 eprover: CPU time limit exceeded, terminating
% 106.81/103.72 eprover: CPU time limit exceeded, terminating
% 108.84/105.73 eprover: CPU time limit exceeded, terminating
% 110.91/107.74 eprover: CPU time limit exceeded, terminating
% 113.01/109.75 eprover: CPU time limit exceeded, terminating
% 115.06/111.76 eprover: CPU time limit exceeded, terminating
% 117.16/113.77 eprover: CPU time limit exceeded, terminating
% 119.20/115.79 eprover: CPU time limit exceeded, terminating
% 121.29/117.80 eprover: CPU time limit exceeded, terminating
% 123.41/119.81 eprover: CPU time limit exceeded, terminating
% 125.49/121.82 eprover: CPU time limit exceeded, terminating
% 127.55/123.83 eprover: CPU time limit exceeded, terminating
% 129.57/125.84 eprover: CPU time limit exceeded, terminating
% 131.63/127.85 eprover: CPU time limit exceeded, terminating
% 133.73/129.86 eprover: CPU time limit exceeded, terminating
% 135.82/131.87 eprover: CPU time limit exceeded, terminating
% 137.86/133.88 eprover: CPU time limit exceeded, terminating
% 140.01/135.89 eprover: CPU time limit exceeded, terminating
% 142.08/137.90 eprover: CPU time limit exceeded, terminating
% 144.13/139.91 eprover: CPU time limit exceeded, terminating
% 146.19/141.92 eprover: CPU time limit exceeded, terminating
% 148.30/143.93 eprover: CPU time limit exceeded, terminating
% 150.37/145.94 eprover: CPU time limit exceeded, terminating
% 152.43/147.95 eprover: CPU time limit exceeded, terminating
% 154.48/149.96 eprover: CPU time limit exceeded, terminating
% 156.59/151.97 eprover: CPU time limit exceeded, terminating
% 158.58/153.98 eprover: CPU time limit exceeded, terminating
% 160.74/155.99 eprover: CPU time limit exceeded, terminating
% 162.82/158.00 eprover: CPU time limit exceeded, terminating
% 164.90/160.01 eprover: CPU time limit exceeded, terminating
% 166.95/162.02 eprover: CPU time limit exceeded, terminating
% 169.02/164.03 eprover: CPU time limit exceeded, terminating
% 171.10/166.04 eprover: CPU time limit exceeded, terminating
% 173.13/168.05 eprover: CPU time limit exceeded, terminating
% 175.23/170.06 eprover: CPU time limit exceeded, terminating
% 177.36/172.07 eprover: CPU time limit exceeded, terminating
% 179.35/174.08 eprover: CPU time limit exceeded, terminating
% 181.49/176.09 eprover: CPU time limit exceeded, terminating
% 183.57/178.10 eprover: CPU time limit exceeded, terminating
% 185.61/180.13 eprover: CPU time limit exceeded, terminating
% 187.71/182.15 eprover: CPU time limit exceeded, terminating
% 189.74/184.16 eprover: CPU time limit exceeded, terminating
% 191.82/186.18 eprover: CPU time limit exceeded, terminating
% 193.88/188.19 eprover: CPU time limit exceeded, terminating
% 196.02/190.20 eprover: CPU time limit exceeded, terminating
% 198.08/192.21 eprover: CPU time limit exceeded, terminating
% 200.13/194.23 eprover: CPU time limit exceeded, terminating
% 202.23/196.24 eprover: CPU time limit exceeded, terminating
% 204.25/198.25 eprover: CPU time limit exceeded, terminating
% 206.34/200.26 eprover: CPU time limit exceeded, terminating
% 208.39/202.27 eprover: CPU time limit exceeded, terminating
% 210.47/204.29 eprover: CPU time limit exceeded, terminating
% 212.60/206.30 eprover: CPU time limit exceeded, terminating
% 214.68/208.32 eprover: CPU time limit exceeded, terminating
% 216.73/210.34 eprover: CPU time limit exceeded, terminating
% 218.76/212.35 eprover: CPU time limit exceeded, terminating
% 220.84/214.36 eprover: CPU time limit exceeded, terminating
% 222.89/216.37 eprover: CPU time limit exceeded, terminating
% 224.98/218.39 eprover: CPU time limit exceeded, terminating
% 227.14/220.40 eprover: CPU time limit exceeded, terminating
% 229.21/222.41 eprover: CPU time limit exceeded, terminating
% 231.25/224.43 eprover: CPU time limit exceeded, terminating
% 233.28/226.44 eprover: CPU time limit exceeded, terminating
% 235.37/228.46 eprover: CPU time limit exceeded, terminating
% 237.49/230.48 eprover: CPU time limit exceeded, terminating
% 239.49/232.49 eprover: CPU time limit exceeded, terminating
% 241.63/234.53 eprover: CPU time limit exceeded, terminating
% 243.66/236.54 eprover: CPU time limit exceeded, terminating
% 245.74/238.56 eprover: CPU time limit exceeded, terminating
% 247.88/240.58 eprover: CPU time limit exceeded, terminating
% 249.94/242.59 eprover: CPU time limit exceeded, terminating
% 251.99/244.60 eprover: CPU time limit exceeded, terminating
% 254.02/246.62 eprover: CPU time limit exceeded, terminating
% 256.16/248.63 eprover: CPU time limit exceeded, terminating
% 258.21/250.65 eprover: CPU time limit exceeded, terminating
% 260.27/252.66 eprover: CPU time limit exceeded, terminating
% 262.33/254.68 eprover: CPU time limit exceeded, terminating
% 264.37/256.69 eprover: CPU time limit exceeded, terminating
% 266.53/258.71 eprover: CPU time limit exceeded, terminating
% 268.59/260.73 eprover: CPU time limit exceeded, terminating
% 270.64/262.74 eprover: CPU time limit exceeded, terminating
% 272.71/264.76 eprover: CPU time limit exceeded, terminating
% 274.78/266.77 eprover: CPU time limit exceeded, terminating
% 276.82/268.78 eprover: CPU time limit exceeded, terminating
% 278.98/270.79 eprover: CPU time limit exceeded, terminating
% 281.05/272.80 eprover: CPU time limit exceeded, terminating
% 283.10/274.82 eprover: CPU time limit exceeded, terminating
% 285.18/276.84 eprover: CPU time limit exceeded, terminating
% 287.22/278.86 eprover: CPU time limit exceeded, terminating
% 289.28/280.88 eprover: CPU time limit exceeded, terminating
% 291.35/282.89 eprover: CPU time limit exceeded, terminating
% 293.42/284.90 eprover: CPU time limit exceeded, terminating
% 295.55/286.91 eprover: CPU time limit exceeded, terminating
% 297.64/288.92 eprover: CPU time limit exceeded, terminating
% 299.68/290.93 eprover: CPU time limit exceeded, terminating
% 300.12/291.30 eprover: CPU time limit exceeded, terminating
% 300.12/291.32 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------