TSTP Solution File: KRS221+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : KRS221+1 : TPTP v8.1.0. Bugfixed v5.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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 03:05:31 EDT 2022
% Result : Timeout 287.12s 286.78s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.14 % Problem : KRS221+1 : TPTP v8.1.0. Bugfixed v5.4.0.
% 0.08/0.15 % Command : run_infinox %s
% 0.14/0.36 % Computer : n029.cluster.edu
% 0.14/0.36 % Model : x86_64 x86_64
% 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.36 % Memory : 8042.1875MB
% 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 600
% 0.14/0.36 % DateTime : Tue Jun 7 11:07:50 EDT 2022
% 0.14/0.36 % CPUTime :
% 2.22/2.44 eprover: CPU time limit exceeded, terminating
% 4.23/4.46 eprover: CPU time limit exceeded, terminating
% 6.20/6.48 eprover: CPU time limit exceeded, terminating
% 8.29/8.49 eprover: CPU time limit exceeded, terminating
% 10.32/10.51 eprover: CPU time limit exceeded, terminating
% 12.30/12.53 eprover: CPU time limit exceeded, terminating
% 14.32/14.54 eprover: CPU time limit exceeded, terminating
% 16.37/16.56 eprover: CPU time limit exceeded, terminating
% 18.42/18.58 eprover: CPU time limit exceeded, terminating
% 20.40/20.59 eprover: CPU time limit exceeded, terminating
% 22.38/22.61 eprover: CPU time limit exceeded, terminating
% 24.47/24.63 eprover: CPU time limit exceeded, terminating
% 26.50/26.65 eprover: CPU time limit exceeded, terminating
% 28.47/28.66 eprover: CPU time limit exceeded, terminating
% 30.55/30.68 eprover: CPU time limit exceeded, terminating
% 32.57/32.70 eprover: CPU time limit exceeded, terminating
% 34.57/34.71 eprover: CPU time limit exceeded, terminating
% 36.58/36.73 eprover: CPU time limit exceeded, terminating
% 38.62/38.75 eprover: CPU time limit exceeded, terminating
% 40.60/40.76 eprover: CPU time limit exceeded, terminating
% 42.60/42.78 eprover: CPU time limit exceeded, terminating
% 44.65/44.79 eprover: CPU time limit exceeded, terminating
% 46.72/46.81 eprover: CPU time limit exceeded, terminating
% 48.72/48.83 eprover: CPU time limit exceeded, terminating
% 50.69/50.84 eprover: CPU time limit exceeded, terminating
% 52.75/52.86 eprover: CPU time limit exceeded, terminating
% 54.80/54.88 eprover: CPU time limit exceeded, terminating
% 56.83/56.90 eprover: CPU time limit exceeded, terminating
% 58.77/58.91 eprover: CPU time limit exceeded, terminating
% 60.86/60.93 eprover: CPU time limit exceeded, terminating
% 62.86/62.95 eprover: CPU time limit exceeded, terminating
% 64.89/64.96 eprover: CPU time limit exceeded, terminating
% 66.86/66.98 eprover: CPU time limit exceeded, terminating
% 68.90/68.99 eprover: CPU time limit exceeded, terminating
% 70.98/71.01 eprover: CPU time limit exceeded, terminating
% 72.96/73.03 eprover: CPU time limit exceeded, terminating
% 74.96/75.05 eprover: CPU time limit exceeded, terminating
% 76.99/77.06 eprover: CPU time limit exceeded, terminating
% 79.01/79.08 eprover: CPU time limit exceeded, terminating
% 81.07/81.10 eprover: CPU time limit exceeded, terminating
% 83.08/83.11 eprover: CPU time limit exceeded, terminating
% 85.12/85.13 eprover: CPU time limit exceeded, terminating
% 87.09/87.15 eprover: CPU time limit exceeded, terminating
% 89.10/89.17 eprover: CPU time limit exceeded, terminating
% 91.17/91.18 eprover: CPU time limit exceeded, terminating
% 93.21/93.20 eprover: CPU time limit exceeded, terminating
% 95.21/95.21 eprover: CPU time limit exceeded, terminating
% 97.23/97.23 eprover: CPU time limit exceeded, terminating
% 99.19/99.25 eprover: CPU time limit exceeded, terminating
% 101.23/101.26 eprover: CPU time limit exceeded, terminating
% 103.26/103.28 eprover: CPU time limit exceeded, terminating
% 105.35/105.29 eprover: CPU time limit exceeded, terminating
% 107.35/107.31 eprover: CPU time limit exceeded, terminating
% 109.34/109.33 eprover: CPU time limit exceeded, terminating
% 111.36/111.34 eprover: CPU time limit exceeded, terminating
% 113.39/113.36 eprover: CPU time limit exceeded, terminating
% 115.37/115.38 eprover: CPU time limit exceeded, terminating
% 117.41/117.40 eprover: CPU time limit exceeded, terminating
% 119.48/119.41 eprover: CPU time limit exceeded, terminating
% 121.49/121.43 eprover: CPU time limit exceeded, terminating
% 123.49/123.45 eprover: CPU time limit exceeded, terminating
% 125.51/125.46 eprover: CPU time limit exceeded, terminating
% 127.58/127.48 eprover: CPU time limit exceeded, terminating
% 129.53/129.50 eprover: CPU time limit exceeded, terminating
% 131.61/131.51 eprover: CPU time limit exceeded, terminating
% 133.61/133.53 eprover: CPU time limit exceeded, terminating
% 135.62/135.54 eprover: CPU time limit exceeded, terminating
% 137.65/137.56 eprover: CPU time limit exceeded, terminating
% 139.63/139.58 eprover: CPU time limit exceeded, terminating
% 141.71/141.59 eprover: CPU time limit exceeded, terminating
% 143.72/143.61 eprover: CPU time limit exceeded, terminating
% 145.73/145.63 eprover: CPU time limit exceeded, terminating
% 147.73/147.64 eprover: CPU time limit exceeded, terminating
% 149.78/149.66 eprover: CPU time limit exceeded, terminating
% 151.77/151.68 eprover: CPU time limit exceeded, terminating
% 153.79/153.69 eprover: CPU time limit exceeded, terminating
% 155.79/155.71 eprover: CPU time limit exceeded, terminating
% 157.89/157.73 eprover: CPU time limit exceeded, terminating
% 159.85/159.74 eprover: CPU time limit exceeded, terminating
% 161.86/161.76 eprover: CPU time limit exceeded, terminating
% 163.90/163.78 eprover: CPU time limit exceeded, terminating
% 165.89/165.79 eprover: CPU time limit exceeded, terminating
% 167.99/167.81 eprover: CPU time limit exceeded, terminating
% 169.99/169.83 eprover: CPU time limit exceeded, terminating
% 171.96/171.84 eprover: CPU time limit exceeded, terminating
% 173.99/173.86 eprover: CPU time limit exceeded, terminating
% 176.02/175.88 eprover: CPU time limit exceeded, terminating
% 178.10/177.90 eprover: CPU time limit exceeded, terminating
% 180.11/179.91 eprover: CPU time limit exceeded, terminating
% 182.14/181.93 eprover: CPU time limit exceeded, terminating
% 184.12/183.95 eprover: CPU time limit exceeded, terminating
% 186.12/185.96 eprover: CPU time limit exceeded, terminating
% 188.15/187.98 eprover: CPU time limit exceeded, terminating
% 190.17/190.00 eprover: CPU time limit exceeded, terminating
% 192.24/192.01 eprover: CPU time limit exceeded, terminating
% 194.27/194.03 eprover: CPU time limit exceeded, terminating
% 196.27/196.05 eprover: CPU time limit exceeded, terminating
% 198.24/198.06 eprover: CPU time limit exceeded, terminating
% 200.25/200.08 eprover: CPU time limit exceeded, terminating
% 202.36/202.09 eprover: CPU time limit exceeded, terminating
% 204.35/204.11 eprover: CPU time limit exceeded, terminating
% 206.38/206.13 eprover: CPU time limit exceeded, terminating
% 208.38/208.14 eprover: CPU time limit exceeded, terminating
% 210.39/210.16 eprover: CPU time limit exceeded, terminating
% 212.41/212.18 eprover: CPU time limit exceeded, terminating
% 214.42/214.19 eprover: CPU time limit exceeded, terminating
% 216.51/216.21 eprover: CPU time limit exceeded, terminating
% 218.47/218.23 eprover: CPU time limit exceeded, terminating
% 220.51/220.24 eprover: CPU time limit exceeded, terminating
% 222.54/222.26 eprover: CPU time limit exceeded, terminating
% 224.51/224.27 eprover: CPU time limit exceeded, terminating
% 226.60/226.29 eprover: CPU time limit exceeded, terminating
% 228.63/228.31 eprover: CPU time limit exceeded, terminating
% 230.58/230.32 eprover: CPU time limit exceeded, terminating
% 232.66/232.34 eprover: CPU time limit exceeded, terminating
% 234.58/234.37 eprover: CPU time limit exceeded, terminating
% 236.66/236.38 eprover: CPU time limit exceeded, terminating
% 238.69/238.40 eprover: CPU time limit exceeded, terminating
% 240.66/240.42 eprover: CPU time limit exceeded, terminating
% 242.69/242.44 eprover: CPU time limit exceeded, terminating
% 244.72/244.46 eprover: CPU time limit exceeded, terminating
% 246.77/246.48 eprover: CPU time limit exceeded, terminating
% 248.72/248.50 eprover: CPU time limit exceeded, terminating
% 250.81/250.52 eprover: CPU time limit exceeded, terminating
% 252.82/252.54 eprover: CPU time limit exceeded, terminating
% 254.82/254.56 eprover: CPU time limit exceeded, terminating
% 256.86/256.57 eprover: CPU time limit exceeded, terminating
% 258.84/258.58 eprover: CPU time limit exceeded, terminating
% 260.87/260.60 eprover: CPU time limit exceeded, terminating
% 262.91/262.61 eprover: CPU time limit exceeded, terminating
% 264.86/264.63 eprover: CPU time limit exceeded, terminating
% 266.89/266.64 eprover: CPU time limit exceeded, terminating
% 268.98/268.65 eprover: CPU time limit exceeded, terminating
% 270.98/270.67 eprover: CPU time limit exceeded, terminating
% 273.01/272.68 eprover: CPU time limit exceeded, terminating
% 275.00/274.70 eprover: CPU time limit exceeded, terminating
% 276.99/276.71 eprover: CPU time limit exceeded, terminating
% 279.05/278.72 eprover: CPU time limit exceeded, terminating
% 281.02/280.74 eprover: CPU time limit exceeded, terminating
% 283.11/282.75 eprover: CPU time limit exceeded, terminating
% 285.09/284.77 eprover: CPU time limit exceeded, terminating
% 287.12/286.78 eprover: CPU time limit exceeded, terminating
% 289.11/288.80 eprover: CPU time limit exceeded, terminating
% 291.18/290.82 eprover: CPU time limit exceeded, terminating
% 293.19/292.83 eprover: CPU time limit exceeded, terminating
% 295.21/294.84 eprover: CPU time limit exceeded, terminating
% 297.25/296.86 eprover: CPU time limit exceeded, terminating
% 299.22/298.88 eprover: CPU time limit exceeded, terminating
% 300.04/299.64 eprover: CPU time limit exceeded, terminating
% 300.04/299.66 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------