TSTP Solution File: AGT010+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : AGT010+2 : TPTP v8.1.0. Bugfixed v3.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n019.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:51 EDT 2022
% Result : Timeout 287.21s 284.66s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : AGT010+2 : TPTP v8.1.0. Bugfixed v3.1.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n019.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 : Sat Jun 4 04:48:10 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.50/2.70 eprover: CPU time limit exceeded, terminating
% 4.49/4.71 eprover: CPU time limit exceeded, terminating
% 6.52/6.72 eprover: CPU time limit exceeded, terminating
% 8.60/8.73 eprover: CPU time limit exceeded, terminating
% 10.66/10.75 eprover: CPU time limit exceeded, terminating
% 12.68/12.76 eprover: CPU time limit exceeded, terminating
% 14.68/14.77 eprover: CPU time limit exceeded, terminating
% 16.75/16.82 eprover: CPU time limit exceeded, terminating
% 18.78/18.83 eprover: CPU time limit exceeded, terminating
% 20.80/20.84 eprover: CPU time limit exceeded, terminating
% 22.86/22.86 eprover: CPU time limit exceeded, terminating
% 24.92/24.87 eprover: CPU time limit exceeded, terminating
% 26.92/26.88 eprover: CPU time limit exceeded, terminating
% 28.98/28.89 eprover: CPU time limit exceeded, terminating
% 31.02/30.91 eprover: CPU time limit exceeded, terminating
% 32.99/32.92 eprover: CPU time limit exceeded, terminating
% 35.04/34.94 eprover: CPU time limit exceeded, terminating
% 37.07/36.95 eprover: CPU time limit exceeded, terminating
% 39.12/38.97 eprover: CPU time limit exceeded, terminating
% 41.18/40.98 eprover: CPU time limit exceeded, terminating
% 43.22/42.99 eprover: CPU time limit exceeded, terminating
% 45.25/45.01 eprover: CPU time limit exceeded, terminating
% 47.25/47.02 eprover: CPU time limit exceeded, terminating
% 49.30/49.03 eprover: CPU time limit exceeded, terminating
% 51.32/51.05 eprover: CPU time limit exceeded, terminating
% 53.37/53.06 eprover: CPU time limit exceeded, terminating
% 55.44/55.07 eprover: CPU time limit exceeded, terminating
% 57.39/57.09 eprover: CPU time limit exceeded, terminating
% 59.47/59.10 eprover: CPU time limit exceeded, terminating
% 61.52/61.11 eprover: CPU time limit exceeded, terminating
% 63.50/63.13 eprover: CPU time limit exceeded, terminating
% 65.58/65.14 eprover: CPU time limit exceeded, terminating
% 67.55/67.15 eprover: CPU time limit exceeded, terminating
% 69.63/69.17 eprover: CPU time limit exceeded, terminating
% 71.61/71.18 eprover: CPU time limit exceeded, terminating
% 73.68/73.20 eprover: CPU time limit exceeded, terminating
% 75.72/75.21 eprover: CPU time limit exceeded, terminating
% 77.78/77.23 eprover: CPU time limit exceeded, terminating
% 79.79/79.24 eprover: CPU time limit exceeded, terminating
% 81.83/81.25 eprover: CPU time limit exceeded, terminating
% 83.89/83.27 eprover: CPU time limit exceeded, terminating
% 85.89/85.28 eprover: CPU time limit exceeded, terminating
% 87.96/87.30 eprover: CPU time limit exceeded, terminating
% 89.93/89.31 eprover: CPU time limit exceeded, terminating
% 92.03/91.32 eprover: CPU time limit exceeded, terminating
% 94.05/93.34 eprover: CPU time limit exceeded, terminating
% 96.03/95.35 eprover: CPU time limit exceeded, terminating
% 98.07/97.37 eprover: CPU time limit exceeded, terminating
% 100.07/99.38 eprover: CPU time limit exceeded, terminating
% 102.19/101.39 eprover: CPU time limit exceeded, terminating
% 104.19/103.41 eprover: CPU time limit exceeded, terminating
% 106.23/105.42 eprover: CPU time limit exceeded, terminating
% 108.30/107.44 eprover: CPU time limit exceeded, terminating
% 110.30/109.45 eprover: CPU time limit exceeded, terminating
% 112.35/111.47 eprover: CPU time limit exceeded, terminating
% 114.40/113.48 eprover: CPU time limit exceeded, terminating
% 116.37/115.49 eprover: CPU time limit exceeded, terminating
% 118.43/117.51 eprover: CPU time limit exceeded, terminating
% 120.48/119.52 eprover: CPU time limit exceeded, terminating
% 122.56/121.54 eprover: CPU time limit exceeded, terminating
% 124.57/123.56 eprover: CPU time limit exceeded, terminating
% 126.62/125.57 eprover: CPU time limit exceeded, terminating
% 128.54/127.58 eprover: CPU time limit exceeded, terminating
% 130.68/129.60 eprover: CPU time limit exceeded, terminating
% 132.70/131.61 eprover: CPU time limit exceeded, terminating
% 134.72/133.63 eprover: CPU time limit exceeded, terminating
% 136.77/135.64 eprover: CPU time limit exceeded, terminating
% 138.78/137.66 eprover: CPU time limit exceeded, terminating
% 140.82/139.67 eprover: CPU time limit exceeded, terminating
% 142.87/141.69 eprover: CPU time limit exceeded, terminating
% 144.92/143.70 eprover: CPU time limit exceeded, terminating
% 146.89/145.71 eprover: CPU time limit exceeded, terminating
% 148.97/147.73 eprover: CPU time limit exceeded, terminating
% 151.01/149.74 eprover: CPU time limit exceeded, terminating
% 153.04/151.76 eprover: CPU time limit exceeded, terminating
% 155.09/153.77 eprover: CPU time limit exceeded, terminating
% 157.13/155.78 eprover: CPU time limit exceeded, terminating
% 159.17/157.80 eprover: CPU time limit exceeded, terminating
% 161.17/159.81 eprover: CPU time limit exceeded, terminating
% 163.23/161.82 eprover: CPU time limit exceeded, terminating
% 165.26/163.84 eprover: CPU time limit exceeded, terminating
% 167.27/165.85 eprover: CPU time limit exceeded, terminating
% 169.31/167.86 eprover: CPU time limit exceeded, terminating
% 171.32/169.88 eprover: CPU time limit exceeded, terminating
% 173.39/171.89 eprover: CPU time limit exceeded, terminating
% 175.43/173.91 eprover: CPU time limit exceeded, terminating
% 177.46/175.92 eprover: CPU time limit exceeded, terminating
% 179.46/177.93 eprover: CPU time limit exceeded, terminating
% 181.52/179.95 eprover: CPU time limit exceeded, terminating
% 183.52/181.96 eprover: CPU time limit exceeded, terminating
% 185.53/183.97 eprover: CPU time limit exceeded, terminating
% 187.57/185.99 eprover: CPU time limit exceeded, terminating
% 189.60/188.00 eprover: CPU time limit exceeded, terminating
% 191.61/190.01 eprover: CPU time limit exceeded, terminating
% 193.72/192.02 eprover: CPU time limit exceeded, terminating
% 195.73/194.03 eprover: CPU time limit exceeded, terminating
% 197.77/196.04 eprover: CPU time limit exceeded, terminating
% 199.76/198.05 eprover: CPU time limit exceeded, terminating
% 201.81/200.06 eprover: CPU time limit exceeded, terminating
% 203.81/202.08 eprover: CPU time limit exceeded, terminating
% 205.90/204.09 eprover: CPU time limit exceeded, terminating
% 207.94/206.11 eprover: CPU time limit exceeded, terminating
% 210.00/208.12 eprover: CPU time limit exceeded, terminating
% 211.98/210.13 eprover: CPU time limit exceeded, terminating
% 214.01/212.15 eprover: CPU time limit exceeded, terminating
% 216.04/214.16 eprover: CPU time limit exceeded, terminating
% 218.06/216.18 eprover: CPU time limit exceeded, terminating
% 220.10/218.19 eprover: CPU time limit exceeded, terminating
% 222.18/220.20 eprover: CPU time limit exceeded, terminating
% 224.20/222.22 eprover: CPU time limit exceeded, terminating
% 226.24/224.23 eprover: CPU time limit exceeded, terminating
% 228.24/226.24 eprover: CPU time limit exceeded, terminating
% 230.23/228.26 eprover: CPU time limit exceeded, terminating
% 232.29/230.27 eprover: CPU time limit exceeded, terminating
% 234.29/232.29 eprover: CPU time limit exceeded, terminating
% 236.35/234.30 eprover: CPU time limit exceeded, terminating
% 238.47/236.31 eprover: CPU time limit exceeded, terminating
% 240.48/238.33 eprover: CPU time limit exceeded, terminating
% 242.53/240.34 eprover: CPU time limit exceeded, terminating
% 244.52/242.36 eprover: CPU time limit exceeded, terminating
% 246.55/244.37 eprover: CPU time limit exceeded, terminating
% 248.55/246.39 eprover: CPU time limit exceeded, terminating
% 250.65/248.40 eprover: CPU time limit exceeded, terminating
% 252.67/250.41 eprover: CPU time limit exceeded, terminating
% 254.71/252.43 eprover: CPU time limit exceeded, terminating
% 256.75/254.44 eprover: CPU time limit exceeded, terminating
% 258.73/256.46 eprover: CPU time limit exceeded, terminating
% 260.77/258.47 eprover: CPU time limit exceeded, terminating
% 262.79/260.49 eprover: CPU time limit exceeded, terminating
% 264.88/262.50 eprover: CPU time limit exceeded, terminating
% 266.94/264.52 eprover: CPU time limit exceeded, terminating
% 268.96/266.53 eprover: CPU time limit exceeded, terminating
% 270.98/268.54 eprover: CPU time limit exceeded, terminating
% 272.98/270.56 eprover: CPU time limit exceeded, terminating
% 275.03/272.57 eprover: CPU time limit exceeded, terminating
% 277.05/274.59 eprover: CPU time limit exceeded, terminating
% 279.16/276.60 eprover: CPU time limit exceeded, terminating
% 281.16/278.62 eprover: CPU time limit exceeded, terminating
% 283.21/280.63 eprover: CPU time limit exceeded, terminating
% 285.21/282.65 eprover: CPU time limit exceeded, terminating
% 287.21/284.66 eprover: CPU time limit exceeded, terminating
% 289.25/286.68 eprover: CPU time limit exceeded, terminating
% 291.30/288.69 eprover: CPU time limit exceeded, terminating
% 293.38/290.70 eprover: CPU time limit exceeded, terminating
% 295.42/292.72 eprover: CPU time limit exceeded, terminating
% 297.46/294.73 eprover: CPU time limit exceeded, terminating
% 299.46/296.75 eprover: CPU time limit exceeded, terminating
% 300.06/297.30 eprover: CPU time limit exceeded, terminating
% 300.06/297.32 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------