TSTP Solution File: AGT013+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : AGT013+2 : TPTP v8.1.0. Bugfixed v3.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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 : Thu Jul 14 11:58:52 EDT 2022
% Result : Timeout 286.75s 282.50s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : AGT013+2 : TPTP v8.1.0. Bugfixed v3.1.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n026.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 : Sat Jun 4 07:05:59 EDT 2022
% 0.19/0.34 % CPUTime :
% 2.54/2.70 eprover: CPU time limit exceeded, terminating
% 4.54/4.72 eprover: CPU time limit exceeded, terminating
% 6.60/6.73 eprover: CPU time limit exceeded, terminating
% 8.60/8.74 eprover: CPU time limit exceeded, terminating
% 10.61/10.75 eprover: CPU time limit exceeded, terminating
% 12.64/12.76 eprover: CPU time limit exceeded, terminating
% 14.68/14.77 eprover: CPU time limit exceeded, terminating
% 16.76/16.82 eprover: CPU time limit exceeded, terminating
% 18.77/18.83 eprover: CPU time limit exceeded, terminating
% 20.80/20.84 eprover: CPU time limit exceeded, terminating
% 22.85/22.85 eprover: CPU time limit exceeded, terminating
% 24.81/24.86 eprover: CPU time limit exceeded, terminating
% 26.87/26.88 eprover: CPU time limit exceeded, terminating
% 28.96/28.89 eprover: CPU time limit exceeded, terminating
% 30.91/30.90 eprover: CPU time limit exceeded, terminating
% 33.01/32.91 eprover: CPU time limit exceeded, terminating
% 35.04/34.92 eprover: CPU time limit exceeded, terminating
% 37.09/36.93 eprover: CPU time limit exceeded, terminating
% 39.07/38.95 eprover: CPU time limit exceeded, terminating
% 41.08/40.96 eprover: CPU time limit exceeded, terminating
% 43.11/42.97 eprover: CPU time limit exceeded, terminating
% 45.17/44.98 eprover: CPU time limit exceeded, terminating
% 47.16/47.00 eprover: CPU time limit exceeded, terminating
% 49.25/49.01 eprover: CPU time limit exceeded, terminating
% 51.28/51.02 eprover: CPU time limit exceeded, terminating
% 53.36/53.04 eprover: CPU time limit exceeded, terminating
% 55.34/55.05 eprover: CPU time limit exceeded, terminating
% 57.37/57.06 eprover: CPU time limit exceeded, terminating
% 59.41/59.08 eprover: CPU time limit exceeded, terminating
% 61.48/61.09 eprover: CPU time limit exceeded, terminating
% 63.50/63.10 eprover: CPU time limit exceeded, terminating
% 65.53/65.12 eprover: CPU time limit exceeded, terminating
% 67.57/67.13 eprover: CPU time limit exceeded, terminating
% 69.59/69.14 eprover: CPU time limit exceeded, terminating
% 71.63/71.15 eprover: CPU time limit exceeded, terminating
% 73.62/73.16 eprover: CPU time limit exceeded, terminating
% 75.69/75.18 eprover: CPU time limit exceeded, terminating
% 77.64/77.19 eprover: CPU time limit exceeded, terminating
% 79.75/79.20 eprover: CPU time limit exceeded, terminating
% 81.80/81.21 eprover: CPU time limit exceeded, terminating
% 83.83/83.23 eprover: CPU time limit exceeded, terminating
% 85.88/85.24 eprover: CPU time limit exceeded, terminating
% 87.84/87.25 eprover: CPU time limit exceeded, terminating
% 89.93/89.27 eprover: CPU time limit exceeded, terminating
% 91.99/91.28 eprover: CPU time limit exceeded, terminating
% 93.97/93.29 eprover: CPU time limit exceeded, terminating
% 96.03/95.30 eprover: CPU time limit exceeded, terminating
% 98.05/97.32 eprover: CPU time limit exceeded, terminating
% 100.09/99.33 eprover: CPU time limit exceeded, terminating
% 102.07/101.34 eprover: CPU time limit exceeded, terminating
% 104.12/103.36 eprover: CPU time limit exceeded, terminating
% 106.20/105.37 eprover: CPU time limit exceeded, terminating
% 108.16/107.38 eprover: CPU time limit exceeded, terminating
% 110.20/109.40 eprover: CPU time limit exceeded, terminating
% 112.30/111.41 eprover: CPU time limit exceeded, terminating
% 114.33/113.42 eprover: CPU time limit exceeded, terminating
% 116.36/115.43 eprover: CPU time limit exceeded, terminating
% 118.35/117.45 eprover: CPU time limit exceeded, terminating
% 120.38/119.46 eprover: CPU time limit exceeded, terminating
% 122.44/121.47 eprover: CPU time limit exceeded, terminating
% 124.42/123.49 eprover: CPU time limit exceeded, terminating
% 126.53/125.50 eprover: CPU time limit exceeded, terminating
% 128.55/127.51 eprover: CPU time limit exceeded, terminating
% 130.60/129.53 eprover: CPU time limit exceeded, terminating
% 132.63/131.54 eprover: CPU time limit exceeded, terminating
% 134.65/133.55 eprover: CPU time limit exceeded, terminating
% 136.63/135.57 eprover: CPU time limit exceeded, terminating
% 138.75/137.58 eprover: CPU time limit exceeded, terminating
% 140.77/139.59 eprover: CPU time limit exceeded, terminating
% 142.74/141.61 eprover: CPU time limit exceeded, terminating
% 144.83/143.62 eprover: CPU time limit exceeded, terminating
% 146.86/145.63 eprover: CPU time limit exceeded, terminating
% 148.90/147.64 eprover: CPU time limit exceeded, terminating
% 150.88/149.66 eprover: CPU time limit exceeded, terminating
% 152.93/151.67 eprover: CPU time limit exceeded, terminating
% 154.94/153.68 eprover: CPU time limit exceeded, terminating
% 157.03/155.70 eprover: CPU time limit exceeded, terminating
% 159.07/157.71 eprover: CPU time limit exceeded, terminating
% 161.10/159.72 eprover: CPU time limit exceeded, terminating
% 163.09/161.74 eprover: CPU time limit exceeded, terminating
% 165.14/163.75 eprover: CPU time limit exceeded, terminating
% 167.18/165.76 eprover: CPU time limit exceeded, terminating
% 169.16/167.77 eprover: CPU time limit exceeded, terminating
% 171.26/169.79 eprover: CPU time limit exceeded, terminating
% 173.22/171.80 eprover: CPU time limit exceeded, terminating
% 175.26/173.81 eprover: CPU time limit exceeded, terminating
% 177.35/175.82 eprover: CPU time limit exceeded, terminating
% 179.39/177.84 eprover: CPU time limit exceeded, terminating
% 181.40/179.85 eprover: CPU time limit exceeded, terminating
% 183.40/181.86 eprover: CPU time limit exceeded, terminating
% 185.49/183.87 eprover: CPU time limit exceeded, terminating
% 187.45/185.88 eprover: CPU time limit exceeded, terminating
% 189.55/187.90 eprover: CPU time limit exceeded, terminating
% 191.59/189.91 eprover: CPU time limit exceeded, terminating
% 193.61/191.93 eprover: CPU time limit exceeded, terminating
% 195.62/193.94 eprover: CPU time limit exceeded, terminating
% 197.67/195.95 eprover: CPU time limit exceeded, terminating
% 199.65/197.96 eprover: CPU time limit exceeded, terminating
% 201.69/199.98 eprover: CPU time limit exceeded, terminating
% 203.78/201.99 eprover: CPU time limit exceeded, terminating
% 205.83/204.01 eprover: CPU time limit exceeded, terminating
% 207.83/206.02 eprover: CPU time limit exceeded, terminating
% 209.84/208.04 eprover: CPU time limit exceeded, terminating
% 211.88/210.06 eprover: CPU time limit exceeded, terminating
% 213.88/212.07 eprover: CPU time limit exceeded, terminating
% 215.91/214.09 eprover: CPU time limit exceeded, terminating
% 218.00/216.10 eprover: CPU time limit exceeded, terminating
% 220.02/218.11 eprover: CPU time limit exceeded, terminating
% 222.06/220.12 eprover: CPU time limit exceeded, terminating
% 224.06/222.14 eprover: CPU time limit exceeded, terminating
% 226.08/224.15 eprover: CPU time limit exceeded, terminating
% 228.11/226.17 eprover: CPU time limit exceeded, terminating
% 230.12/228.18 eprover: CPU time limit exceeded, terminating
% 232.23/230.20 eprover: CPU time limit exceeded, terminating
% 234.25/232.22 eprover: CPU time limit exceeded, terminating
% 236.24/234.23 eprover: CPU time limit exceeded, terminating
% 238.26/236.25 eprover: CPU time limit exceeded, terminating
% 240.31/238.26 eprover: CPU time limit exceeded, terminating
% 242.33/240.27 eprover: CPU time limit exceeded, terminating
% 244.35/242.28 eprover: CPU time limit exceeded, terminating
% 246.43/244.29 eprover: CPU time limit exceeded, terminating
% 248.46/246.30 eprover: CPU time limit exceeded, terminating
% 250.45/248.31 eprover: CPU time limit exceeded, terminating
% 252.51/250.32 eprover: CPU time limit exceeded, terminating
% 254.52/252.33 eprover: CPU time limit exceeded, terminating
% 256.53/254.34 eprover: CPU time limit exceeded, terminating
% 258.56/256.35 eprover: CPU time limit exceeded, terminating
% 260.57/258.37 eprover: CPU time limit exceeded, terminating
% 262.55/260.38 eprover: CPU time limit exceeded, terminating
% 264.59/262.39 eprover: CPU time limit exceeded, terminating
% 266.62/264.40 eprover: CPU time limit exceeded, terminating
% 268.72/266.41 eprover: CPU time limit exceeded, terminating
% 270.70/268.42 eprover: CPU time limit exceeded, terminating
% 272.76/270.43 eprover: CPU time limit exceeded, terminating
% 274.75/272.45 eprover: CPU time limit exceeded, terminating
% 276.77/274.46 eprover: CPU time limit exceeded, terminating
% 278.81/276.47 eprover: CPU time limit exceeded, terminating
% 280.77/278.48 eprover: CPU time limit exceeded, terminating
% 282.82/280.49 eprover: CPU time limit exceeded, terminating
% 286.75/282.50 eprover: CPU time limit exceeded, terminating
% 288.85/284.51 eprover: CPU time limit exceeded, terminating
% 290.87/286.52 eprover: CPU time limit exceeded, terminating
% 292.89/288.53 eprover: CPU time limit exceeded, terminating
% 294.90/290.54 eprover: CPU time limit exceeded, terminating
% 296.93/292.55 eprover: CPU time limit exceeded, terminating
% 298.96/294.56 eprover: CPU time limit exceeded, terminating
% 300.07/295.61 eprover: CPU time limit exceeded, terminating
% 300.07/295.62 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------