TSTP Solution File: SET435-6 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SET435-6 : TPTP v8.1.0. Bugfixed v2.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n006.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 : Tue Jul 19 01:55:28 EDT 2022
% Result : Timeout 286.63s 284.61s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SET435-6 : TPTP v8.1.0. Bugfixed v2.1.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n006.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 : Mon Jul 11 00:41:05 EDT 2022
% 0.13/0.35 % CPUTime :
% 2.27/2.46 eprover: CPU time limit exceeded, terminating
% 4.30/4.48 eprover: CPU time limit exceeded, terminating
% 6.29/6.49 eprover: CPU time limit exceeded, terminating
% 8.30/8.50 eprover: CPU time limit exceeded, terminating
% 10.30/10.51 eprover: CPU time limit exceeded, terminating
% 12.38/12.52 eprover: CPU time limit exceeded, terminating
% 14.35/14.54 eprover: CPU time limit exceeded, terminating
% 16.41/16.55 eprover: CPU time limit exceeded, terminating
% 18.42/18.57 eprover: CPU time limit exceeded, terminating
% 20.45/20.60 eprover: CPU time limit exceeded, terminating
% 22.40/22.61 eprover: CPU time limit exceeded, terminating
% 24.41/24.63 eprover: CPU time limit exceeded, terminating
% 26.50/26.65 eprover: CPU time limit exceeded, terminating
% 28.53/28.67 eprover: CPU time limit exceeded, terminating
% 30.55/30.69 eprover: CPU time limit exceeded, terminating
% 32.52/32.71 eprover: CPU time limit exceeded, terminating
% 34.57/34.72 eprover: CPU time limit exceeded, terminating
% 36.54/36.74 eprover: CPU time limit exceeded, terminating
% 38.59/38.76 eprover: CPU time limit exceeded, terminating
% 40.56/40.77 eprover: CPU time limit exceeded, terminating
% 42.64/42.78 eprover: CPU time limit exceeded, terminating
% 44.63/44.80 eprover: CPU time limit exceeded, terminating
% 46.68/46.81 eprover: CPU time limit exceeded, terminating
% 48.69/48.83 eprover: CPU time limit exceeded, terminating
% 50.68/50.84 eprover: CPU time limit exceeded, terminating
% 52.65/52.86 eprover: CPU time limit exceeded, terminating
% 54.69/54.87 eprover: CPU time limit exceeded, terminating
% 56.72/56.88 eprover: CPU time limit exceeded, terminating
% 58.68/58.89 eprover: CPU time limit exceeded, terminating
% 60.79/60.92 eprover: CPU time limit exceeded, terminating
% 62.81/62.94 eprover: CPU time limit exceeded, terminating
% 64.83/64.99 eprover: CPU time limit exceeded, terminating
% 66.80/67.01 eprover: CPU time limit exceeded, terminating
% 68.81/69.03 eprover: CPU time limit exceeded, terminating
% 70.87/71.04 eprover: CPU time limit exceeded, terminating
% 72.81/73.05 eprover: CPU time limit exceeded, terminating
% 74.88/75.06 eprover: CPU time limit exceeded, terminating
% 76.93/77.08 eprover: CPU time limit exceeded, terminating
% 78.94/79.09 eprover: CPU time limit exceeded, terminating
% 80.96/81.10 eprover: CPU time limit exceeded, terminating
% 82.95/83.11 eprover: CPU time limit exceeded, terminating
% 85.02/85.13 eprover: CPU time limit exceeded, terminating
% 87.04/87.14 eprover: CPU time limit exceeded, terminating
% 89.05/89.15 eprover: CPU time limit exceeded, terminating
% 91.05/91.16 eprover: CPU time limit exceeded, terminating
% 93.07/93.17 eprover: CPU time limit exceeded, terminating
% 95.05/95.18 eprover: CPU time limit exceeded, terminating
% 97.09/97.20 eprover: CPU time limit exceeded, terminating
% 99.14/99.21 eprover: CPU time limit exceeded, terminating
% 101.11/101.22 eprover: CPU time limit exceeded, terminating
% 103.09/103.23 eprover: CPU time limit exceeded, terminating
% 105.13/105.45 eprover: CPU time limit exceeded, terminating
% 107.18/107.46 eprover: CPU time limit exceeded, terminating
% 109.21/109.47 eprover: CPU time limit exceeded, terminating
% 111.23/111.48 eprover: CPU time limit exceeded, terminating
% 113.25/113.49 eprover: CPU time limit exceeded, terminating
% 115.23/115.50 eprover: CPU time limit exceeded, terminating
% 117.26/117.51 eprover: CPU time limit exceeded, terminating
% 119.30/119.53 eprover: CPU time limit exceeded, terminating
% 121.32/121.54 eprover: CPU time limit exceeded, terminating
% 123.35/123.55 eprover: CPU time limit exceeded, terminating
% 125.35/125.56 eprover: CPU time limit exceeded, terminating
% 127.37/127.57 eprover: CPU time limit exceeded, terminating
% 129.37/129.58 eprover: CPU time limit exceeded, terminating
% 131.41/131.59 eprover: CPU time limit exceeded, terminating
% 133.39/133.61 eprover: CPU time limit exceeded, terminating
% 135.48/135.62 eprover: CPU time limit exceeded, terminating
% 137.43/137.63 eprover: CPU time limit exceeded, terminating
% 139.51/139.64 eprover: CPU time limit exceeded, terminating
% 141.50/141.65 eprover: CPU time limit exceeded, terminating
% 143.54/143.66 eprover: CPU time limit exceeded, terminating
% 145.56/145.68 eprover: CPU time limit exceeded, terminating
% 147.53/147.69 eprover: CPU time limit exceeded, terminating
% 149.59/149.70 eprover: CPU time limit exceeded, terminating
% 151.56/151.71 eprover: CPU time limit exceeded, terminating
% 153.60/153.72 eprover: CPU time limit exceeded, terminating
% 155.66/155.74 eprover: CPU time limit exceeded, terminating
% 157.65/157.75 eprover: CPU time limit exceeded, terminating
% 159.61/159.76 eprover: CPU time limit exceeded, terminating
% 161.70/161.77 eprover: CPU time limit exceeded, terminating
% 163.72/163.78 eprover: CPU time limit exceeded, terminating
% 165.73/165.80 eprover: CPU time limit exceeded, terminating
% 167.74/167.81 eprover: CPU time limit exceeded, terminating
% 169.74/169.82 eprover: CPU time limit exceeded, terminating
% 171.75/171.83 eprover: CPU time limit exceeded, terminating
% 173.77/173.84 eprover: CPU time limit exceeded, terminating
% 175.81/175.85 eprover: CPU time limit exceeded, terminating
% 177.81/177.87 eprover: CPU time limit exceeded, terminating
% 179.80/179.88 eprover: CPU time limit exceeded, terminating
% 181.86/181.89 eprover: CPU time limit exceeded, terminating
% 183.89/183.90 eprover: CPU time limit exceeded, terminating
% 185.87/185.92 eprover: CPU time limit exceeded, terminating
% 187.89/187.93 eprover: CPU time limit exceeded, terminating
% 189.89/189.94 eprover: CPU time limit exceeded, terminating
% 191.91/191.95 eprover: CPU time limit exceeded, terminating
% 194.00/194.08 eprover: CPU time limit exceeded, terminating
% 196.00/196.09 eprover: CPU time limit exceeded, terminating
% 198.01/198.10 eprover: CPU time limit exceeded, terminating
% 200.01/200.11 eprover: CPU time limit exceeded, terminating
% 202.05/202.12 eprover: CPU time limit exceeded, terminating
% 204.07/204.14 eprover: CPU time limit exceeded, terminating
% 206.04/206.15 eprover: CPU time limit exceeded, terminating
% 208.12/208.16 eprover: CPU time limit exceeded, terminating
% 210.08/210.17 eprover: CPU time limit exceeded, terminating
% 212.14/212.18 eprover: CPU time limit exceeded, terminating
% 214.11/214.20 eprover: CPU time limit exceeded, terminating
% 216.17/216.21 eprover: CPU time limit exceeded, terminating
% 218.19/218.22 eprover: CPU time limit exceeded, terminating
% 220.21/220.23 eprover: CPU time limit exceeded, terminating
% 222.16/222.25 eprover: CPU time limit exceeded, terminating
% 224.24/224.26 eprover: CPU time limit exceeded, terminating
% 226.18/226.27 eprover: CPU time limit exceeded, terminating
% 228.27/228.28 eprover: CPU time limit exceeded, terminating
% 230.30/230.30 eprover: CPU time limit exceeded, terminating
% 232.29/232.31 eprover: CPU time limit exceeded, terminating
% 234.33/234.32 eprover: CPU time limit exceeded, terminating
% 236.34/236.33 eprover: CPU time limit exceeded, terminating
% 238.32/238.35 eprover: CPU time limit exceeded, terminating
% 240.37/240.36 eprover: CPU time limit exceeded, terminating
% 242.39/242.37 eprover: CPU time limit exceeded, terminating
% 244.36/244.38 eprover: CPU time limit exceeded, terminating
% 246.45/246.39 eprover: CPU time limit exceeded, terminating
% 248.37/248.41 eprover: CPU time limit exceeded, terminating
% 250.40/250.42 eprover: CPU time limit exceeded, terminating
% 252.45/252.43 eprover: CPU time limit exceeded, terminating
% 254.51/254.44 eprover: CPU time limit exceeded, terminating
% 256.46/256.45 eprover: CPU time limit exceeded, terminating
% 258.50/258.46 eprover: CPU time limit exceeded, terminating
% 260.52/260.48 eprover: CPU time limit exceeded, terminating
% 262.58/262.49 eprover: CPU time limit exceeded, terminating
% 264.54/264.50 eprover: CPU time limit exceeded, terminating
% 266.60/266.51 eprover: CPU time limit exceeded, terminating
% 268.62/268.52 eprover: CPU time limit exceeded, terminating
% 270.62/270.53 eprover: CPU time limit exceeded, terminating
% 272.61/272.55 eprover: CPU time limit exceeded, terminating
% 274.61/274.56 eprover: CPU time limit exceeded, terminating
% 276.63/276.57 eprover: CPU time limit exceeded, terminating
% 278.66/278.58 eprover: CPU time limit exceeded, terminating
% 282.64/280.59 eprover: CPU time limit exceeded, terminating
% 284.60/282.60 eprover: CPU time limit exceeded, terminating
% 286.63/284.61 eprover: CPU time limit exceeded, terminating
% 288.70/286.63 eprover: CPU time limit exceeded, terminating
% 290.70/288.64 eprover: CPU time limit exceeded, terminating
% 292.71/290.65 eprover: CPU time limit exceeded, terminating
% 294.77/292.66 eprover: CPU time limit exceeded, terminating
% 296.71/294.68 eprover: CPU time limit exceeded, terminating
% 298.80/296.69 eprover: CPU time limit exceeded, terminating
% 300.03/297.93 eprover: CPU time limit exceeded, terminating
% 300.03/297.94 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------