TSTP Solution File: LAT399-2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LAT399-2 : TPTP v8.1.0. Released v8.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n007.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 05:15:33 EDT 2022
% Result : Timeout 286.70s 284.95s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.15 % Problem : LAT399-2 : TPTP v8.1.0. Released v8.1.0.
% 0.08/0.15 % Command : run_infinox %s
% 0.15/0.37 % Computer : n007.cluster.edu
% 0.15/0.37 % Model : x86_64 x86_64
% 0.15/0.37 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.37 % Memory : 8042.1875MB
% 0.15/0.37 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.37 % CPULimit : 300
% 0.15/0.37 % WCLimit : 600
% 0.15/0.37 % DateTime : Wed Jun 29 13:25:37 EDT 2022
% 0.15/0.37 % CPUTime :
% 2.21/2.40 eprover: CPU time limit exceeded, terminating
% 4.21/4.42 eprover: CPU time limit exceeded, terminating
% 6.22/6.43 eprover: CPU time limit exceeded, terminating
% 8.21/8.45 eprover: CPU time limit exceeded, terminating
% 10.24/10.47 eprover: CPU time limit exceeded, terminating
% 12.25/12.48 eprover: CPU time limit exceeded, terminating
% 14.32/14.50 eprover: CPU time limit exceeded, terminating
% 16.31/16.52 eprover: CPU time limit exceeded, terminating
% 18.33/18.53 eprover: CPU time limit exceeded, terminating
% 20.35/20.55 eprover: CPU time limit exceeded, terminating
% 22.32/22.57 eprover: CPU time limit exceeded, terminating
% 24.33/24.59 eprover: CPU time limit exceeded, terminating
% 26.42/26.61 eprover: CPU time limit exceeded, terminating
% 28.46/28.64 eprover: CPU time limit exceeded, terminating
% 30.44/30.65 eprover: CPU time limit exceeded, terminating
% 32.44/32.67 eprover: CPU time limit exceeded, terminating
% 34.44/34.69 eprover: CPU time limit exceeded, terminating
% 36.46/36.70 eprover: CPU time limit exceeded, terminating
% 38.56/38.73 eprover: CPU time limit exceeded, terminating
% 40.55/40.75 eprover: CPU time limit exceeded, terminating
% 42.55/42.76 eprover: CPU time limit exceeded, terminating
% 44.54/44.78 eprover: CPU time limit exceeded, terminating
% 46.56/46.79 eprover: CPU time limit exceeded, terminating
% 48.57/48.81 eprover: CPU time limit exceeded, terminating
% 50.67/50.83 eprover: CPU time limit exceeded, terminating
% 52.67/52.84 eprover: CPU time limit exceeded, terminating
% 54.65/54.86 eprover: CPU time limit exceeded, terminating
% 56.69/56.87 eprover: CPU time limit exceeded, terminating
% 58.75/58.89 eprover: CPU time limit exceeded, terminating
% 60.77/60.90 eprover: CPU time limit exceeded, terminating
% 64.76/62.92 eprover: CPU time limit exceeded, terminating
% 66.75/64.93 eprover: CPU time limit exceeded, terminating
% 68.79/66.95 eprover: CPU time limit exceeded, terminating
% 70.76/68.96 eprover: CPU time limit exceeded, terminating
% 72.82/70.98 eprover: CPU time limit exceeded, terminating
% 74.87/73.00 eprover: CPU time limit exceeded, terminating
% 76.86/75.01 eprover: CPU time limit exceeded, terminating
% 78.87/77.03 eprover: CPU time limit exceeded, terminating
% 80.87/79.05 eprover: CPU time limit exceeded, terminating
% 82.87/81.06 eprover: CPU time limit exceeded, terminating
% 84.88/83.08 eprover: CPU time limit exceeded, terminating
% 86.87/85.09 eprover: CPU time limit exceeded, terminating
% 88.97/87.10 eprover: CPU time limit exceeded, terminating
% 91.00/89.12 eprover: CPU time limit exceeded, terminating
% 92.98/91.13 eprover: CPU time limit exceeded, terminating
% 94.98/93.15 eprover: CPU time limit exceeded, terminating
% 97.02/95.17 eprover: CPU time limit exceeded, terminating
% 99.02/97.19 eprover: CPU time limit exceeded, terminating
% 101.09/99.21 eprover: CPU time limit exceeded, terminating
% 103.06/101.23 eprover: CPU time limit exceeded, terminating
% 105.08/103.25 eprover: CPU time limit exceeded, terminating
% 107.11/105.27 eprover: CPU time limit exceeded, terminating
% 109.09/107.28 eprover: CPU time limit exceeded, terminating
% 111.17/109.30 eprover: CPU time limit exceeded, terminating
% 113.18/111.33 eprover: CPU time limit exceeded, terminating
% 115.20/113.34 eprover: CPU time limit exceeded, terminating
% 117.17/115.37 eprover: CPU time limit exceeded, terminating
% 119.18/117.39 eprover: CPU time limit exceeded, terminating
% 121.27/119.40 eprover: CPU time limit exceeded, terminating
% 123.27/121.42 eprover: CPU time limit exceeded, terminating
% 125.28/123.45 eprover: CPU time limit exceeded, terminating
% 127.29/125.46 eprover: CPU time limit exceeded, terminating
% 129.27/127.48 eprover: CPU time limit exceeded, terminating
% 131.36/129.50 eprover: CPU time limit exceeded, terminating
% 133.35/131.53 eprover: CPU time limit exceeded, terminating
% 135.37/133.55 eprover: CPU time limit exceeded, terminating
% 137.33/135.59 eprover: CPU time limit exceeded, terminating
% 139.42/137.60 eprover: CPU time limit exceeded, terminating
% 141.44/139.62 eprover: CPU time limit exceeded, terminating
% 143.45/141.64 eprover: CPU time limit exceeded, terminating
% 145.45/143.66 eprover: CPU time limit exceeded, terminating
% 147.42/145.68 eprover: CPU time limit exceeded, terminating
% 149.52/147.70 eprover: CPU time limit exceeded, terminating
% 151.53/149.72 eprover: CPU time limit exceeded, terminating
% 153.50/151.74 eprover: CPU time limit exceeded, terminating
% 155.52/153.76 eprover: CPU time limit exceeded, terminating
% 157.52/155.78 eprover: CPU time limit exceeded, terminating
% 159.61/157.81 eprover: CPU time limit exceeded, terminating
% 161.60/159.83 eprover: CPU time limit exceeded, terminating
% 163.59/161.85 eprover: CPU time limit exceeded, terminating
% 165.59/163.88 eprover: CPU time limit exceeded, terminating
% 167.67/165.90 eprover: CPU time limit exceeded, terminating
% 169.69/167.93 eprover: CPU time limit exceeded, terminating
% 171.66/169.95 eprover: CPU time limit exceeded, terminating
% 173.71/171.97 eprover: CPU time limit exceeded, terminating
% 175.75/173.99 eprover: CPU time limit exceeded, terminating
% 177.77/176.02 eprover: CPU time limit exceeded, terminating
% 179.75/178.04 eprover: CPU time limit exceeded, terminating
% 181.80/180.06 eprover: CPU time limit exceeded, terminating
% 183.83/182.07 eprover: CPU time limit exceeded, terminating
% 185.84/184.09 eprover: CPU time limit exceeded, terminating
% 187.85/186.11 eprover: CPU time limit exceeded, terminating
% 189.84/188.13 eprover: CPU time limit exceeded, terminating
% 191.87/190.15 eprover: CPU time limit exceeded, terminating
% 193.87/192.16 eprover: CPU time limit exceeded, terminating
% 195.89/194.18 eprover: CPU time limit exceeded, terminating
% 197.86/196.19 eprover: CPU time limit exceeded, terminating
% 199.97/198.22 eprover: CPU time limit exceeded, terminating
% 201.96/200.23 eprover: CPU time limit exceeded, terminating
% 204.00/202.24 eprover: CPU time limit exceeded, terminating
% 205.99/204.26 eprover: CPU time limit exceeded, terminating
% 207.97/206.27 eprover: CPU time limit exceeded, terminating
% 210.04/208.30 eprover: CPU time limit exceeded, terminating
% 212.06/210.31 eprover: CPU time limit exceeded, terminating
% 214.08/212.32 eprover: CPU time limit exceeded, terminating
% 216.08/214.34 eprover: CPU time limit exceeded, terminating
% 218.11/216.35 eprover: CPU time limit exceeded, terminating
% 220.06/218.38 eprover: CPU time limit exceeded, terminating
% 222.13/220.39 eprover: CPU time limit exceeded, terminating
% 224.08/222.41 eprover: CPU time limit exceeded, terminating
% 226.19/224.42 eprover: CPU time limit exceeded, terminating
% 228.17/226.44 eprover: CPU time limit exceeded, terminating
% 230.19/228.46 eprover: CPU time limit exceeded, terminating
% 232.17/230.48 eprover: CPU time limit exceeded, terminating
% 234.25/232.49 eprover: CPU time limit exceeded, terminating
% 236.28/234.51 eprover: CPU time limit exceeded, terminating
% 238.30/236.52 eprover: CPU time limit exceeded, terminating
% 240.30/238.55 eprover: CPU time limit exceeded, terminating
% 242.26/240.56 eprover: CPU time limit exceeded, terminating
% 244.28/242.58 eprover: CPU time limit exceeded, terminating
% 246.36/244.60 eprover: CPU time limit exceeded, terminating
% 248.38/246.61 eprover: CPU time limit exceeded, terminating
% 250.37/248.64 eprover: CPU time limit exceeded, terminating
% 252.41/250.65 eprover: CPU time limit exceeded, terminating
% 254.40/252.67 eprover: CPU time limit exceeded, terminating
% 256.47/254.68 eprover: CPU time limit exceeded, terminating
% 258.41/256.70 eprover: CPU time limit exceeded, terminating
% 260.45/258.73 eprover: CPU time limit exceeded, terminating
% 262.50/260.74 eprover: CPU time limit exceeded, terminating
% 264.51/262.76 eprover: CPU time limit exceeded, terminating
% 266.51/264.77 eprover: CPU time limit exceeded, terminating
% 268.59/266.79 eprover: CPU time limit exceeded, terminating
% 270.57/268.81 eprover: CPU time limit exceeded, terminating
% 272.60/270.83 eprover: CPU time limit exceeded, terminating
% 274.62/272.85 eprover: CPU time limit exceeded, terminating
% 276.59/274.86 eprover: CPU time limit exceeded, terminating
% 278.62/276.88 eprover: CPU time limit exceeded, terminating
% 280.62/278.90 eprover: CPU time limit exceeded, terminating
% 282.70/280.92 eprover: CPU time limit exceeded, terminating
% 284.69/282.93 eprover: CPU time limit exceeded, terminating
% 286.70/284.95 eprover: CPU time limit exceeded, terminating
% 288.73/286.96 eprover: CPU time limit exceeded, terminating
% 290.72/288.99 eprover: CPU time limit exceeded, terminating
% 292.79/291.00 eprover: CPU time limit exceeded, terminating
% 294.81/293.02 eprover: CPU time limit exceeded, terminating
% 296.83/295.03 eprover: CPU time limit exceeded, terminating
% 298.81/297.05 eprover: CPU time limit exceeded, terminating
% 300.01/298.19 eprover: CPU time limit exceeded, terminating
% 300.01/298.21 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------