TSTP Solution File: KLE105+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : KLE105+1 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n003.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 02:03:24 EDT 2022
% Result : Timeout 286.90s 286.76s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.12 % Problem : KLE105+1 : TPTP v8.1.0. Released v4.0.0.
% 0.08/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n003.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 : Thu Jun 16 08:10:11 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.15/2.38 eprover: CPU time limit exceeded, terminating
% 4.21/4.39 eprover: CPU time limit exceeded, terminating
% 6.13/6.41 eprover: CPU time limit exceeded, terminating
% 8.19/8.43 eprover: CPU time limit exceeded, terminating
% 10.25/10.44 eprover: CPU time limit exceeded, terminating
% 12.21/12.46 eprover: CPU time limit exceeded, terminating
% 14.26/14.47 eprover: CPU time limit exceeded, terminating
% 16.32/16.49 eprover: CPU time limit exceeded, terminating
% 18.29/18.51 eprover: CPU time limit exceeded, terminating
% 20.37/20.52 eprover: CPU time limit exceeded, terminating
% 22.37/22.54 eprover: CPU time limit exceeded, terminating
% 24.36/24.55 eprover: CPU time limit exceeded, terminating
% 26.39/26.57 eprover: CPU time limit exceeded, terminating
% 28.43/28.59 eprover: CPU time limit exceeded, terminating
% 30.46/30.60 eprover: CPU time limit exceeded, terminating
% 32.49/32.62 eprover: CPU time limit exceeded, terminating
% 34.48/34.63 eprover: CPU time limit exceeded, terminating
% 36.46/36.65 eprover: CPU time limit exceeded, terminating
% 38.47/38.66 eprover: CPU time limit exceeded, terminating
% 40.51/40.68 eprover: CPU time limit exceeded, terminating
% 42.51/42.69 eprover: CPU time limit exceeded, terminating
% 44.58/44.71 eprover: CPU time limit exceeded, terminating
% 46.61/46.72 eprover: CPU time limit exceeded, terminating
% 48.59/48.74 eprover: CPU time limit exceeded, terminating
% 50.57/50.75 eprover: CPU time limit exceeded, terminating
% 52.61/52.77 eprover: CPU time limit exceeded, terminating
% 54.63/54.78 eprover: CPU time limit exceeded, terminating
% 56.70/56.80 eprover: CPU time limit exceeded, terminating
% 58.71/58.81 eprover: CPU time limit exceeded, terminating
% 60.71/60.84 eprover: CPU time limit exceeded, terminating
% 62.70/62.87 eprover: CPU time limit exceeded, terminating
% 64.74/64.88 eprover: CPU time limit exceeded, terminating
% 66.70/66.90 eprover: CPU time limit exceeded, terminating
% 68.79/68.92 eprover: CPU time limit exceeded, terminating
% 70.82/70.93 eprover: CPU time limit exceeded, terminating
% 72.81/72.95 eprover: CPU time limit exceeded, terminating
% 74.77/74.99 eprover: CPU time limit exceeded, terminating
% 76.86/77.01 eprover: CPU time limit exceeded, terminating
% 78.86/79.03 eprover: CPU time limit exceeded, terminating
% 80.88/81.06 eprover: CPU time limit exceeded, terminating
% 82.90/83.07 eprover: CPU time limit exceeded, terminating
% 84.96/85.09 eprover: CPU time limit exceeded, terminating
% 86.98/87.11 eprover: CPU time limit exceeded, terminating
% 88.99/89.13 eprover: CPU time limit exceeded, terminating
% 91.00/91.15 eprover: CPU time limit exceeded, terminating
% 92.96/93.17 eprover: CPU time limit exceeded, terminating
% 94.97/95.18 eprover: CPU time limit exceeded, terminating
% 97.08/97.21 eprover: CPU time limit exceeded, terminating
% 99.05/99.22 eprover: CPU time limit exceeded, terminating
% 101.11/101.24 eprover: CPU time limit exceeded, terminating
% 103.05/103.26 eprover: CPU time limit exceeded, terminating
% 105.13/105.28 eprover: CPU time limit exceeded, terminating
% 107.18/107.30 eprover: CPU time limit exceeded, terminating
% 109.15/109.31 eprover: CPU time limit exceeded, terminating
% 111.16/111.33 eprover: CPU time limit exceeded, terminating
% 113.19/113.35 eprover: CPU time limit exceeded, terminating
% 115.21/115.38 eprover: CPU time limit exceeded, terminating
% 117.28/117.39 eprover: CPU time limit exceeded, terminating
% 119.23/119.41 eprover: CPU time limit exceeded, terminating
% 121.25/121.43 eprover: CPU time limit exceeded, terminating
% 123.31/123.45 eprover: CPU time limit exceeded, terminating
% 125.32/125.46 eprover: CPU time limit exceeded, terminating
% 127.33/127.48 eprover: CPU time limit exceeded, terminating
% 129.34/129.50 eprover: CPU time limit exceeded, terminating
% 131.40/131.51 eprover: CPU time limit exceeded, terminating
% 133.37/133.53 eprover: CPU time limit exceeded, terminating
% 135.37/135.55 eprover: CPU time limit exceeded, terminating
% 137.48/137.56 eprover: CPU time limit exceeded, terminating
% 139.47/139.58 eprover: CPU time limit exceeded, terminating
% 141.46/141.59 eprover: CPU time limit exceeded, terminating
% 143.48/143.61 eprover: CPU time limit exceeded, terminating
% 145.53/145.62 eprover: CPU time limit exceeded, terminating
% 147.50/147.64 eprover: CPU time limit exceeded, terminating
% 149.55/149.66 eprover: CPU time limit exceeded, terminating
% 151.58/151.67 eprover: CPU time limit exceeded, terminating
% 153.60/153.69 eprover: CPU time limit exceeded, terminating
% 155.56/155.71 eprover: CPU time limit exceeded, terminating
% 157.67/157.73 eprover: CPU time limit exceeded, terminating
% 159.67/159.74 eprover: CPU time limit exceeded, terminating
% 161.69/161.76 eprover: CPU time limit exceeded, terminating
% 163.69/163.77 eprover: CPU time limit exceeded, terminating
% 165.71/165.79 eprover: CPU time limit exceeded, terminating
% 167.70/167.81 eprover: CPU time limit exceeded, terminating
% 169.79/169.83 eprover: CPU time limit exceeded, terminating
% 171.80/171.84 eprover: CPU time limit exceeded, terminating
% 173.80/173.86 eprover: CPU time limit exceeded, terminating
% 175.80/175.88 eprover: CPU time limit exceeded, terminating
% 177.85/177.89 eprover: CPU time limit exceeded, terminating
% 179.87/179.91 eprover: CPU time limit exceeded, terminating
% 181.88/181.92 eprover: CPU time limit exceeded, terminating
% 183.88/183.94 eprover: CPU time limit exceeded, terminating
% 185.92/185.96 eprover: CPU time limit exceeded, terminating
% 187.95/187.97 eprover: CPU time limit exceeded, terminating
% 189.97/189.98 eprover: CPU time limit exceeded, terminating
% 191.98/192.00 eprover: CPU time limit exceeded, terminating
% 194.01/194.02 eprover: CPU time limit exceeded, terminating
% 195.96/196.03 eprover: CPU time limit exceeded, terminating
% 198.04/198.05 eprover: CPU time limit exceeded, terminating
% 200.03/200.07 eprover: CPU time limit exceeded, terminating
% 202.05/202.08 eprover: CPU time limit exceeded, terminating
% 204.05/204.10 eprover: CPU time limit exceeded, terminating
% 206.13/206.11 eprover: CPU time limit exceeded, terminating
% 208.13/208.13 eprover: CPU time limit exceeded, terminating
% 210.15/210.15 eprover: CPU time limit exceeded, terminating
% 212.16/212.16 eprover: CPU time limit exceeded, terminating
% 214.21/214.18 eprover: CPU time limit exceeded, terminating
% 216.22/216.19 eprover: CPU time limit exceeded, terminating
% 218.24/218.21 eprover: CPU time limit exceeded, terminating
% 220.21/220.23 eprover: CPU time limit exceeded, terminating
% 222.24/222.24 eprover: CPU time limit exceeded, terminating
% 224.24/224.26 eprover: CPU time limit exceeded, terminating
% 226.30/226.28 eprover: CPU time limit exceeded, terminating
% 228.35/228.29 eprover: CPU time limit exceeded, terminating
% 230.28/230.31 eprover: CPU time limit exceeded, terminating
% 232.33/232.32 eprover: CPU time limit exceeded, terminating
% 234.39/234.34 eprover: CPU time limit exceeded, terminating
% 236.42/236.36 eprover: CPU time limit exceeded, terminating
% 238.40/238.37 eprover: CPU time limit exceeded, terminating
% 240.43/240.39 eprover: CPU time limit exceeded, terminating
% 242.45/242.40 eprover: CPU time limit exceeded, terminating
% 244.46/244.42 eprover: CPU time limit exceeded, terminating
% 246.48/246.44 eprover: CPU time limit exceeded, terminating
% 248.53/248.45 eprover: CPU time limit exceeded, terminating
% 250.55/250.47 eprover: CPU time limit exceeded, terminating
% 252.54/252.48 eprover: CPU time limit exceeded, terminating
% 254.58/254.50 eprover: CPU time limit exceeded, terminating
% 256.58/256.51 eprover: CPU time limit exceeded, terminating
% 258.60/258.53 eprover: CPU time limit exceeded, terminating
% 260.59/260.54 eprover: CPU time limit exceeded, terminating
% 262.66/262.56 eprover: CPU time limit exceeded, terminating
% 264.69/264.58 eprover: CPU time limit exceeded, terminating
% 266.67/266.59 eprover: CPU time limit exceeded, terminating
% 268.69/268.61 eprover: CPU time limit exceeded, terminating
% 270.67/270.63 eprover: CPU time limit exceeded, terminating
% 272.77/272.64 eprover: CPU time limit exceeded, terminating
% 274.76/274.66 eprover: CPU time limit exceeded, terminating
% 276.77/276.67 eprover: CPU time limit exceeded, terminating
% 278.79/278.69 eprover: CPU time limit exceeded, terminating
% 280.85/280.71 eprover: CPU time limit exceeded, terminating
% 282.82/282.72 eprover: CPU time limit exceeded, terminating
% 284.81/284.74 eprover: CPU time limit exceeded, terminating
% 286.90/286.76 eprover: CPU time limit exceeded, terminating
% 288.89/288.77 eprover: CPU time limit exceeded, terminating
% 290.95/290.79 eprover: CPU time limit exceeded, terminating
% 292.94/292.81 eprover: CPU time limit exceeded, terminating
% 294.95/294.83 eprover: CPU time limit exceeded, terminating
% 296.97/296.84 eprover: CPU time limit exceeded, terminating
% 298.95/298.86 eprover: CPU time limit exceeded, terminating
% 300.03/299.84 eprover: CPU time limit exceeded, terminating
% 300.03/299.86 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------