TSTP Solution File: LCL649+1.015 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL649+1.015 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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:02 EDT 2022
% Result : Timeout 286.95s 283.27s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : LCL649+1.015 : TPTP v8.1.0. Released v4.0.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n026.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Mon Jul 4 01:07:51 EDT 2022
% 0.13/0.34 % CPUTime :
% 3.29/3.46 eprover: CPU time limit exceeded, terminating
% 5.33/5.47 eprover: CPU time limit exceeded, terminating
% 7.40/7.49 eprover: CPU time limit exceeded, terminating
% 9.42/9.50 eprover: CPU time limit exceeded, terminating
% 11.40/11.51 eprover: CPU time limit exceeded, terminating
% 13.51/13.56 eprover: CPU time limit exceeded, terminating
% 15.55/15.59 eprover: CPU time limit exceeded, terminating
% 17.53/17.66 eprover: CPU time limit exceeded, terminating
% 19.61/19.68 eprover: CPU time limit exceeded, terminating
% 21.66/21.69 eprover: CPU time limit exceeded, terminating
% 23.66/23.70 eprover: CPU time limit exceeded, terminating
% 25.73/25.71 eprover: CPU time limit exceeded, terminating
% 27.75/27.74 eprover: CPU time limit exceeded, terminating
% 29.76/29.75 eprover: CPU time limit exceeded, terminating
% 31.81/31.76 eprover: CPU time limit exceeded, terminating
% 33.84/33.78 eprover: CPU time limit exceeded, terminating
% 35.85/35.80 eprover: CPU time limit exceeded, terminating
% 37.91/37.81 eprover: CPU time limit exceeded, terminating
% 39.99/39.83 eprover: CPU time limit exceeded, terminating
% 41.95/41.84 eprover: CPU time limit exceeded, terminating
% 44.04/43.85 eprover: CPU time limit exceeded, terminating
% 46.07/45.86 eprover: CPU time limit exceeded, terminating
% 48.14/47.87 eprover: CPU time limit exceeded, terminating
% 50.14/49.88 eprover: CPU time limit exceeded, terminating
% 52.23/51.89 eprover: CPU time limit exceeded, terminating
% 54.24/53.90 eprover: CPU time limit exceeded, terminating
% 56.30/55.91 eprover: CPU time limit exceeded, terminating
% 58.29/57.93 eprover: CPU time limit exceeded, terminating
% 60.33/59.94 eprover: CPU time limit exceeded, terminating
% 62.41/61.95 eprover: CPU time limit exceeded, terminating
% 64.43/63.96 eprover: CPU time limit exceeded, terminating
% 66.47/65.97 eprover: CPU time limit exceeded, terminating
% 68.54/67.98 eprover: CPU time limit exceeded, terminating
% 70.51/69.99 eprover: CPU time limit exceeded, terminating
% 72.60/72.01 eprover: CPU time limit exceeded, terminating
% 74.67/74.02 eprover: CPU time limit exceeded, terminating
% 76.62/76.03 eprover: CPU time limit exceeded, terminating
% 78.73/78.04 eprover: CPU time limit exceeded, terminating
% 80.76/80.05 eprover: CPU time limit exceeded, terminating
% 82.82/82.06 eprover: CPU time limit exceeded, terminating
% 84.80/84.08 eprover: CPU time limit exceeded, terminating
% 86.88/86.09 eprover: CPU time limit exceeded, terminating
% 88.89/88.10 eprover: CPU time limit exceeded, terminating
% 90.97/90.11 eprover: CPU time limit exceeded, terminating
% 92.96/92.12 eprover: CPU time limit exceeded, terminating
% 95.04/94.13 eprover: CPU time limit exceeded, terminating
% 97.04/96.15 eprover: CPU time limit exceeded, terminating
% 99.14/98.16 eprover: CPU time limit exceeded, terminating
% 101.18/100.17 eprover: CPU time limit exceeded, terminating
% 103.21/102.18 eprover: CPU time limit exceeded, terminating
% 105.24/104.19 eprover: CPU time limit exceeded, terminating
% 107.26/106.21 eprover: CPU time limit exceeded, terminating
% 109.35/108.22 eprover: CPU time limit exceeded, terminating
% 111.32/110.23 eprover: CPU time limit exceeded, terminating
% 113.42/112.24 eprover: CPU time limit exceeded, terminating
% 115.45/114.25 eprover: CPU time limit exceeded, terminating
% 117.49/116.26 eprover: CPU time limit exceeded, terminating
% 119.51/118.28 eprover: CPU time limit exceeded, terminating
% 121.54/120.29 eprover: CPU time limit exceeded, terminating
% 123.61/122.30 eprover: CPU time limit exceeded, terminating
% 125.63/124.31 eprover: CPU time limit exceeded, terminating
% 127.63/126.32 eprover: CPU time limit exceeded, terminating
% 129.70/128.34 eprover: CPU time limit exceeded, terminating
% 131.75/130.35 eprover: CPU time limit exceeded, terminating
% 133.76/132.36 eprover: CPU time limit exceeded, terminating
% 135.80/134.37 eprover: CPU time limit exceeded, terminating
% 137.85/136.38 eprover: CPU time limit exceeded, terminating
% 139.95/138.39 eprover: CPU time limit exceeded, terminating
% 141.92/140.40 eprover: CPU time limit exceeded, terminating
% 143.96/142.42 eprover: CPU time limit exceeded, terminating
% 146.05/144.43 eprover: CPU time limit exceeded, terminating
% 148.12/146.44 eprover: CPU time limit exceeded, terminating
% 150.11/148.45 eprover: CPU time limit exceeded, terminating
% 152.11/150.46 eprover: CPU time limit exceeded, terminating
% 154.17/152.48 eprover: CPU time limit exceeded, terminating
% 156.21/154.49 eprover: CPU time limit exceeded, terminating
% 158.26/156.50 eprover: CPU time limit exceeded, terminating
% 160.37/158.51 eprover: CPU time limit exceeded, terminating
% 162.42/160.53 eprover: CPU time limit exceeded, terminating
% 164.42/162.54 eprover: CPU time limit exceeded, terminating
% 166.43/164.55 eprover: CPU time limit exceeded, terminating
% 168.46/166.56 eprover: CPU time limit exceeded, terminating
% 170.52/168.57 eprover: CPU time limit exceeded, terminating
% 172.61/170.59 eprover: CPU time limit exceeded, terminating
% 174.59/172.60 eprover: CPU time limit exceeded, terminating
% 176.68/174.61 eprover: CPU time limit exceeded, terminating
% 178.67/176.62 eprover: CPU time limit exceeded, terminating
% 180.75/178.63 eprover: CPU time limit exceeded, terminating
% 182.81/180.64 eprover: CPU time limit exceeded, terminating
% 184.86/182.66 eprover: CPU time limit exceeded, terminating
% 186.88/184.67 eprover: CPU time limit exceeded, terminating
% 188.92/186.68 eprover: CPU time limit exceeded, terminating
% 190.98/188.69 eprover: CPU time limit exceeded, terminating
% 193.03/190.70 eprover: CPU time limit exceeded, terminating
% 195.04/192.71 eprover: CPU time limit exceeded, terminating
% 197.10/194.73 eprover: CPU time limit exceeded, terminating
% 199.11/196.74 eprover: CPU time limit exceeded, terminating
% 201.17/198.75 eprover: CPU time limit exceeded, terminating
% 203.23/200.76 eprover: CPU time limit exceeded, terminating
% 205.27/202.77 eprover: CPU time limit exceeded, terminating
% 207.27/204.79 eprover: CPU time limit exceeded, terminating
% 209.30/206.80 eprover: CPU time limit exceeded, terminating
% 211.38/208.81 eprover: CPU time limit exceeded, terminating
% 213.42/210.82 eprover: CPU time limit exceeded, terminating
% 215.45/212.83 eprover: CPU time limit exceeded, terminating
% 217.48/214.85 eprover: CPU time limit exceeded, terminating
% 219.57/216.86 eprover: CPU time limit exceeded, terminating
% 221.62/218.87 eprover: CPU time limit exceeded, terminating
% 223.62/220.88 eprover: CPU time limit exceeded, terminating
% 225.67/222.90 eprover: CPU time limit exceeded, terminating
% 227.67/224.91 eprover: CPU time limit exceeded, terminating
% 229.76/226.92 eprover: CPU time limit exceeded, terminating
% 231.73/228.93 eprover: CPU time limit exceeded, terminating
% 233.78/230.94 eprover: CPU time limit exceeded, terminating
% 235.87/232.96 eprover: CPU time limit exceeded, terminating
% 237.91/234.97 eprover: CPU time limit exceeded, terminating
% 239.98/236.98 eprover: CPU time limit exceeded, terminating
% 241.98/238.99 eprover: CPU time limit exceeded, terminating
% 244.01/241.01 eprover: CPU time limit exceeded, terminating
% 246.10/243.02 eprover: CPU time limit exceeded, terminating
% 248.14/245.03 eprover: CPU time limit exceeded, terminating
% 250.12/247.04 eprover: CPU time limit exceeded, terminating
% 252.23/249.06 eprover: CPU time limit exceeded, terminating
% 254.25/251.07 eprover: CPU time limit exceeded, terminating
% 256.29/253.08 eprover: CPU time limit exceeded, terminating
% 258.35/255.09 eprover: CPU time limit exceeded, terminating
% 260.41/257.11 eprover: CPU time limit exceeded, terminating
% 262.42/259.12 eprover: CPU time limit exceeded, terminating
% 264.48/261.13 eprover: CPU time limit exceeded, terminating
% 266.50/263.14 eprover: CPU time limit exceeded, terminating
% 268.58/265.15 eprover: CPU time limit exceeded, terminating
% 270.60/267.17 eprover: CPU time limit exceeded, terminating
% 272.62/269.18 eprover: CPU time limit exceeded, terminating
% 274.70/271.19 eprover: CPU time limit exceeded, terminating
% 276.73/273.21 eprover: CPU time limit exceeded, terminating
% 278.76/275.22 eprover: CPU time limit exceeded, terminating
% 280.77/277.23 eprover: CPU time limit exceeded, terminating
% 282.83/279.24 eprover: CPU time limit exceeded, terminating
% 284.86/281.26 eprover: CPU time limit exceeded, terminating
% 286.95/283.27 eprover: CPU time limit exceeded, terminating
% 288.99/285.28 eprover: CPU time limit exceeded, terminating
% 290.98/287.29 eprover: CPU time limit exceeded, terminating
% 293.03/289.31 eprover: CPU time limit exceeded, terminating
% 295.10/291.32 eprover: CPU time limit exceeded, terminating
% 297.13/293.33 eprover: CPU time limit exceeded, terminating
% 299.16/295.35 eprover: CPU time limit exceeded, terminating
% 300.02/296.14 eprover: CPU time limit exceeded, terminating
% 300.02/296.15 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------