TSTP Solution File: LCL666+1.015 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL666+1.015 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n018.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:24 EDT 2022
% Result : Timeout 286.41s 282.87s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.09 % Problem : LCL666+1.015 : TPTP v8.1.0. Released v4.0.0.
% 0.00/0.10 % Command : run_infinox %s
% 0.09/0.29 % Computer : n018.cluster.edu
% 0.09/0.29 % Model : x86_64 x86_64
% 0.09/0.29 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.09/0.29 % Memory : 8042.1875MB
% 0.09/0.29 % OS : Linux 3.10.0-693.el7.x86_64
% 0.09/0.29 % CPULimit : 300
% 0.09/0.29 % WCLimit : 600
% 0.09/0.29 % DateTime : Sat Jul 2 15:33:49 EDT 2022
% 0.09/0.29 % CPUTime :
% 3.33/3.50 eprover: CPU time limit exceeded, terminating
% 5.37/5.51 eprover: CPU time limit exceeded, terminating
% 7.40/7.52 eprover: CPU time limit exceeded, terminating
% 9.44/9.53 eprover: CPU time limit exceeded, terminating
% 11.47/11.54 eprover: CPU time limit exceeded, terminating
% 13.49/13.55 eprover: CPU time limit exceeded, terminating
% 15.51/15.56 eprover: CPU time limit exceeded, terminating
% 17.55/17.57 eprover: CPU time limit exceeded, terminating
% 19.59/19.58 eprover: CPU time limit exceeded, terminating
% 21.58/21.59 eprover: CPU time limit exceeded, terminating
% 23.71/23.60 eprover: CPU time limit exceeded, terminating
% 25.68/25.61 eprover: CPU time limit exceeded, terminating
% 27.79/27.62 eprover: CPU time limit exceeded, terminating
% 29.78/29.63 eprover: CPU time limit exceeded, terminating
% 31.84/31.64 eprover: CPU time limit exceeded, terminating
% 33.88/33.65 eprover: CPU time limit exceeded, terminating
% 35.87/35.66 eprover: CPU time limit exceeded, terminating
% 37.92/37.67 eprover: CPU time limit exceeded, terminating
% 39.95/39.68 eprover: CPU time limit exceeded, terminating
% 41.97/41.69 eprover: CPU time limit exceeded, terminating
% 44.08/43.70 eprover: CPU time limit exceeded, terminating
% 46.13/45.71 eprover: CPU time limit exceeded, terminating
% 48.14/47.72 eprover: CPU time limit exceeded, terminating
% 50.18/49.73 eprover: CPU time limit exceeded, terminating
% 52.22/51.74 eprover: CPU time limit exceeded, terminating
% 54.24/53.75 eprover: CPU time limit exceeded, terminating
% 56.25/55.76 eprover: CPU time limit exceeded, terminating
% 58.26/57.77 eprover: CPU time limit exceeded, terminating
% 60.30/59.78 eprover: CPU time limit exceeded, terminating
% 62.32/61.79 eprover: CPU time limit exceeded, terminating
% 64.45/63.80 eprover: CPU time limit exceeded, terminating
% 66.50/65.81 eprover: CPU time limit exceeded, terminating
% 68.52/67.82 eprover: CPU time limit exceeded, terminating
% 70.55/69.83 eprover: CPU time limit exceeded, terminating
% 72.59/71.83 eprover: CPU time limit exceeded, terminating
% 74.63/73.84 eprover: CPU time limit exceeded, terminating
% 76.64/75.85 eprover: CPU time limit exceeded, terminating
% 78.68/77.86 eprover: CPU time limit exceeded, terminating
% 80.69/79.87 eprover: CPU time limit exceeded, terminating
% 82.73/81.88 eprover: CPU time limit exceeded, terminating
% 84.83/83.89 eprover: CPU time limit exceeded, terminating
% 86.78/85.90 eprover: CPU time limit exceeded, terminating
% 88.88/87.91 eprover: CPU time limit exceeded, terminating
% 90.93/89.92 eprover: CPU time limit exceeded, terminating
% 92.94/91.93 eprover: CPU time limit exceeded, terminating
% 95.00/93.94 eprover: CPU time limit exceeded, terminating
% 97.00/95.95 eprover: CPU time limit exceeded, terminating
% 99.02/97.96 eprover: CPU time limit exceeded, terminating
% 101.06/99.97 eprover: CPU time limit exceeded, terminating
% 103.09/101.98 eprover: CPU time limit exceeded, terminating
% 105.11/103.99 eprover: CPU time limit exceeded, terminating
% 107.15/106.00 eprover: CPU time limit exceeded, terminating
% 109.26/108.01 eprover: CPU time limit exceeded, terminating
% 111.30/110.02 eprover: CPU time limit exceeded, terminating
% 113.32/112.03 eprover: CPU time limit exceeded, terminating
% 115.32/114.04 eprover: CPU time limit exceeded, terminating
% 117.36/116.05 eprover: CPU time limit exceeded, terminating
% 119.40/118.06 eprover: CPU time limit exceeded, terminating
% 121.44/120.07 eprover: CPU time limit exceeded, terminating
% 123.45/122.08 eprover: CPU time limit exceeded, terminating
% 125.50/124.09 eprover: CPU time limit exceeded, terminating
% 127.51/126.10 eprover: CPU time limit exceeded, terminating
% 129.61/128.11 eprover: CPU time limit exceeded, terminating
% 131.66/130.12 eprover: CPU time limit exceeded, terminating
% 133.68/132.13 eprover: CPU time limit exceeded, terminating
% 135.73/134.14 eprover: CPU time limit exceeded, terminating
% 137.72/136.15 eprover: CPU time limit exceeded, terminating
% 139.73/138.16 eprover: CPU time limit exceeded, terminating
% 141.79/140.17 eprover: CPU time limit exceeded, terminating
% 143.84/142.18 eprover: CPU time limit exceeded, terminating
% 145.83/144.19 eprover: CPU time limit exceeded, terminating
% 147.93/146.20 eprover: CPU time limit exceeded, terminating
% 149.99/148.21 eprover: CPU time limit exceeded, terminating
% 151.95/150.22 eprover: CPU time limit exceeded, terminating
% 154.05/152.23 eprover: CPU time limit exceeded, terminating
% 156.07/154.24 eprover: CPU time limit exceeded, terminating
% 158.10/156.25 eprover: CPU time limit exceeded, terminating
% 160.16/158.26 eprover: CPU time limit exceeded, terminating
% 162.15/160.27 eprover: CPU time limit exceeded, terminating
% 164.25/162.28 eprover: CPU time limit exceeded, terminating
% 166.21/164.29 eprover: CPU time limit exceeded, terminating
% 168.32/166.30 eprover: CPU time limit exceeded, terminating
% 170.34/168.31 eprover: CPU time limit exceeded, terminating
% 172.40/170.32 eprover: CPU time limit exceeded, terminating
% 174.42/172.33 eprover: CPU time limit exceeded, terminating
% 176.45/174.34 eprover: CPU time limit exceeded, terminating
% 178.50/176.35 eprover: CPU time limit exceeded, terminating
% 180.50/178.36 eprover: CPU time limit exceeded, terminating
% 182.56/180.37 eprover: CPU time limit exceeded, terminating
% 184.56/182.38 eprover: CPU time limit exceeded, terminating
% 186.66/184.39 eprover: CPU time limit exceeded, terminating
% 188.70/186.40 eprover: CPU time limit exceeded, terminating
% 190.71/188.41 eprover: CPU time limit exceeded, terminating
% 192.74/190.42 eprover: CPU time limit exceeded, terminating
% 194.79/192.42 eprover: CPU time limit exceeded, terminating
% 196.79/194.43 eprover: CPU time limit exceeded, terminating
% 198.85/196.44 eprover: CPU time limit exceeded, terminating
% 200.90/198.45 eprover: CPU time limit exceeded, terminating
% 202.90/200.46 eprover: CPU time limit exceeded, terminating
% 205.00/202.47 eprover: CPU time limit exceeded, terminating
% 206.95/204.49 eprover: CPU time limit exceeded, terminating
% 209.05/206.50 eprover: CPU time limit exceeded, terminating
% 211.11/208.50 eprover: CPU time limit exceeded, terminating
% 213.11/210.51 eprover: CPU time limit exceeded, terminating
% 215.16/212.52 eprover: CPU time limit exceeded, terminating
% 217.20/214.53 eprover: CPU time limit exceeded, terminating
% 219.20/216.54 eprover: CPU time limit exceeded, terminating
% 221.24/218.55 eprover: CPU time limit exceeded, terminating
% 223.28/220.56 eprover: CPU time limit exceeded, terminating
% 225.29/222.57 eprover: CPU time limit exceeded, terminating
% 227.39/224.58 eprover: CPU time limit exceeded, terminating
% 229.34/226.59 eprover: CPU time limit exceeded, terminating
% 231.46/228.60 eprover: CPU time limit exceeded, terminating
% 233.49/230.61 eprover: CPU time limit exceeded, terminating
% 235.53/232.62 eprover: CPU time limit exceeded, terminating
% 237.54/234.63 eprover: CPU time limit exceeded, terminating
% 239.58/236.64 eprover: CPU time limit exceeded, terminating
% 241.61/238.65 eprover: CPU time limit exceeded, terminating
% 243.64/240.66 eprover: CPU time limit exceeded, terminating
% 245.69/242.67 eprover: CPU time limit exceeded, terminating
% 247.70/244.68 eprover: CPU time limit exceeded, terminating
% 249.80/246.69 eprover: CPU time limit exceeded, terminating
% 251.83/248.70 eprover: CPU time limit exceeded, terminating
% 253.88/250.71 eprover: CPU time limit exceeded, terminating
% 255.90/252.72 eprover: CPU time limit exceeded, terminating
% 257.93/254.73 eprover: CPU time limit exceeded, terminating
% 259.92/256.74 eprover: CPU time limit exceeded, terminating
% 261.97/258.75 eprover: CPU time limit exceeded, terminating
% 264.02/260.76 eprover: CPU time limit exceeded, terminating
% 266.04/262.77 eprover: CPU time limit exceeded, terminating
% 268.07/264.78 eprover: CPU time limit exceeded, terminating
% 270.12/266.79 eprover: CPU time limit exceeded, terminating
% 272.22/268.80 eprover: CPU time limit exceeded, terminating
% 274.23/270.81 eprover: CPU time limit exceeded, terminating
% 276.26/272.82 eprover: CPU time limit exceeded, terminating
% 278.32/274.83 eprover: CPU time limit exceeded, terminating
% 280.36/276.84 eprover: CPU time limit exceeded, terminating
% 282.32/278.85 eprover: CPU time limit exceeded, terminating
% 284.41/280.86 eprover: CPU time limit exceeded, terminating
% 286.41/282.87 eprover: CPU time limit exceeded, terminating
% 288.50/284.88 eprover: CPU time limit exceeded, terminating
% 290.47/286.89 eprover: CPU time limit exceeded, terminating
% 292.52/288.90 eprover: CPU time limit exceeded, terminating
% 294.61/290.91 eprover: CPU time limit exceeded, terminating
% 296.65/292.92 eprover: CPU time limit exceeded, terminating
% 298.70/294.93 eprover: CPU time limit exceeded, terminating
% 300.02/296.23 eprover: CPU time limit exceeded, terminating
% 300.02/296.24 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------