TSTP Solution File: LCL667+1.015 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL667+1.015 : TPTP v8.1.0. Released v4.0.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:12:25 EDT 2022
% Result : Timeout 286.72s 280.97s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.13 % Problem : LCL667+1.015 : TPTP v8.1.0. Released v4.0.0.
% 0.08/0.14 % Command : run_infinox %s
% 0.13/0.35 % Computer : n011.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Sun Jul 3 18:59:21 EDT 2022
% 0.13/0.36 % CPUTime :
% 3.26/3.49 eprover: CPU time limit exceeded, terminating
% 5.35/5.50 eprover: CPU time limit exceeded, terminating
% 7.39/7.51 eprover: CPU time limit exceeded, terminating
% 9.45/9.53 eprover: CPU time limit exceeded, terminating
% 11.47/11.54 eprover: CPU time limit exceeded, terminating
% 13.53/13.55 eprover: CPU time limit exceeded, terminating
% 15.58/15.56 eprover: CPU time limit exceeded, terminating
% 17.63/17.58 eprover: CPU time limit exceeded, terminating
% 19.64/19.59 eprover: CPU time limit exceeded, terminating
% 21.65/21.60 eprover: CPU time limit exceeded, terminating
% 23.72/23.62 eprover: CPU time limit exceeded, terminating
% 25.71/25.63 eprover: CPU time limit exceeded, terminating
% 27.84/27.64 eprover: CPU time limit exceeded, terminating
% 29.86/29.65 eprover: CPU time limit exceeded, terminating
% 31.89/31.67 eprover: CPU time limit exceeded, terminating
% 33.94/33.68 eprover: CPU time limit exceeded, terminating
% 36.00/35.68 eprover: CPU time limit exceeded, terminating
% 38.05/37.69 eprover: CPU time limit exceeded, terminating
% 40.06/39.70 eprover: CPU time limit exceeded, terminating
% 42.11/41.71 eprover: CPU time limit exceeded, terminating
% 44.12/43.72 eprover: CPU time limit exceeded, terminating
% 46.18/45.73 eprover: CPU time limit exceeded, terminating
% 48.22/47.74 eprover: CPU time limit exceeded, terminating
% 50.25/49.75 eprover: CPU time limit exceeded, terminating
% 52.27/51.76 eprover: CPU time limit exceeded, terminating
% 54.31/53.77 eprover: CPU time limit exceeded, terminating
% 56.32/55.78 eprover: CPU time limit exceeded, terminating
% 58.39/57.79 eprover: CPU time limit exceeded, terminating
% 60.47/59.80 eprover: CPU time limit exceeded, terminating
% 62.48/61.81 eprover: CPU time limit exceeded, terminating
% 64.48/63.82 eprover: CPU time limit exceeded, terminating
% 66.57/65.83 eprover: CPU time limit exceeded, terminating
% 68.56/67.84 eprover: CPU time limit exceeded, terminating
% 70.64/69.85 eprover: CPU time limit exceeded, terminating
% 72.65/71.86 eprover: CPU time limit exceeded, terminating
% 74.73/73.87 eprover: CPU time limit exceeded, terminating
% 76.72/75.88 eprover: CPU time limit exceeded, terminating
% 78.78/77.89 eprover: CPU time limit exceeded, terminating
% 80.79/79.90 eprover: CPU time limit exceeded, terminating
% 82.87/81.91 eprover: CPU time limit exceeded, terminating
% 84.88/83.92 eprover: CPU time limit exceeded, terminating
% 86.95/85.92 eprover: CPU time limit exceeded, terminating
% 88.94/87.93 eprover: CPU time limit exceeded, terminating
% 90.97/89.94 eprover: CPU time limit exceeded, terminating
% 93.03/91.95 eprover: CPU time limit exceeded, terminating
% 95.08/93.96 eprover: CPU time limit exceeded, terminating
% 97.09/95.98 eprover: CPU time limit exceeded, terminating
% 99.17/97.99 eprover: CPU time limit exceeded, terminating
% 101.22/100.00 eprover: CPU time limit exceeded, terminating
% 103.23/102.01 eprover: CPU time limit exceeded, terminating
% 105.28/104.02 eprover: CPU time limit exceeded, terminating
% 107.33/106.03 eprover: CPU time limit exceeded, terminating
% 109.37/108.04 eprover: CPU time limit exceeded, terminating
% 111.38/110.05 eprover: CPU time limit exceeded, terminating
% 113.45/112.06 eprover: CPU time limit exceeded, terminating
% 115.45/114.07 eprover: CPU time limit exceeded, terminating
% 117.50/116.08 eprover: CPU time limit exceeded, terminating
% 119.57/118.09 eprover: CPU time limit exceeded, terminating
% 121.54/120.10 eprover: CPU time limit exceeded, terminating
% 123.59/122.11 eprover: CPU time limit exceeded, terminating
% 125.68/124.12 eprover: CPU time limit exceeded, terminating
% 127.74/126.13 eprover: CPU time limit exceeded, terminating
% 129.77/128.14 eprover: CPU time limit exceeded, terminating
% 131.75/130.15 eprover: CPU time limit exceeded, terminating
% 133.76/132.16 eprover: CPU time limit exceeded, terminating
% 135.83/134.17 eprover: CPU time limit exceeded, terminating
% 137.95/136.19 eprover: CPU time limit exceeded, terminating
% 139.98/138.20 eprover: CPU time limit exceeded, terminating
% 141.97/140.21 eprover: CPU time limit exceeded, terminating
% 144.01/142.22 eprover: CPU time limit exceeded, terminating
% 146.10/144.23 eprover: CPU time limit exceeded, terminating
% 148.09/146.24 eprover: CPU time limit exceeded, terminating
% 150.16/148.25 eprover: CPU time limit exceeded, terminating
% 152.21/150.26 eprover: CPU time limit exceeded, terminating
% 154.23/152.27 eprover: CPU time limit exceeded, terminating
% 156.29/154.28 eprover: CPU time limit exceeded, terminating
% 158.30/156.30 eprover: CPU time limit exceeded, terminating
% 160.37/158.31 eprover: CPU time limit exceeded, terminating
% 162.35/160.32 eprover: CPU time limit exceeded, terminating
% 164.42/162.33 eprover: CPU time limit exceeded, terminating
% 166.48/164.34 eprover: CPU time limit exceeded, terminating
% 168.47/166.35 eprover: CPU time limit exceeded, terminating
% 170.54/168.36 eprover: CPU time limit exceeded, terminating
% 172.63/170.37 eprover: CPU time limit exceeded, terminating
% 174.64/172.38 eprover: CPU time limit exceeded, terminating
% 176.71/174.40 eprover: CPU time limit exceeded, terminating
% 178.71/176.41 eprover: CPU time limit exceeded, terminating
% 180.77/178.42 eprover: CPU time limit exceeded, terminating
% 182.81/180.43 eprover: CPU time limit exceeded, terminating
% 184.83/182.44 eprover: CPU time limit exceeded, terminating
% 186.91/184.45 eprover: CPU time limit exceeded, terminating
% 188.95/186.46 eprover: CPU time limit exceeded, terminating
% 190.96/188.48 eprover: CPU time limit exceeded, terminating
% 193.01/190.49 eprover: CPU time limit exceeded, terminating
% 195.02/192.50 eprover: CPU time limit exceeded, terminating
% 197.08/194.51 eprover: CPU time limit exceeded, terminating
% 199.17/196.52 eprover: CPU time limit exceeded, terminating
% 201.19/198.53 eprover: CPU time limit exceeded, terminating
% 203.22/200.54 eprover: CPU time limit exceeded, terminating
% 205.22/202.55 eprover: CPU time limit exceeded, terminating
% 207.31/204.57 eprover: CPU time limit exceeded, terminating
% 209.35/206.58 eprover: CPU time limit exceeded, terminating
% 211.42/208.59 eprover: CPU time limit exceeded, terminating
% 213.44/210.60 eprover: CPU time limit exceeded, terminating
% 215.49/212.61 eprover: CPU time limit exceeded, terminating
% 217.51/214.62 eprover: CPU time limit exceeded, terminating
% 219.57/216.63 eprover: CPU time limit exceeded, terminating
% 221.60/218.65 eprover: CPU time limit exceeded, terminating
% 223.65/220.66 eprover: CPU time limit exceeded, terminating
% 225.63/222.67 eprover: CPU time limit exceeded, terminating
% 227.75/224.68 eprover: CPU time limit exceeded, terminating
% 229.77/226.69 eprover: CPU time limit exceeded, terminating
% 231.77/228.71 eprover: CPU time limit exceeded, terminating
% 235.75/230.72 eprover: CPU time limit exceeded, terminating
% 237.81/232.73 eprover: CPU time limit exceeded, terminating
% 239.87/234.74 eprover: CPU time limit exceeded, terminating
% 241.90/236.75 eprover: CPU time limit exceeded, terminating
% 243.94/238.76 eprover: CPU time limit exceeded, terminating
% 245.96/240.78 eprover: CPU time limit exceeded, terminating
% 247.98/242.79 eprover: CPU time limit exceeded, terminating
% 250.04/244.80 eprover: CPU time limit exceeded, terminating
% 252.11/246.81 eprover: CPU time limit exceeded, terminating
% 254.12/248.82 eprover: CPU time limit exceeded, terminating
% 256.17/250.83 eprover: CPU time limit exceeded, terminating
% 258.24/252.84 eprover: CPU time limit exceeded, terminating
% 260.22/254.85 eprover: CPU time limit exceeded, terminating
% 262.25/256.86 eprover: CPU time limit exceeded, terminating
% 264.34/258.86 eprover: CPU time limit exceeded, terminating
% 266.40/260.87 eprover: CPU time limit exceeded, terminating
% 268.37/262.88 eprover: CPU time limit exceeded, terminating
% 270.40/264.89 eprover: CPU time limit exceeded, terminating
% 272.43/266.90 eprover: CPU time limit exceeded, terminating
% 274.48/268.91 eprover: CPU time limit exceeded, terminating
% 276.57/270.92 eprover: CPU time limit exceeded, terminating
% 278.60/272.93 eprover: CPU time limit exceeded, terminating
% 280.61/274.94 eprover: CPU time limit exceeded, terminating
% 282.68/276.95 eprover: CPU time limit exceeded, terminating
% 284.74/278.96 eprover: CPU time limit exceeded, terminating
% 286.72/280.97 eprover: CPU time limit exceeded, terminating
% 288.79/282.98 eprover: CPU time limit exceeded, terminating
% 290.76/284.99 eprover: CPU time limit exceeded, terminating
% 292.89/287.00 eprover: CPU time limit exceeded, terminating
% 294.85/289.01 eprover: CPU time limit exceeded, terminating
% 296.96/291.02 eprover: CPU time limit exceeded, terminating
% 299.00/293.03 eprover: CPU time limit exceeded, terminating
% 300.01/294.01 eprover: CPU time limit exceeded, terminating
% 300.01/294.03 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------