TSTP Solution File: AGT026+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : AGT026+2 : TPTP v8.1.0. Bugfixed v3.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n027.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:54 EDT 2022
% Result : Timeout 286.79s 284.24s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : AGT026+2 : TPTP v8.1.0. Bugfixed v3.1.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n027.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 03:11:51 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.49/2.64 eprover: CPU time limit exceeded, terminating
% 4.51/4.65 eprover: CPU time limit exceeded, terminating
% 6.51/6.66 eprover: CPU time limit exceeded, terminating
% 8.54/8.67 eprover: CPU time limit exceeded, terminating
% 10.56/10.68 eprover: CPU time limit exceeded, terminating
% 12.59/12.69 eprover: CPU time limit exceeded, terminating
% 14.61/14.70 eprover: CPU time limit exceeded, terminating
% 16.72/16.75 eprover: CPU time limit exceeded, terminating
% 18.75/18.76 eprover: CPU time limit exceeded, terminating
% 20.70/20.77 eprover: CPU time limit exceeded, terminating
% 22.78/22.78 eprover: CPU time limit exceeded, terminating
% 24.84/24.79 eprover: CPU time limit exceeded, terminating
% 26.86/26.80 eprover: CPU time limit exceeded, terminating
% 28.89/28.81 eprover: CPU time limit exceeded, terminating
% 30.92/30.82 eprover: CPU time limit exceeded, terminating
% 32.96/32.83 eprover: CPU time limit exceeded, terminating
% 34.96/34.84 eprover: CPU time limit exceeded, terminating
% 36.96/36.85 eprover: CPU time limit exceeded, terminating
% 39.04/38.87 eprover: CPU time limit exceeded, terminating
% 41.02/40.88 eprover: CPU time limit exceeded, terminating
% 43.07/42.89 eprover: CPU time limit exceeded, terminating
% 45.16/44.90 eprover: CPU time limit exceeded, terminating
% 47.11/46.91 eprover: CPU time limit exceeded, terminating
% 49.17/48.92 eprover: CPU time limit exceeded, terminating
% 51.21/50.93 eprover: CPU time limit exceeded, terminating
% 53.28/52.94 eprover: CPU time limit exceeded, terminating
% 55.25/54.95 eprover: CPU time limit exceeded, terminating
% 57.29/56.97 eprover: CPU time limit exceeded, terminating
% 59.32/58.98 eprover: CPU time limit exceeded, terminating
% 61.40/60.99 eprover: CPU time limit exceeded, terminating
% 63.38/63.00 eprover: CPU time limit exceeded, terminating
% 65.48/65.01 eprover: CPU time limit exceeded, terminating
% 67.41/67.02 eprover: CPU time limit exceeded, terminating
% 69.49/69.03 eprover: CPU time limit exceeded, terminating
% 71.54/71.04 eprover: CPU time limit exceeded, terminating
% 73.51/73.05 eprover: CPU time limit exceeded, terminating
% 75.58/75.06 eprover: CPU time limit exceeded, terminating
% 77.63/77.07 eprover: CPU time limit exceeded, terminating
% 79.59/79.08 eprover: CPU time limit exceeded, terminating
% 81.66/81.09 eprover: CPU time limit exceeded, terminating
% 83.73/83.10 eprover: CPU time limit exceeded, terminating
% 85.73/85.11 eprover: CPU time limit exceeded, terminating
% 87.76/87.12 eprover: CPU time limit exceeded, terminating
% 89.79/89.13 eprover: CPU time limit exceeded, terminating
% 91.81/91.14 eprover: CPU time limit exceeded, terminating
% 93.84/93.15 eprover: CPU time limit exceeded, terminating
% 95.89/95.16 eprover: CPU time limit exceeded, terminating
% 97.94/97.17 eprover: CPU time limit exceeded, terminating
% 99.90/99.19 eprover: CPU time limit exceeded, terminating
% 102.01/101.20 eprover: CPU time limit exceeded, terminating
% 103.95/103.21 eprover: CPU time limit exceeded, terminating
% 106.04/105.22 eprover: CPU time limit exceeded, terminating
% 108.11/107.24 eprover: CPU time limit exceeded, terminating
% 110.07/109.25 eprover: CPU time limit exceeded, terminating
% 112.15/111.26 eprover: CPU time limit exceeded, terminating
% 114.13/113.28 eprover: CPU time limit exceeded, terminating
% 116.23/115.29 eprover: CPU time limit exceeded, terminating
% 118.27/117.30 eprover: CPU time limit exceeded, terminating
% 120.29/119.32 eprover: CPU time limit exceeded, terminating
% 122.33/121.33 eprover: CPU time limit exceeded, terminating
% 124.34/123.34 eprover: CPU time limit exceeded, terminating
% 126.33/125.36 eprover: CPU time limit exceeded, terminating
% 128.37/127.37 eprover: CPU time limit exceeded, terminating
% 130.48/129.38 eprover: CPU time limit exceeded, terminating
% 132.44/131.39 eprover: CPU time limit exceeded, terminating
% 134.47/133.41 eprover: CPU time limit exceeded, terminating
% 136.57/135.42 eprover: CPU time limit exceeded, terminating
% 138.55/137.43 eprover: CPU time limit exceeded, terminating
% 140.58/139.44 eprover: CPU time limit exceeded, terminating
% 142.61/141.46 eprover: CPU time limit exceeded, terminating
% 144.66/143.47 eprover: CPU time limit exceeded, terminating
% 146.68/145.48 eprover: CPU time limit exceeded, terminating
% 148.76/147.49 eprover: CPU time limit exceeded, terminating
% 150.78/149.51 eprover: CPU time limit exceeded, terminating
% 152.82/151.52 eprover: CPU time limit exceeded, terminating
% 154.81/153.53 eprover: CPU time limit exceeded, terminating
% 156.86/155.54 eprover: CPU time limit exceeded, terminating
% 158.85/157.55 eprover: CPU time limit exceeded, terminating
% 160.90/159.57 eprover: CPU time limit exceeded, terminating
% 162.94/161.58 eprover: CPU time limit exceeded, terminating
% 164.93/163.59 eprover: CPU time limit exceeded, terminating
% 167.05/165.60 eprover: CPU time limit exceeded, terminating
% 169.08/167.61 eprover: CPU time limit exceeded, terminating
% 171.07/169.63 eprover: CPU time limit exceeded, terminating
% 173.12/171.63 eprover: CPU time limit exceeded, terminating
% 175.15/173.64 eprover: CPU time limit exceeded, terminating
% 177.13/175.65 eprover: CPU time limit exceeded, terminating
% 179.17/177.66 eprover: CPU time limit exceeded, terminating
% 181.25/179.67 eprover: CPU time limit exceeded, terminating
% 183.30/181.68 eprover: CPU time limit exceeded, terminating
% 185.31/183.69 eprover: CPU time limit exceeded, terminating
% 187.24/185.70 eprover: CPU time limit exceeded, terminating
% 189.28/187.71 eprover: CPU time limit exceeded, terminating
% 191.38/189.72 eprover: CPU time limit exceeded, terminating
% 193.42/191.73 eprover: CPU time limit exceeded, terminating
% 195.42/193.74 eprover: CPU time limit exceeded, terminating
% 197.46/195.75 eprover: CPU time limit exceeded, terminating
% 199.47/197.76 eprover: CPU time limit exceeded, terminating
% 201.54/199.77 eprover: CPU time limit exceeded, terminating
% 203.49/201.78 eprover: CPU time limit exceeded, terminating
% 205.52/203.79 eprover: CPU time limit exceeded, terminating
% 207.62/205.80 eprover: CPU time limit exceeded, terminating
% 209.66/207.81 eprover: CPU time limit exceeded, terminating
% 211.59/209.83 eprover: CPU time limit exceeded, terminating
% 213.68/211.84 eprover: CPU time limit exceeded, terminating
% 215.70/213.85 eprover: CPU time limit exceeded, terminating
% 217.73/215.86 eprover: CPU time limit exceeded, terminating
% 219.75/217.87 eprover: CPU time limit exceeded, terminating
% 221.76/219.88 eprover: CPU time limit exceeded, terminating
% 223.86/221.89 eprover: CPU time limit exceeded, terminating
% 225.90/223.90 eprover: CPU time limit exceeded, terminating
% 227.93/225.91 eprover: CPU time limit exceeded, terminating
% 229.91/227.92 eprover: CPU time limit exceeded, terminating
% 231.96/229.94 eprover: CPU time limit exceeded, terminating
% 233.97/231.95 eprover: CPU time limit exceeded, terminating
% 236.03/233.96 eprover: CPU time limit exceeded, terminating
% 238.02/235.97 eprover: CPU time limit exceeded, terminating
% 240.05/237.98 eprover: CPU time limit exceeded, terminating
% 242.05/239.99 eprover: CPU time limit exceeded, terminating
% 244.18/242.00 eprover: CPU time limit exceeded, terminating
% 246.22/244.01 eprover: CPU time limit exceeded, terminating
% 248.22/246.03 eprover: CPU time limit exceeded, terminating
% 250.27/248.04 eprover: CPU time limit exceeded, terminating
% 252.27/250.05 eprover: CPU time limit exceeded, terminating
% 254.26/252.06 eprover: CPU time limit exceeded, terminating
% 256.30/254.07 eprover: CPU time limit exceeded, terminating
% 258.35/256.08 eprover: CPU time limit exceeded, terminating
% 260.34/258.09 eprover: CPU time limit exceeded, terminating
% 262.39/260.10 eprover: CPU time limit exceeded, terminating
% 264.47/262.12 eprover: CPU time limit exceeded, terminating
% 266.52/264.13 eprover: CPU time limit exceeded, terminating
% 268.52/266.14 eprover: CPU time limit exceeded, terminating
% 270.53/268.15 eprover: CPU time limit exceeded, terminating
% 272.56/270.16 eprover: CPU time limit exceeded, terminating
% 274.57/272.18 eprover: CPU time limit exceeded, terminating
% 276.67/274.19 eprover: CPU time limit exceeded, terminating
% 278.72/276.20 eprover: CPU time limit exceeded, terminating
% 280.73/278.21 eprover: CPU time limit exceeded, terminating
% 282.77/280.22 eprover: CPU time limit exceeded, terminating
% 284.75/282.23 eprover: CPU time limit exceeded, terminating
% 286.79/284.24 eprover: CPU time limit exceeded, terminating
% 288.82/286.25 eprover: CPU time limit exceeded, terminating
% 290.81/288.26 eprover: CPU time limit exceeded, terminating
% 292.84/290.28 eprover: CPU time limit exceeded, terminating
% 294.88/292.29 eprover: CPU time limit exceeded, terminating
% 296.89/294.30 eprover: CPU time limit exceeded, terminating
% 298.99/296.31 eprover: CPU time limit exceeded, terminating
% 300.01/297.29 eprover: CPU time limit exceeded, terminating
% 300.01/297.30 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------