TSTP Solution File: KLE031+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : KLE031+1 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n028.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:07 EDT 2022
% Result : Timeout 286.50s 284.45s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : KLE031+1 : TPTP v8.1.0. Released v4.0.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n028.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Thu Jun 16 10:23:41 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.18/2.38 eprover: CPU time limit exceeded, terminating
% 4.20/4.40 eprover: CPU time limit exceeded, terminating
% 6.13/6.42 eprover: CPU time limit exceeded, terminating
% 8.18/8.43 eprover: CPU time limit exceeded, terminating
% 10.21/10.44 eprover: CPU time limit exceeded, terminating
% 12.24/12.46 eprover: CPU time limit exceeded, terminating
% 14.25/14.47 eprover: CPU time limit exceeded, terminating
% 16.26/16.48 eprover: CPU time limit exceeded, terminating
% 18.25/18.50 eprover: CPU time limit exceeded, terminating
% 20.34/20.51 eprover: CPU time limit exceeded, terminating
% 22.34/22.53 eprover: CPU time limit exceeded, terminating
% 24.33/24.54 eprover: CPU time limit exceeded, terminating
% 26.38/26.56 eprover: CPU time limit exceeded, terminating
% 28.35/28.57 eprover: CPU time limit exceeded, terminating
% 30.43/30.59 eprover: CPU time limit exceeded, terminating
% 32.44/32.60 eprover: CPU time limit exceeded, terminating
% 34.44/34.62 eprover: CPU time limit exceeded, terminating
% 36.42/36.63 eprover: CPU time limit exceeded, terminating
% 38.47/38.64 eprover: CPU time limit exceeded, terminating
% 40.48/40.66 eprover: CPU time limit exceeded, terminating
% 42.47/42.68 eprover: CPU time limit exceeded, terminating
% 44.49/44.69 eprover: CPU time limit exceeded, terminating
% 46.49/46.70 eprover: CPU time limit exceeded, terminating
% 48.54/48.71 eprover: CPU time limit exceeded, terminating
% 50.58/50.73 eprover: CPU time limit exceeded, terminating
% 52.60/52.74 eprover: CPU time limit exceeded, terminating
% 54.61/54.76 eprover: CPU time limit exceeded, terminating
% 56.61/56.77 eprover: CPU time limit exceeded, terminating
% 58.64/58.78 eprover: CPU time limit exceeded, terminating
% 60.62/60.80 eprover: CPU time limit exceeded, terminating
% 62.65/62.81 eprover: CPU time limit exceeded, terminating
% 64.71/64.83 eprover: CPU time limit exceeded, terminating
% 66.68/66.84 eprover: CPU time limit exceeded, terminating
% 68.75/68.85 eprover: CPU time limit exceeded, terminating
% 70.69/70.87 eprover: CPU time limit exceeded, terminating
% 72.74/72.88 eprover: CPU time limit exceeded, terminating
% 74.71/74.90 eprover: CPU time limit exceeded, terminating
% 76.78/76.91 eprover: CPU time limit exceeded, terminating
% 78.84/78.92 eprover: CPU time limit exceeded, terminating
% 80.82/80.94 eprover: CPU time limit exceeded, terminating
% 82.86/82.95 eprover: CPU time limit exceeded, terminating
% 84.82/84.97 eprover: CPU time limit exceeded, terminating
% 86.87/86.98 eprover: CPU time limit exceeded, terminating
% 88.92/88.99 eprover: CPU time limit exceeded, terminating
% 90.87/91.01 eprover: CPU time limit exceeded, terminating
% 92.91/93.02 eprover: CPU time limit exceeded, terminating
% 94.97/95.03 eprover: CPU time limit exceeded, terminating
% 96.99/97.05 eprover: CPU time limit exceeded, terminating
% 98.97/99.06 eprover: CPU time limit exceeded, terminating
% 101.03/101.08 eprover: CPU time limit exceeded, terminating
% 102.99/103.09 eprover: CPU time limit exceeded, terminating
% 105.05/105.10 eprover: CPU time limit exceeded, terminating
% 107.08/107.12 eprover: CPU time limit exceeded, terminating
% 109.05/109.13 eprover: CPU time limit exceeded, terminating
% 111.02/111.15 eprover: CPU time limit exceeded, terminating
% 113.06/113.16 eprover: CPU time limit exceeded, terminating
% 115.10/115.17 eprover: CPU time limit exceeded, terminating
% 117.07/117.19 eprover: CPU time limit exceeded, terminating
% 119.16/119.21 eprover: CPU time limit exceeded, terminating
% 121.19/121.22 eprover: CPU time limit exceeded, terminating
% 123.20/123.23 eprover: CPU time limit exceeded, terminating
% 125.20/125.25 eprover: CPU time limit exceeded, terminating
% 127.18/127.26 eprover: CPU time limit exceeded, terminating
% 129.20/129.28 eprover: CPU time limit exceeded, terminating
% 131.27/131.29 eprover: CPU time limit exceeded, terminating
% 133.28/133.31 eprover: CPU time limit exceeded, terminating
% 135.30/135.32 eprover: CPU time limit exceeded, terminating
% 137.33/137.34 eprover: CPU time limit exceeded, terminating
% 139.30/139.35 eprover: CPU time limit exceeded, terminating
% 141.34/141.36 eprover: CPU time limit exceeded, terminating
% 143.30/143.38 eprover: CPU time limit exceeded, terminating
% 145.41/145.40 eprover: CPU time limit exceeded, terminating
% 147.41/147.41 eprover: CPU time limit exceeded, terminating
% 149.42/149.43 eprover: CPU time limit exceeded, terminating
% 151.45/151.44 eprover: CPU time limit exceeded, terminating
% 153.42/153.45 eprover: CPU time limit exceeded, terminating
% 155.44/155.47 eprover: CPU time limit exceeded, terminating
% 157.43/157.48 eprover: CPU time limit exceeded, terminating
% 159.46/159.50 eprover: CPU time limit exceeded, terminating
% 161.51/161.51 eprover: CPU time limit exceeded, terminating
% 163.53/163.53 eprover: CPU time limit exceeded, terminating
% 165.55/165.54 eprover: CPU time limit exceeded, terminating
% 167.55/167.55 eprover: CPU time limit exceeded, terminating
% 169.55/169.57 eprover: CPU time limit exceeded, terminating
% 171.57/171.58 eprover: CPU time limit exceeded, terminating
% 173.54/173.60 eprover: CPU time limit exceeded, terminating
% 175.64/175.61 eprover: CPU time limit exceeded, terminating
% 177.65/177.63 eprover: CPU time limit exceeded, terminating
% 179.66/179.64 eprover: CPU time limit exceeded, terminating
% 181.68/181.66 eprover: CPU time limit exceeded, terminating
% 183.68/183.67 eprover: CPU time limit exceeded, terminating
% 185.75/185.69 eprover: CPU time limit exceeded, terminating
% 187.76/187.71 eprover: CPU time limit exceeded, terminating
% 189.76/189.72 eprover: CPU time limit exceeded, terminating
% 191.78/191.73 eprover: CPU time limit exceeded, terminating
% 193.76/193.75 eprover: CPU time limit exceeded, terminating
% 195.75/195.76 eprover: CPU time limit exceeded, terminating
% 197.82/197.78 eprover: CPU time limit exceeded, terminating
% 199.85/199.79 eprover: CPU time limit exceeded, terminating
% 201.87/201.81 eprover: CPU time limit exceeded, terminating
% 203.90/203.82 eprover: CPU time limit exceeded, terminating
% 205.93/205.84 eprover: CPU time limit exceeded, terminating
% 207.92/207.86 eprover: CPU time limit exceeded, terminating
% 209.93/209.87 eprover: CPU time limit exceeded, terminating
% 211.93/211.89 eprover: CPU time limit exceeded, terminating
% 213.98/213.90 eprover: CPU time limit exceeded, terminating
% 216.02/215.91 eprover: CPU time limit exceeded, terminating
% 217.99/217.93 eprover: CPU time limit exceeded, terminating
% 220.04/219.94 eprover: CPU time limit exceeded, terminating
% 222.00/221.96 eprover: CPU time limit exceeded, terminating
% 224.06/223.97 eprover: CPU time limit exceeded, terminating
% 226.12/225.99 eprover: CPU time limit exceeded, terminating
% 228.12/228.00 eprover: CPU time limit exceeded, terminating
% 230.12/230.01 eprover: CPU time limit exceeded, terminating
% 232.15/232.03 eprover: CPU time limit exceeded, terminating
% 234.14/234.04 eprover: CPU time limit exceeded, terminating
% 236.15/236.06 eprover: CPU time limit exceeded, terminating
% 238.19/238.07 eprover: CPU time limit exceeded, terminating
% 240.15/240.09 eprover: CPU time limit exceeded, terminating
% 242.24/242.10 eprover: CPU time limit exceeded, terminating
% 244.26/244.12 eprover: CPU time limit exceeded, terminating
% 246.22/246.13 eprover: CPU time limit exceeded, terminating
% 248.23/248.16 eprover: CPU time limit exceeded, terminating
% 250.26/250.17 eprover: CPU time limit exceeded, terminating
% 252.32/252.18 eprover: CPU time limit exceeded, terminating
% 254.27/254.20 eprover: CPU time limit exceeded, terminating
% 256.29/256.21 eprover: CPU time limit exceeded, terminating
% 258.35/258.24 eprover: CPU time limit exceeded, terminating
% 260.40/260.25 eprover: CPU time limit exceeded, terminating
% 262.36/262.27 eprover: CPU time limit exceeded, terminating
% 264.40/264.28 eprover: CPU time limit exceeded, terminating
% 266.43/266.30 eprover: CPU time limit exceeded, terminating
% 268.47/268.32 eprover: CPU time limit exceeded, terminating
% 270.45/270.34 eprover: CPU time limit exceeded, terminating
% 272.45/272.35 eprover: CPU time limit exceeded, terminating
% 274.44/274.37 eprover: CPU time limit exceeded, terminating
% 278.39/276.38 eprover: CPU time limit exceeded, terminating
% 280.46/278.40 eprover: CPU time limit exceeded, terminating
% 282.48/280.41 eprover: CPU time limit exceeded, terminating
% 284.48/282.43 eprover: CPU time limit exceeded, terminating
% 286.50/284.45 eprover: CPU time limit exceeded, terminating
% 288.47/286.46 eprover: CPU time limit exceeded, terminating
% 290.54/288.48 eprover: CPU time limit exceeded, terminating
% 292.49/290.51 eprover: CPU time limit exceeded, terminating
% 294.55/292.53 eprover: CPU time limit exceeded, terminating
% 296.58/294.55 eprover: CPU time limit exceeded, terminating
% 298.58/296.58 eprover: CPU time limit exceeded, terminating
% 300.07/298.01 eprover: CPU time limit exceeded, terminating
% 300.07/298.02 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------