TSTP Solution File: LCL666+1.020 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LCL666+1.020 : 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:24 EDT 2022
% Result : Timeout 286.13s 277.10s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : LCL666+1.020 : TPTP v8.1.0. Released v4.0.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n020.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 : Sat Jul 2 21:28:00 EDT 2022
% 0.13/0.34 % CPUTime :
% 5.19/5.33 eprover: CPU time limit exceeded, terminating
% 7.24/7.34 eprover: CPU time limit exceeded, terminating
% 9.34/9.35 eprover: CPU time limit exceeded, terminating
% 11.37/11.37 eprover: CPU time limit exceeded, terminating
% 13.48/13.38 eprover: CPU time limit exceeded, terminating
% 15.61/15.39 eprover: CPU time limit exceeded, terminating
% 17.65/17.40 eprover: CPU time limit exceeded, terminating
% 19.76/19.42 eprover: CPU time limit exceeded, terminating
% 21.83/21.43 eprover: CPU time limit exceeded, terminating
% 23.89/23.44 eprover: CPU time limit exceeded, terminating
% 25.99/25.45 eprover: CPU time limit exceeded, terminating
% 28.09/27.47 eprover: CPU time limit exceeded, terminating
% 30.13/29.48 eprover: CPU time limit exceeded, terminating
% 32.25/31.49 eprover: CPU time limit exceeded, terminating
% 34.26/33.51 eprover: CPU time limit exceeded, terminating
% 36.38/35.52 eprover: CPU time limit exceeded, terminating
% 38.51/37.53 eprover: CPU time limit exceeded, terminating
% 40.53/39.55 eprover: CPU time limit exceeded, terminating
% 42.64/41.56 eprover: CPU time limit exceeded, terminating
% 44.67/43.57 eprover: CPU time limit exceeded, terminating
% 46.78/45.58 eprover: CPU time limit exceeded, terminating
% 48.91/47.60 eprover: CPU time limit exceeded, terminating
% 50.91/49.61 eprover: CPU time limit exceeded, terminating
% 53.05/51.62 eprover: CPU time limit exceeded, terminating
% 55.14/53.64 eprover: CPU time limit exceeded, terminating
% 57.22/55.65 eprover: CPU time limit exceeded, terminating
% 59.24/57.66 eprover: CPU time limit exceeded, terminating
% 61.39/59.68 eprover: CPU time limit exceeded, terminating
% 63.40/61.69 eprover: CPU time limit exceeded, terminating
% 65.54/63.70 eprover: CPU time limit exceeded, terminating
% 67.63/65.72 eprover: CPU time limit exceeded, terminating
% 69.68/67.73 eprover: CPU time limit exceeded, terminating
% 71.78/69.74 eprover: CPU time limit exceeded, terminating
% 73.82/71.76 eprover: CPU time limit exceeded, terminating
% 75.91/73.77 eprover: CPU time limit exceeded, terminating
% 77.97/75.78 eprover: CPU time limit exceeded, terminating
% 80.13/77.80 eprover: CPU time limit exceeded, terminating
% 82.20/79.81 eprover: CPU time limit exceeded, terminating
% 84.30/81.82 eprover: CPU time limit exceeded, terminating
% 86.34/83.83 eprover: CPU time limit exceeded, terminating
% 88.37/85.85 eprover: CPU time limit exceeded, terminating
% 90.47/87.86 eprover: CPU time limit exceeded, terminating
% 92.56/89.87 eprover: CPU time limit exceeded, terminating
% 94.68/91.89 eprover: CPU time limit exceeded, terminating
% 96.68/93.90 eprover: CPU time limit exceeded, terminating
% 98.79/95.91 eprover: CPU time limit exceeded, terminating
% 100.92/97.92 eprover: CPU time limit exceeded, terminating
% 102.97/99.94 eprover: CPU time limit exceeded, terminating
% 105.04/101.95 eprover: CPU time limit exceeded, terminating
% 107.12/103.96 eprover: CPU time limit exceeded, terminating
% 109.26/105.98 eprover: CPU time limit exceeded, terminating
% 111.29/107.99 eprover: CPU time limit exceeded, terminating
% 113.37/110.00 eprover: CPU time limit exceeded, terminating
% 115.51/112.02 eprover: CPU time limit exceeded, terminating
% 117.58/114.03 eprover: CPU time limit exceeded, terminating
% 119.64/116.04 eprover: CPU time limit exceeded, terminating
% 121.69/118.05 eprover: CPU time limit exceeded, terminating
% 123.78/120.07 eprover: CPU time limit exceeded, terminating
% 125.84/122.08 eprover: CPU time limit exceeded, terminating
% 127.99/124.09 eprover: CPU time limit exceeded, terminating
% 130.06/126.11 eprover: CPU time limit exceeded, terminating
% 132.16/128.12 eprover: CPU time limit exceeded, terminating
% 134.21/130.13 eprover: CPU time limit exceeded, terminating
% 136.25/132.14 eprover: CPU time limit exceeded, terminating
% 138.34/134.16 eprover: CPU time limit exceeded, terminating
% 140.42/136.17 eprover: CPU time limit exceeded, terminating
% 142.56/138.18 eprover: CPU time limit exceeded, terminating
% 144.55/140.20 eprover: CPU time limit exceeded, terminating
% 146.64/142.21 eprover: CPU time limit exceeded, terminating
% 148.79/144.22 eprover: CPU time limit exceeded, terminating
% 150.89/146.24 eprover: CPU time limit exceeded, terminating
% 152.94/148.25 eprover: CPU time limit exceeded, terminating
% 154.97/150.26 eprover: CPU time limit exceeded, terminating
% 157.05/152.28 eprover: CPU time limit exceeded, terminating
% 159.14/154.29 eprover: CPU time limit exceeded, terminating
% 161.26/156.30 eprover: CPU time limit exceeded, terminating
% 163.39/158.32 eprover: CPU time limit exceeded, terminating
% 165.46/160.33 eprover: CPU time limit exceeded, terminating
% 167.50/162.34 eprover: CPU time limit exceeded, terminating
% 169.55/164.36 eprover: CPU time limit exceeded, terminating
% 171.64/166.37 eprover: CPU time limit exceeded, terminating
% 173.77/168.38 eprover: CPU time limit exceeded, terminating
% 175.76/170.39 eprover: CPU time limit exceeded, terminating
% 177.91/172.40 eprover: CPU time limit exceeded, terminating
% 180.00/174.41 eprover: CPU time limit exceeded, terminating
% 182.06/176.43 eprover: CPU time limit exceeded, terminating
% 184.12/178.44 eprover: CPU time limit exceeded, terminating
% 186.18/180.45 eprover: CPU time limit exceeded, terminating
% 188.27/182.46 eprover: CPU time limit exceeded, terminating
% 190.37/184.48 eprover: CPU time limit exceeded, terminating
% 192.45/186.48 eprover: CPU time limit exceeded, terminating
% 194.58/188.50 eprover: CPU time limit exceeded, terminating
% 196.61/190.51 eprover: CPU time limit exceeded, terminating
% 198.75/192.53 eprover: CPU time limit exceeded, terminating
% 200.82/194.54 eprover: CPU time limit exceeded, terminating
% 202.84/196.56 eprover: CPU time limit exceeded, terminating
% 205.01/198.57 eprover: CPU time limit exceeded, terminating
% 207.07/200.58 eprover: CPU time limit exceeded, terminating
% 209.16/202.60 eprover: CPU time limit exceeded, terminating
% 211.21/204.61 eprover: CPU time limit exceeded, terminating
% 213.31/206.62 eprover: CPU time limit exceeded, terminating
% 215.40/208.64 eprover: CPU time limit exceeded, terminating
% 217.43/210.65 eprover: CPU time limit exceeded, terminating
% 219.53/212.66 eprover: CPU time limit exceeded, terminating
% 221.60/214.68 eprover: CPU time limit exceeded, terminating
% 223.71/216.69 eprover: CPU time limit exceeded, terminating
% 225.78/218.71 eprover: CPU time limit exceeded, terminating
% 227.86/220.72 eprover: CPU time limit exceeded, terminating
% 229.97/222.74 eprover: CPU time limit exceeded, terminating
% 232.04/224.75 eprover: CPU time limit exceeded, terminating
% 234.11/226.76 eprover: CPU time limit exceeded, terminating
% 236.20/228.78 eprover: CPU time limit exceeded, terminating
% 238.29/230.79 eprover: CPU time limit exceeded, terminating
% 240.30/232.81 eprover: CPU time limit exceeded, terminating
% 242.42/234.82 eprover: CPU time limit exceeded, terminating
% 244.53/236.83 eprover: CPU time limit exceeded, terminating
% 246.60/238.84 eprover: CPU time limit exceeded, terminating
% 248.64/240.86 eprover: CPU time limit exceeded, terminating
% 250.74/242.87 eprover: CPU time limit exceeded, terminating
% 252.79/244.89 eprover: CPU time limit exceeded, terminating
% 254.89/246.90 eprover: CPU time limit exceeded, terminating
% 256.99/248.91 eprover: CPU time limit exceeded, terminating
% 259.08/250.93 eprover: CPU time limit exceeded, terminating
% 261.12/252.94 eprover: CPU time limit exceeded, terminating
% 263.24/254.95 eprover: CPU time limit exceeded, terminating
% 265.26/256.97 eprover: CPU time limit exceeded, terminating
% 267.35/258.98 eprover: CPU time limit exceeded, terminating
% 269.47/260.99 eprover: CPU time limit exceeded, terminating
% 271.59/263.01 eprover: CPU time limit exceeded, terminating
% 273.62/265.02 eprover: CPU time limit exceeded, terminating
% 275.74/267.03 eprover: CPU time limit exceeded, terminating
% 277.77/269.05 eprover: CPU time limit exceeded, terminating
% 279.87/271.06 eprover: CPU time limit exceeded, terminating
% 281.93/273.07 eprover: CPU time limit exceeded, terminating
% 284.06/275.09 eprover: CPU time limit exceeded, terminating
% 286.13/277.10 eprover: CPU time limit exceeded, terminating
% 288.19/279.11 eprover: CPU time limit exceeded, terminating
% 290.28/281.13 eprover: CPU time limit exceeded, terminating
% 292.33/283.14 eprover: CPU time limit exceeded, terminating
% 294.42/285.15 eprover: CPU time limit exceeded, terminating
% 296.52/287.17 eprover: CPU time limit exceeded, terminating
% 298.56/289.18 eprover: CPU time limit exceeded, terminating
% 300.07/290.60 eprover: CPU time limit exceeded, terminating
% 300.07/290.61 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------