TSTP Solution File: KLE117+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : KLE117+1 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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:27 EDT 2022
% Result : Timeout 286.23s 282.53s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.11 % Problem : KLE117+1 : TPTP v8.1.0. Released v4.0.0.
% 0.07/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n024.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Thu Jun 16 15:43:18 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.16/2.37 eprover: CPU time limit exceeded, terminating
% 4.20/4.38 eprover: CPU time limit exceeded, terminating
% 6.17/6.39 eprover: CPU time limit exceeded, terminating
% 8.18/8.41 eprover: CPU time limit exceeded, terminating
% 10.23/10.42 eprover: CPU time limit exceeded, terminating
% 12.22/12.43 eprover: CPU time limit exceeded, terminating
% 14.26/14.45 eprover: CPU time limit exceeded, terminating
% 16.27/16.46 eprover: CPU time limit exceeded, terminating
% 18.31/18.47 eprover: CPU time limit exceeded, terminating
% 20.32/20.49 eprover: CPU time limit exceeded, terminating
% 22.31/22.50 eprover: CPU time limit exceeded, terminating
% 24.34/24.51 eprover: CPU time limit exceeded, terminating
% 26.37/26.53 eprover: CPU time limit exceeded, terminating
% 28.35/28.54 eprover: CPU time limit exceeded, terminating
% 30.41/30.55 eprover: CPU time limit exceeded, terminating
% 32.42/32.57 eprover: CPU time limit exceeded, terminating
% 34.38/34.58 eprover: CPU time limit exceeded, terminating
% 36.43/36.59 eprover: CPU time limit exceeded, terminating
% 40.41/38.60 eprover: CPU time limit exceeded, terminating
% 42.43/40.61 eprover: CPU time limit exceeded, terminating
% 44.42/42.63 eprover: CPU time limit exceeded, terminating
% 46.49/44.64 eprover: CPU time limit exceeded, terminating
% 48.40/46.65 eprover: CPU time limit exceeded, terminating
% 50.45/48.66 eprover: CPU time limit exceeded, terminating
% 52.50/50.68 eprover: CPU time limit exceeded, terminating
% 54.48/52.69 eprover: CPU time limit exceeded, terminating
% 56.51/54.71 eprover: CPU time limit exceeded, terminating
% 58.52/56.72 eprover: CPU time limit exceeded, terminating
% 60.58/58.73 eprover: CPU time limit exceeded, terminating
% 62.61/60.76 eprover: CPU time limit exceeded, terminating
% 64.55/62.77 eprover: CPU time limit exceeded, terminating
% 66.61/64.78 eprover: CPU time limit exceeded, terminating
% 68.65/66.80 eprover: CPU time limit exceeded, terminating
% 70.66/68.81 eprover: CPU time limit exceeded, terminating
% 72.66/70.82 eprover: CPU time limit exceeded, terminating
% 74.65/72.84 eprover: CPU time limit exceeded, terminating
% 76.73/74.85 eprover: CPU time limit exceeded, terminating
% 78.67/76.86 eprover: CPU time limit exceeded, terminating
% 80.72/78.87 eprover: CPU time limit exceeded, terminating
% 82.77/80.89 eprover: CPU time limit exceeded, terminating
% 84.72/82.90 eprover: CPU time limit exceeded, terminating
% 86.75/84.91 eprover: CPU time limit exceeded, terminating
% 88.81/86.93 eprover: CPU time limit exceeded, terminating
% 90.75/88.94 eprover: CPU time limit exceeded, terminating
% 92.84/90.95 eprover: CPU time limit exceeded, terminating
% 94.87/92.97 eprover: CPU time limit exceeded, terminating
% 96.85/94.98 eprover: CPU time limit exceeded, terminating
% 98.89/96.99 eprover: CPU time limit exceeded, terminating
% 100.91/99.00 eprover: CPU time limit exceeded, terminating
% 102.87/101.02 eprover: CPU time limit exceeded, terminating
% 104.87/103.03 eprover: CPU time limit exceeded, terminating
% 106.87/105.04 eprover: CPU time limit exceeded, terminating
% 108.91/107.05 eprover: CPU time limit exceeded, terminating
% 110.98/109.07 eprover: CPU time limit exceeded, terminating
% 113.01/111.08 eprover: CPU time limit exceeded, terminating
% 114.97/113.09 eprover: CPU time limit exceeded, terminating
% 116.95/115.10 eprover: CPU time limit exceeded, terminating
% 119.04/117.11 eprover: CPU time limit exceeded, terminating
% 121.03/119.13 eprover: CPU time limit exceeded, terminating
% 123.09/121.14 eprover: CPU time limit exceeded, terminating
% 125.10/123.15 eprover: CPU time limit exceeded, terminating
% 127.09/125.17 eprover: CPU time limit exceeded, terminating
% 129.10/127.18 eprover: CPU time limit exceeded, terminating
% 131.10/129.19 eprover: CPU time limit exceeded, terminating
% 133.19/131.21 eprover: CPU time limit exceeded, terminating
% 135.18/133.22 eprover: CPU time limit exceeded, terminating
% 137.20/135.23 eprover: CPU time limit exceeded, terminating
% 139.17/137.25 eprover: CPU time limit exceeded, terminating
% 141.14/139.26 eprover: CPU time limit exceeded, terminating
% 143.22/141.27 eprover: CPU time limit exceeded, terminating
% 145.24/143.29 eprover: CPU time limit exceeded, terminating
% 147.27/145.31 eprover: CPU time limit exceeded, terminating
% 149.26/147.33 eprover: CPU time limit exceeded, terminating
% 151.28/149.35 eprover: CPU time limit exceeded, terminating
% 153.32/151.36 eprover: CPU time limit exceeded, terminating
% 155.36/153.39 eprover: CPU time limit exceeded, terminating
% 157.36/155.41 eprover: CPU time limit exceeded, terminating
% 159.35/157.42 eprover: CPU time limit exceeded, terminating
% 161.36/159.44 eprover: CPU time limit exceeded, terminating
% 163.40/161.46 eprover: CPU time limit exceeded, terminating
% 165.37/163.47 eprover: CPU time limit exceeded, terminating
% 167.39/165.49 eprover: CPU time limit exceeded, terminating
% 169.43/167.50 eprover: CPU time limit exceeded, terminating
% 171.38/169.52 eprover: CPU time limit exceeded, terminating
% 173.41/171.54 eprover: CPU time limit exceeded, terminating
% 175.49/173.56 eprover: CPU time limit exceeded, terminating
% 177.52/175.57 eprover: CPU time limit exceeded, terminating
% 179.47/177.59 eprover: CPU time limit exceeded, terminating
% 181.54/179.62 eprover: CPU time limit exceeded, terminating
% 185.49/181.66 eprover: CPU time limit exceeded, terminating
% 187.53/183.68 eprover: CPU time limit exceeded, terminating
% 189.56/185.69 eprover: CPU time limit exceeded, terminating
% 191.58/187.70 eprover: CPU time limit exceeded, terminating
% 193.55/189.73 eprover: CPU time limit exceeded, terminating
% 195.57/191.74 eprover: CPU time limit exceeded, terminating
% 197.55/193.77 eprover: CPU time limit exceeded, terminating
% 199.58/195.78 eprover: CPU time limit exceeded, terminating
% 201.61/197.80 eprover: CPU time limit exceeded, terminating
% 203.61/199.82 eprover: CPU time limit exceeded, terminating
% 205.66/201.84 eprover: CPU time limit exceeded, terminating
% 207.65/203.86 eprover: CPU time limit exceeded, terminating
% 209.70/205.87 eprover: CPU time limit exceeded, terminating
% 211.70/207.88 eprover: CPU time limit exceeded, terminating
% 213.68/209.90 eprover: CPU time limit exceeded, terminating
% 215.69/211.92 eprover: CPU time limit exceeded, terminating
% 217.72/213.94 eprover: CPU time limit exceeded, terminating
% 219.76/215.96 eprover: CPU time limit exceeded, terminating
% 221.74/217.98 eprover: CPU time limit exceeded, terminating
% 223.79/220.01 eprover: CPU time limit exceeded, terminating
% 225.73/222.02 eprover: CPU time limit exceeded, terminating
% 227.81/224.06 eprover: CPU time limit exceeded, terminating
% 229.84/226.07 eprover: CPU time limit exceeded, terminating
% 231.79/228.09 eprover: CPU time limit exceeded, terminating
% 233.84/230.10 eprover: CPU time limit exceeded, terminating
% 235.87/232.12 eprover: CPU time limit exceeded, terminating
% 237.88/234.14 eprover: CPU time limit exceeded, terminating
% 239.89/236.15 eprover: CPU time limit exceeded, terminating
% 241.88/238.16 eprover: CPU time limit exceeded, terminating
% 243.93/240.18 eprover: CPU time limit exceeded, terminating
% 245.93/242.19 eprover: CPU time limit exceeded, terminating
% 247.95/244.22 eprover: CPU time limit exceeded, terminating
% 249.98/246.24 eprover: CPU time limit exceeded, terminating
% 251.92/248.26 eprover: CPU time limit exceeded, terminating
% 253.98/250.28 eprover: CPU time limit exceeded, terminating
% 255.96/252.29 eprover: CPU time limit exceeded, terminating
% 257.97/254.31 eprover: CPU time limit exceeded, terminating
% 259.98/256.33 eprover: CPU time limit exceeded, terminating
% 262.03/258.34 eprover: CPU time limit exceeded, terminating
% 264.05/260.36 eprover: CPU time limit exceeded, terminating
% 266.04/262.38 eprover: CPU time limit exceeded, terminating
% 268.08/264.39 eprover: CPU time limit exceeded, terminating
% 270.10/266.41 eprover: CPU time limit exceeded, terminating
% 272.12/268.43 eprover: CPU time limit exceeded, terminating
% 274.13/270.44 eprover: CPU time limit exceeded, terminating
% 276.14/272.46 eprover: CPU time limit exceeded, terminating
% 278.18/274.48 eprover: CPU time limit exceeded, terminating
% 280.14/276.49 eprover: CPU time limit exceeded, terminating
% 282.16/278.51 eprover: CPU time limit exceeded, terminating
% 284.14/280.52 eprover: CPU time limit exceeded, terminating
% 286.23/282.53 eprover: CPU time limit exceeded, terminating
% 288.22/284.55 eprover: CPU time limit exceeded, terminating
% 290.25/286.57 eprover: CPU time limit exceeded, terminating
% 292.27/288.59 eprover: CPU time limit exceeded, terminating
% 294.22/290.61 eprover: CPU time limit exceeded, terminating
% 296.29/292.62 eprover: CPU time limit exceeded, terminating
% 298.26/294.64 eprover: CPU time limit exceeded, terminating
% 300.04/296.38 eprover: CPU time limit exceeded, terminating
% 300.04/296.39 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------