TSTP Solution File: SET463-6 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SET463-6 : TPTP v8.1.0. Bugfixed v2.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n015.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:37 EDT 2022
% Result : Timeout 286.13s 284.65s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : SET463-6 : TPTP v8.1.0. Bugfixed v2.1.0.
% 0.11/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n015.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 : Sun Jul 10 03:42:22 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.24/2.44 eprover: CPU time limit exceeded, terminating
% 4.22/4.45 eprover: CPU time limit exceeded, terminating
% 6.24/6.46 eprover: CPU time limit exceeded, terminating
% 8.26/8.47 eprover: CPU time limit exceeded, terminating
% 10.24/10.47 eprover: CPU time limit exceeded, terminating
% 12.26/12.48 eprover: CPU time limit exceeded, terminating
% 14.35/14.49 eprover: CPU time limit exceeded, terminating
% 16.28/16.50 eprover: CPU time limit exceeded, terminating
% 18.33/18.52 eprover: CPU time limit exceeded, terminating
% 20.36/20.53 eprover: CPU time limit exceeded, terminating
% 22.38/22.54 eprover: CPU time limit exceeded, terminating
% 24.34/24.56 eprover: CPU time limit exceeded, terminating
% 26.35/26.57 eprover: CPU time limit exceeded, terminating
% 28.43/28.58 eprover: CPU time limit exceeded, terminating
% 30.37/30.60 eprover: CPU time limit exceeded, terminating
% 32.46/32.61 eprover: CPU time limit exceeded, terminating
% 34.44/34.64 eprover: CPU time limit exceeded, terminating
% 36.48/36.65 eprover: CPU time limit exceeded, terminating
% 38.46/38.67 eprover: CPU time limit exceeded, terminating
% 40.47/40.68 eprover: CPU time limit exceeded, terminating
% 42.53/42.69 eprover: CPU time limit exceeded, terminating
% 44.48/44.70 eprover: CPU time limit exceeded, terminating
% 46.54/46.71 eprover: CPU time limit exceeded, terminating
% 48.56/48.72 eprover: CPU time limit exceeded, terminating
% 50.57/50.73 eprover: CPU time limit exceeded, terminating
% 52.59/52.74 eprover: CPU time limit exceeded, terminating
% 54.55/54.76 eprover: CPU time limit exceeded, terminating
% 56.63/56.78 eprover: CPU time limit exceeded, terminating
% 58.62/58.79 eprover: CPU time limit exceeded, terminating
% 60.63/60.80 eprover: CPU time limit exceeded, terminating
% 62.67/62.98 eprover: CPU time limit exceeded, terminating
% 64.65/64.99 eprover: CPU time limit exceeded, terminating
% 66.68/67.01 eprover: CPU time limit exceeded, terminating
% 68.67/69.03 eprover: CPU time limit exceeded, terminating
% 70.73/71.03 eprover: CPU time limit exceeded, terminating
% 72.75/73.05 eprover: CPU time limit exceeded, terminating
% 74.74/75.06 eprover: CPU time limit exceeded, terminating
% 76.77/77.07 eprover: CPU time limit exceeded, terminating
% 78.76/79.12 eprover: CPU time limit exceeded, terminating
% 80.75/81.13 eprover: CPU time limit exceeded, terminating
% 84.75/83.14 eprover: CPU time limit exceeded, terminating
% 86.74/85.16 eprover: CPU time limit exceeded, terminating
% 88.76/87.18 eprover: CPU time limit exceeded, terminating
% 90.76/89.19 eprover: CPU time limit exceeded, terminating
% 92.80/91.20 eprover: CPU time limit exceeded, terminating
% 94.77/93.22 eprover: CPU time limit exceeded, terminating
% 96.84/95.22 eprover: CPU time limit exceeded, terminating
% 98.81/97.24 eprover: CPU time limit exceeded, terminating
% 100.86/99.25 eprover: CPU time limit exceeded, terminating
% 102.89/101.26 eprover: CPU time limit exceeded, terminating
% 104.91/103.27 eprover: CPU time limit exceeded, terminating
% 106.88/105.28 eprover: CPU time limit exceeded, terminating
% 108.92/107.30 eprover: CPU time limit exceeded, terminating
% 110.87/109.31 eprover: CPU time limit exceeded, terminating
% 112.93/111.32 eprover: CPU time limit exceeded, terminating
% 114.96/113.33 eprover: CPU time limit exceeded, terminating
% 116.96/115.34 eprover: CPU time limit exceeded, terminating
% 118.99/117.36 eprover: CPU time limit exceeded, terminating
% 121.00/119.37 eprover: CPU time limit exceeded, terminating
% 122.99/121.38 eprover: CPU time limit exceeded, terminating
% 125.02/123.39 eprover: CPU time limit exceeded, terminating
% 127.00/125.40 eprover: CPU time limit exceeded, terminating
% 129.03/127.41 eprover: CPU time limit exceeded, terminating
% 131.09/129.43 eprover: CPU time limit exceeded, terminating
% 133.10/131.44 eprover: CPU time limit exceeded, terminating
% 135.09/133.45 eprover: CPU time limit exceeded, terminating
% 137.10/135.46 eprover: CPU time limit exceeded, terminating
% 139.13/137.48 eprover: CPU time limit exceeded, terminating
% 141.12/139.49 eprover: CPU time limit exceeded, terminating
% 143.16/141.51 eprover: CPU time limit exceeded, terminating
% 145.12/143.52 eprover: CPU time limit exceeded, terminating
% 147.19/145.64 eprover: CPU time limit exceeded, terminating
% 149.18/147.68 eprover: CPU time limit exceeded, terminating
% 151.22/149.69 eprover: CPU time limit exceeded, terminating
% 153.20/151.71 eprover: CPU time limit exceeded, terminating
% 155.17/153.72 eprover: CPU time limit exceeded, terminating
% 157.23/155.73 eprover: CPU time limit exceeded, terminating
% 159.28/157.74 eprover: CPU time limit exceeded, terminating
% 161.26/159.75 eprover: CPU time limit exceeded, terminating
% 163.30/161.77 eprover: CPU time limit exceeded, terminating
% 165.32/163.78 eprover: CPU time limit exceeded, terminating
% 167.31/165.79 eprover: CPU time limit exceeded, terminating
% 169.33/167.81 eprover: CPU time limit exceeded, terminating
% 171.38/169.83 eprover: CPU time limit exceeded, terminating
% 173.35/171.84 eprover: CPU time limit exceeded, terminating
% 175.40/173.86 eprover: CPU time limit exceeded, terminating
% 177.42/175.87 eprover: CPU time limit exceeded, terminating
% 179.40/177.89 eprover: CPU time limit exceeded, terminating
% 181.42/179.90 eprover: CPU time limit exceeded, terminating
% 183.44/181.91 eprover: CPU time limit exceeded, terminating
% 185.47/183.93 eprover: CPU time limit exceeded, terminating
% 187.42/185.94 eprover: CPU time limit exceeded, terminating
% 189.51/187.95 eprover: CPU time limit exceeded, terminating
% 191.51/189.96 eprover: CPU time limit exceeded, terminating
% 193.52/191.97 eprover: CPU time limit exceeded, terminating
% 195.54/193.98 eprover: CPU time limit exceeded, terminating
% 197.52/195.99 eprover: CPU time limit exceeded, terminating
% 199.55/198.01 eprover: CPU time limit exceeded, terminating
% 201.55/200.02 eprover: CPU time limit exceeded, terminating
% 203.59/202.03 eprover: CPU time limit exceeded, terminating
% 205.63/204.04 eprover: CPU time limit exceeded, terminating
% 207.61/206.08 eprover: CPU time limit exceeded, terminating
% 209.60/208.10 eprover: CPU time limit exceeded, terminating
% 211.60/210.11 eprover: CPU time limit exceeded, terminating
% 213.65/212.12 eprover: CPU time limit exceeded, terminating
% 215.61/214.14 eprover: CPU time limit exceeded, terminating
% 217.71/216.15 eprover: CPU time limit exceeded, terminating
% 219.73/218.16 eprover: CPU time limit exceeded, terminating
% 221.70/220.19 eprover: CPU time limit exceeded, terminating
% 223.71/222.20 eprover: CPU time limit exceeded, terminating
% 225.76/224.21 eprover: CPU time limit exceeded, terminating
% 227.72/226.25 eprover: CPU time limit exceeded, terminating
% 229.80/228.26 eprover: CPU time limit exceeded, terminating
% 231.81/230.28 eprover: CPU time limit exceeded, terminating
% 233.78/232.30 eprover: CPU time limit exceeded, terminating
% 235.85/234.32 eprover: CPU time limit exceeded, terminating
% 237.81/236.34 eprover: CPU time limit exceeded, terminating
% 239.85/238.36 eprover: CPU time limit exceeded, terminating
% 241.85/240.37 eprover: CPU time limit exceeded, terminating
% 243.88/242.38 eprover: CPU time limit exceeded, terminating
% 245.87/244.39 eprover: CPU time limit exceeded, terminating
% 247.92/246.41 eprover: CPU time limit exceeded, terminating
% 249.88/248.42 eprover: CPU time limit exceeded, terminating
% 251.93/250.43 eprover: CPU time limit exceeded, terminating
% 253.97/252.44 eprover: CPU time limit exceeded, terminating
% 255.97/254.46 eprover: CPU time limit exceeded, terminating
% 257.97/256.47 eprover: CPU time limit exceeded, terminating
% 259.98/258.48 eprover: CPU time limit exceeded, terminating
% 261.99/260.49 eprover: CPU time limit exceeded, terminating
% 264.01/262.50 eprover: CPU time limit exceeded, terminating
% 266.04/264.52 eprover: CPU time limit exceeded, terminating
% 268.07/266.53 eprover: CPU time limit exceeded, terminating
% 270.06/268.54 eprover: CPU time limit exceeded, terminating
% 272.03/270.55 eprover: CPU time limit exceeded, terminating
% 274.11/272.56 eprover: CPU time limit exceeded, terminating
% 276.09/274.58 eprover: CPU time limit exceeded, terminating
% 278.15/276.59 eprover: CPU time limit exceeded, terminating
% 280.15/278.61 eprover: CPU time limit exceeded, terminating
% 282.17/280.62 eprover: CPU time limit exceeded, terminating
% 284.14/282.63 eprover: CPU time limit exceeded, terminating
% 286.13/284.65 eprover: CPU time limit exceeded, terminating
% 288.19/286.66 eprover: CPU time limit exceeded, terminating
% 290.22/288.67 eprover: CPU time limit exceeded, terminating
% 292.21/290.68 eprover: CPU time limit exceeded, terminating
% 294.25/292.70 eprover: CPU time limit exceeded, terminating
% 296.24/294.72 eprover: CPU time limit exceeded, terminating
% 298.28/296.73 eprover: CPU time limit exceeded, terminating
% 300.02/298.46 eprover: CPU time limit exceeded, terminating
% 300.02/298.49 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------