TSTP Solution File: SET028-3 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SET028-3 : TPTP v8.1.0. Released v1.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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:52:06 EDT 2022
% Result : Timeout 286.52s 286.67s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SET028-3 : TPTP v8.1.0. Released v1.0.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n020.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:52:13 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.25/2.46 eprover: CPU time limit exceeded, terminating
% 4.30/4.47 eprover: CPU time limit exceeded, terminating
% 6.25/6.48 eprover: CPU time limit exceeded, terminating
% 8.33/8.49 eprover: CPU time limit exceeded, terminating
% 10.34/10.50 eprover: CPU time limit exceeded, terminating
% 12.33/12.51 eprover: CPU time limit exceeded, terminating
% 14.37/14.53 eprover: CPU time limit exceeded, terminating
% 16.40/16.54 eprover: CPU time limit exceeded, terminating
% 18.40/18.55 eprover: CPU time limit exceeded, terminating
% 20.37/20.56 eprover: CPU time limit exceeded, terminating
% 22.36/22.57 eprover: CPU time limit exceeded, terminating
% 24.39/24.58 eprover: CPU time limit exceeded, terminating
% 26.42/26.59 eprover: CPU time limit exceeded, terminating
% 28.40/28.60 eprover: CPU time limit exceeded, terminating
% 30.48/30.65 eprover: CPU time limit exceeded, terminating
% 32.47/32.66 eprover: CPU time limit exceeded, terminating
% 34.49/34.67 eprover: CPU time limit exceeded, terminating
% 36.55/36.69 eprover: CPU time limit exceeded, terminating
% 38.49/38.70 eprover: CPU time limit exceeded, terminating
% 40.60/40.72 eprover: CPU time limit exceeded, terminating
% 42.59/42.73 eprover: CPU time limit exceeded, terminating
% 44.58/44.75 eprover: CPU time limit exceeded, terminating
% 46.59/46.76 eprover: CPU time limit exceeded, terminating
% 48.61/48.78 eprover: CPU time limit exceeded, terminating
% 50.57/50.80 eprover: CPU time limit exceeded, terminating
% 52.66/52.82 eprover: CPU time limit exceeded, terminating
% 54.69/54.83 eprover: CPU time limit exceeded, terminating
% 56.67/56.86 eprover: CPU time limit exceeded, terminating
% 58.69/58.87 eprover: CPU time limit exceeded, terminating
% 60.70/60.88 eprover: CPU time limit exceeded, terminating
% 62.77/62.89 eprover: CPU time limit exceeded, terminating
% 64.78/64.91 eprover: CPU time limit exceeded, terminating
% 66.77/66.94 eprover: CPU time limit exceeded, terminating
% 68.77/68.96 eprover: CPU time limit exceeded, terminating
% 70.83/70.98 eprover: CPU time limit exceeded, terminating
% 72.84/73.01 eprover: CPU time limit exceeded, terminating
% 74.86/75.02 eprover: CPU time limit exceeded, terminating
% 76.88/77.03 eprover: CPU time limit exceeded, terminating
% 78.82/79.08 eprover: CPU time limit exceeded, terminating
% 80.87/81.09 eprover: CPU time limit exceeded, terminating
% 82.87/83.10 eprover: CPU time limit exceeded, terminating
% 84.91/85.12 eprover: CPU time limit exceeded, terminating
% 86.94/87.13 eprover: CPU time limit exceeded, terminating
% 88.96/89.14 eprover: CPU time limit exceeded, terminating
% 90.94/91.15 eprover: CPU time limit exceeded, terminating
% 92.96/93.17 eprover: CPU time limit exceeded, terminating
% 95.02/95.20 eprover: CPU time limit exceeded, terminating
% 97.04/97.22 eprover: CPU time limit exceeded, terminating
% 99.06/99.23 eprover: CPU time limit exceeded, terminating
% 101.02/101.24 eprover: CPU time limit exceeded, terminating
% 103.03/103.26 eprover: CPU time limit exceeded, terminating
% 105.05/105.27 eprover: CPU time limit exceeded, terminating
% 107.07/107.28 eprover: CPU time limit exceeded, terminating
% 109.04/109.29 eprover: CPU time limit exceeded, terminating
% 111.14/111.31 eprover: CPU time limit exceeded, terminating
% 113.15/113.32 eprover: CPU time limit exceeded, terminating
% 115.16/115.34 eprover: CPU time limit exceeded, terminating
% 117.13/117.35 eprover: CPU time limit exceeded, terminating
% 119.18/119.37 eprover: CPU time limit exceeded, terminating
% 121.24/121.38 eprover: CPU time limit exceeded, terminating
% 123.21/123.39 eprover: CPU time limit exceeded, terminating
% 125.24/125.43 eprover: CPU time limit exceeded, terminating
% 127.27/127.44 eprover: CPU time limit exceeded, terminating
% 129.25/129.45 eprover: CPU time limit exceeded, terminating
% 131.29/131.46 eprover: CPU time limit exceeded, terminating
% 133.26/133.47 eprover: CPU time limit exceeded, terminating
% 135.28/135.48 eprover: CPU time limit exceeded, terminating
% 137.36/137.50 eprover: CPU time limit exceeded, terminating
% 139.38/139.51 eprover: CPU time limit exceeded, terminating
% 141.37/141.53 eprover: CPU time limit exceeded, terminating
% 143.39/143.54 eprover: CPU time limit exceeded, terminating
% 145.39/145.57 eprover: CPU time limit exceeded, terminating
% 147.44/147.59 eprover: CPU time limit exceeded, terminating
% 149.47/149.60 eprover: CPU time limit exceeded, terminating
% 151.45/151.65 eprover: CPU time limit exceeded, terminating
% 153.42/153.66 eprover: CPU time limit exceeded, terminating
% 155.45/155.67 eprover: CPU time limit exceeded, terminating
% 157.48/157.68 eprover: CPU time limit exceeded, terminating
% 159.56/159.70 eprover: CPU time limit exceeded, terminating
% 161.56/161.71 eprover: CPU time limit exceeded, terminating
% 163.55/163.73 eprover: CPU time limit exceeded, terminating
% 165.56/165.74 eprover: CPU time limit exceeded, terminating
% 167.60/167.75 eprover: CPU time limit exceeded, terminating
% 169.59/169.76 eprover: CPU time limit exceeded, terminating
% 171.58/171.78 eprover: CPU time limit exceeded, terminating
% 173.64/173.80 eprover: CPU time limit exceeded, terminating
% 175.69/175.81 eprover: CPU time limit exceeded, terminating
% 177.66/177.83 eprover: CPU time limit exceeded, terminating
% 179.70/179.84 eprover: CPU time limit exceeded, terminating
% 181.67/181.86 eprover: CPU time limit exceeded, terminating
% 183.75/183.90 eprover: CPU time limit exceeded, terminating
% 185.77/185.91 eprover: CPU time limit exceeded, terminating
% 187.78/187.93 eprover: CPU time limit exceeded, terminating
% 189.76/189.94 eprover: CPU time limit exceeded, terminating
% 191.78/191.95 eprover: CPU time limit exceeded, terminating
% 193.76/193.97 eprover: CPU time limit exceeded, terminating
% 195.79/195.98 eprover: CPU time limit exceeded, terminating
% 197.77/198.00 eprover: CPU time limit exceeded, terminating
% 199.86/200.01 eprover: CPU time limit exceeded, terminating
% 201.88/202.03 eprover: CPU time limit exceeded, terminating
% 203.86/204.05 eprover: CPU time limit exceeded, terminating
% 205.87/206.07 eprover: CPU time limit exceeded, terminating
% 207.90/208.08 eprover: CPU time limit exceeded, terminating
% 209.90/210.10 eprover: CPU time limit exceeded, terminating
% 211.96/212.13 eprover: CPU time limit exceeded, terminating
% 213.94/214.14 eprover: CPU time limit exceeded, terminating
% 215.96/216.15 eprover: CPU time limit exceeded, terminating
% 218.00/218.16 eprover: CPU time limit exceeded, terminating
% 220.04/220.18 eprover: CPU time limit exceeded, terminating
% 221.99/222.19 eprover: CPU time limit exceeded, terminating
% 224.07/224.20 eprover: CPU time limit exceeded, terminating
% 226.08/226.22 eprover: CPU time limit exceeded, terminating
% 228.09/228.24 eprover: CPU time limit exceeded, terminating
% 230.08/230.26 eprover: CPU time limit exceeded, terminating
% 232.09/232.27 eprover: CPU time limit exceeded, terminating
% 234.12/234.30 eprover: CPU time limit exceeded, terminating
% 236.15/236.32 eprover: CPU time limit exceeded, terminating
% 238.19/238.34 eprover: CPU time limit exceeded, terminating
% 240.16/240.36 eprover: CPU time limit exceeded, terminating
% 242.19/242.37 eprover: CPU time limit exceeded, terminating
% 244.18/244.38 eprover: CPU time limit exceeded, terminating
% 246.25/246.39 eprover: CPU time limit exceeded, terminating
% 248.25/248.41 eprover: CPU time limit exceeded, terminating
% 250.29/250.42 eprover: CPU time limit exceeded, terminating
% 252.25/252.44 eprover: CPU time limit exceeded, terminating
% 254.28/254.45 eprover: CPU time limit exceeded, terminating
% 256.28/256.46 eprover: CPU time limit exceeded, terminating
% 258.30/258.48 eprover: CPU time limit exceeded, terminating
% 260.29/260.49 eprover: CPU time limit exceeded, terminating
% 262.38/262.51 eprover: CPU time limit exceeded, terminating
% 264.38/264.52 eprover: CPU time limit exceeded, terminating
% 266.39/266.53 eprover: CPU time limit exceeded, terminating
% 268.37/268.54 eprover: CPU time limit exceeded, terminating
% 270.39/270.56 eprover: CPU time limit exceeded, terminating
% 272.40/272.57 eprover: CPU time limit exceeded, terminating
% 274.40/274.58 eprover: CPU time limit exceeded, terminating
% 276.50/276.60 eprover: CPU time limit exceeded, terminating
% 278.51/278.61 eprover: CPU time limit exceeded, terminating
% 280.52/280.62 eprover: CPU time limit exceeded, terminating
% 282.53/282.63 eprover: CPU time limit exceeded, terminating
% 284.52/284.64 eprover: CPU time limit exceeded, terminating
% 286.52/286.67 eprover: CPU time limit exceeded, terminating
% 288.54/288.68 eprover: CPU time limit exceeded, terminating
% 290.53/290.69 eprover: CPU time limit exceeded, terminating
% 292.63/292.71 eprover: CPU time limit exceeded, terminating
% 294.65/294.72 eprover: CPU time limit exceeded, terminating
% 296.63/296.75 eprover: CPU time limit exceeded, terminating
% 298.62/298.76 eprover: CPU time limit exceeded, terminating
% 300.03/300.11 eprover: CPU time limit exceeded, terminating
% 300.03/300.13 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------