TSTP Solution File: LCL648+1.015 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL648+1.015 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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 286.71s 283.82s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.13 % Problem : LCL648+1.015 : TPTP v8.1.0. Released v4.0.0.
% 0.08/0.13 % Command : run_infinox %s
% 0.13/0.35 % Computer : n020.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 : Mon Jul 4 00:13:44 EDT 2022
% 0.13/0.35 % CPUTime :
% 3.27/3.48 eprover: CPU time limit exceeded, terminating
% 5.35/5.49 eprover: CPU time limit exceeded, terminating
% 7.39/7.50 eprover: CPU time limit exceeded, terminating
% 9.37/9.51 eprover: CPU time limit exceeded, terminating
% 11.48/11.52 eprover: CPU time limit exceeded, terminating
% 13.47/13.54 eprover: CPU time limit exceeded, terminating
% 15.54/15.55 eprover: CPU time limit exceeded, terminating
% 17.56/17.56 eprover: CPU time limit exceeded, terminating
% 19.65/19.57 eprover: CPU time limit exceeded, terminating
% 21.61/21.58 eprover: CPU time limit exceeded, terminating
% 23.67/23.60 eprover: CPU time limit exceeded, terminating
% 25.79/25.61 eprover: CPU time limit exceeded, terminating
% 27.80/27.62 eprover: CPU time limit exceeded, terminating
% 29.84/29.63 eprover: CPU time limit exceeded, terminating
% 31.88/31.65 eprover: CPU time limit exceeded, terminating
% 33.88/33.66 eprover: CPU time limit exceeded, terminating
% 35.93/35.67 eprover: CPU time limit exceeded, terminating
% 37.97/37.68 eprover: CPU time limit exceeded, terminating
% 40.08/39.70 eprover: CPU time limit exceeded, terminating
% 42.10/41.71 eprover: CPU time limit exceeded, terminating
% 44.12/43.72 eprover: CPU time limit exceeded, terminating
% 46.16/45.73 eprover: CPU time limit exceeded, terminating
% 48.23/47.74 eprover: CPU time limit exceeded, terminating
% 50.28/49.76 eprover: CPU time limit exceeded, terminating
% 52.30/51.77 eprover: CPU time limit exceeded, terminating
% 54.38/53.78 eprover: CPU time limit exceeded, terminating
% 56.38/55.80 eprover: CPU time limit exceeded, terminating
% 58.44/57.81 eprover: CPU time limit exceeded, terminating
% 60.48/59.82 eprover: CPU time limit exceeded, terminating
% 62.54/61.83 eprover: CPU time limit exceeded, terminating
% 64.53/63.84 eprover: CPU time limit exceeded, terminating
% 66.62/65.86 eprover: CPU time limit exceeded, terminating
% 68.61/67.87 eprover: CPU time limit exceeded, terminating
% 70.68/69.88 eprover: CPU time limit exceeded, terminating
% 72.70/71.89 eprover: CPU time limit exceeded, terminating
% 74.76/73.90 eprover: CPU time limit exceeded, terminating
% 76.83/75.92 eprover: CPU time limit exceeded, terminating
% 78.83/77.93 eprover: CPU time limit exceeded, terminating
% 80.84/79.94 eprover: CPU time limit exceeded, terminating
% 82.91/81.95 eprover: CPU time limit exceeded, terminating
% 84.92/83.96 eprover: CPU time limit exceeded, terminating
% 87.01/85.97 eprover: CPU time limit exceeded, terminating
% 89.06/87.98 eprover: CPU time limit exceeded, terminating
% 91.09/89.99 eprover: CPU time limit exceeded, terminating
% 93.13/92.00 eprover: CPU time limit exceeded, terminating
% 95.17/94.04 eprover: CPU time limit exceeded, terminating
% 97.23/96.07 eprover: CPU time limit exceeded, terminating
% 99.21/98.11 eprover: CPU time limit exceeded, terminating
% 101.26/100.17 eprover: CPU time limit exceeded, terminating
% 103.27/102.21 eprover: CPU time limit exceeded, terminating
% 105.31/104.26 eprover: CPU time limit exceeded, terminating
% 107.38/106.31 eprover: CPU time limit exceeded, terminating
% 109.40/108.36 eprover: CPU time limit exceeded, terminating
% 111.44/110.40 eprover: CPU time limit exceeded, terminating
% 113.47/112.43 eprover: CPU time limit exceeded, terminating
% 115.48/114.46 eprover: CPU time limit exceeded, terminating
% 117.50/116.50 eprover: CPU time limit exceeded, terminating
% 119.48/118.54 eprover: CPU time limit exceeded, terminating
% 121.56/120.59 eprover: CPU time limit exceeded, terminating
% 123.58/122.65 eprover: CPU time limit exceeded, terminating
% 125.59/124.70 eprover: CPU time limit exceeded, terminating
% 127.66/126.75 eprover: CPU time limit exceeded, terminating
% 129.68/128.79 eprover: CPU time limit exceeded, terminating
% 131.67/130.83 eprover: CPU time limit exceeded, terminating
% 133.71/132.87 eprover: CPU time limit exceeded, terminating
% 135.73/134.92 eprover: CPU time limit exceeded, terminating
% 137.80/136.93 eprover: CPU time limit exceeded, terminating
% 139.78/138.93 eprover: CPU time limit exceeded, terminating
% 141.86/140.94 eprover: CPU time limit exceeded, terminating
% 143.94/142.95 eprover: CPU time limit exceeded, terminating
% 145.96/144.96 eprover: CPU time limit exceeded, terminating
% 147.98/146.97 eprover: CPU time limit exceeded, terminating
% 150.02/148.98 eprover: CPU time limit exceeded, terminating
% 152.03/150.99 eprover: CPU time limit exceeded, terminating
% 154.06/153.00 eprover: CPU time limit exceeded, terminating
% 156.10/155.01 eprover: CPU time limit exceeded, terminating
% 158.12/157.02 eprover: CPU time limit exceeded, terminating
% 160.17/159.03 eprover: CPU time limit exceeded, terminating
% 162.26/161.04 eprover: CPU time limit exceeded, terminating
% 164.33/163.06 eprover: CPU time limit exceeded, terminating
% 166.29/165.07 eprover: CPU time limit exceeded, terminating
% 168.35/167.10 eprover: CPU time limit exceeded, terminating
% 170.41/169.11 eprover: CPU time limit exceeded, terminating
% 172.41/171.12 eprover: CPU time limit exceeded, terminating
% 174.44/173.14 eprover: CPU time limit exceeded, terminating
% 176.52/175.15 eprover: CPU time limit exceeded, terminating
% 178.56/177.19 eprover: CPU time limit exceeded, terminating
% 180.62/179.20 eprover: CPU time limit exceeded, terminating
% 182.67/181.22 eprover: CPU time limit exceeded, terminating
% 184.69/183.23 eprover: CPU time limit exceeded, terminating
% 186.70/185.24 eprover: CPU time limit exceeded, terminating
% 188.75/187.25 eprover: CPU time limit exceeded, terminating
% 190.77/189.27 eprover: CPU time limit exceeded, terminating
% 192.82/191.28 eprover: CPU time limit exceeded, terminating
% 194.84/193.29 eprover: CPU time limit exceeded, terminating
% 196.96/195.30 eprover: CPU time limit exceeded, terminating
% 198.98/197.31 eprover: CPU time limit exceeded, terminating
% 200.98/199.32 eprover: CPU time limit exceeded, terminating
% 203.02/201.33 eprover: CPU time limit exceeded, terminating
% 205.09/203.35 eprover: CPU time limit exceeded, terminating
% 207.11/205.36 eprover: CPU time limit exceeded, terminating
% 209.13/207.37 eprover: CPU time limit exceeded, terminating
% 211.16/209.38 eprover: CPU time limit exceeded, terminating
% 213.26/211.39 eprover: CPU time limit exceeded, terminating
% 215.31/213.40 eprover: CPU time limit exceeded, terminating
% 217.34/215.41 eprover: CPU time limit exceeded, terminating
% 219.39/217.43 eprover: CPU time limit exceeded, terminating
% 221.38/219.44 eprover: CPU time limit exceeded, terminating
% 223.44/221.45 eprover: CPU time limit exceeded, terminating
% 225.45/223.46 eprover: CPU time limit exceeded, terminating
% 227.54/225.47 eprover: CPU time limit exceeded, terminating
% 229.51/227.49 eprover: CPU time limit exceeded, terminating
% 231.54/229.50 eprover: CPU time limit exceeded, terminating
% 233.66/231.51 eprover: CPU time limit exceeded, terminating
% 235.70/233.52 eprover: CPU time limit exceeded, terminating
% 237.70/235.54 eprover: CPU time limit exceeded, terminating
% 239.74/237.55 eprover: CPU time limit exceeded, terminating
% 241.77/239.56 eprover: CPU time limit exceeded, terminating
% 243.82/241.57 eprover: CPU time limit exceeded, terminating
% 245.82/243.59 eprover: CPU time limit exceeded, terminating
% 247.94/245.60 eprover: CPU time limit exceeded, terminating
% 249.91/247.61 eprover: CPU time limit exceeded, terminating
% 252.03/249.62 eprover: CPU time limit exceeded, terminating
% 254.02/251.63 eprover: CPU time limit exceeded, terminating
% 256.08/253.64 eprover: CPU time limit exceeded, terminating
% 258.11/255.66 eprover: CPU time limit exceeded, terminating
% 260.14/257.67 eprover: CPU time limit exceeded, terminating
% 262.23/259.68 eprover: CPU time limit exceeded, terminating
% 264.26/261.69 eprover: CPU time limit exceeded, terminating
% 266.32/263.70 eprover: CPU time limit exceeded, terminating
% 268.34/265.71 eprover: CPU time limit exceeded, terminating
% 270.37/267.73 eprover: CPU time limit exceeded, terminating
% 272.38/269.74 eprover: CPU time limit exceeded, terminating
% 274.43/271.75 eprover: CPU time limit exceeded, terminating
% 276.46/273.76 eprover: CPU time limit exceeded, terminating
% 278.48/275.78 eprover: CPU time limit exceeded, terminating
% 280.52/277.79 eprover: CPU time limit exceeded, terminating
% 282.56/279.80 eprover: CPU time limit exceeded, terminating
% 284.68/281.81 eprover: CPU time limit exceeded, terminating
% 286.71/283.82 eprover: CPU time limit exceeded, terminating
% 288.73/285.83 eprover: CPU time limit exceeded, terminating
% 290.72/287.84 eprover: CPU time limit exceeded, terminating
% 292.78/289.85 eprover: CPU time limit exceeded, terminating
% 294.80/291.87 eprover: CPU time limit exceeded, terminating
% 296.83/293.88 eprover: CPU time limit exceeded, terminating
% 298.87/295.89 eprover: CPU time limit exceeded, terminating
% 300.10/297.02 eprover: CPU time limit exceeded, terminating
% 300.10/297.03 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------