TSTP Solution File: AGT025+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : AGT025+2 : TPTP v8.1.0. Bugfixed v3.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n032.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.63s 284.75s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.08 % Problem : AGT025+2 : TPTP v8.1.0. Bugfixed v3.1.0.
% 0.04/0.09 % Command : run_infinox %s
% 0.08/0.28 % Computer : n032.cluster.edu
% 0.08/0.28 % Model : x86_64 x86_64
% 0.08/0.28 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.08/0.28 % Memory : 8042.1875MB
% 0.08/0.28 % OS : Linux 3.10.0-693.el7.x86_64
% 0.08/0.28 % CPULimit : 300
% 0.08/0.28 % WCLimit : 600
% 0.08/0.28 % DateTime : Sat Jun 4 04:53:17 EDT 2022
% 0.08/0.28 % CPUTime :
% 2.35/2.55 eprover: CPU time limit exceeded, terminating
% 4.38/4.56 eprover: CPU time limit exceeded, terminating
% 6.40/6.57 eprover: CPU time limit exceeded, terminating
% 8.42/8.58 eprover: CPU time limit exceeded, terminating
% 10.43/10.59 eprover: CPU time limit exceeded, terminating
% 12.44/12.60 eprover: CPU time limit exceeded, terminating
% 14.43/14.64 eprover: CPU time limit exceeded, terminating
% 16.56/16.68 eprover: CPU time limit exceeded, terminating
% 18.56/18.69 eprover: CPU time limit exceeded, terminating
% 20.57/20.70 eprover: CPU time limit exceeded, terminating
% 22.61/22.72 eprover: CPU time limit exceeded, terminating
% 24.63/24.73 eprover: CPU time limit exceeded, terminating
% 26.71/26.74 eprover: CPU time limit exceeded, terminating
% 28.74/28.75 eprover: CPU time limit exceeded, terminating
% 30.76/30.76 eprover: CPU time limit exceeded, terminating
% 32.77/32.78 eprover: CPU time limit exceeded, terminating
% 34.83/34.79 eprover: CPU time limit exceeded, terminating
% 36.84/36.81 eprover: CPU time limit exceeded, terminating
% 38.88/38.83 eprover: CPU time limit exceeded, terminating
% 40.87/40.84 eprover: CPU time limit exceeded, terminating
% 42.94/42.86 eprover: CPU time limit exceeded, terminating
% 44.97/44.87 eprover: CPU time limit exceeded, terminating
% 46.96/46.89 eprover: CPU time limit exceeded, terminating
% 49.01/48.90 eprover: CPU time limit exceeded, terminating
% 50.99/50.92 eprover: CPU time limit exceeded, terminating
% 53.03/52.93 eprover: CPU time limit exceeded, terminating
% 55.10/54.94 eprover: CPU time limit exceeded, terminating
% 57.05/56.96 eprover: CPU time limit exceeded, terminating
% 59.13/58.97 eprover: CPU time limit exceeded, terminating
% 61.21/60.99 eprover: CPU time limit exceeded, terminating
% 63.17/63.01 eprover: CPU time limit exceeded, terminating
% 65.29/65.03 eprover: CPU time limit exceeded, terminating
% 67.29/67.05 eprover: CPU time limit exceeded, terminating
% 69.30/69.06 eprover: CPU time limit exceeded, terminating
% 71.36/71.08 eprover: CPU time limit exceeded, terminating
% 73.32/73.09 eprover: CPU time limit exceeded, terminating
% 75.35/75.11 eprover: CPU time limit exceeded, terminating
% 77.44/77.13 eprover: CPU time limit exceeded, terminating
% 79.48/79.15 eprover: CPU time limit exceeded, terminating
% 81.49/81.17 eprover: CPU time limit exceeded, terminating
% 83.57/83.18 eprover: CPU time limit exceeded, terminating
% 85.53/85.20 eprover: CPU time limit exceeded, terminating
% 87.61/87.22 eprover: CPU time limit exceeded, terminating
% 89.62/89.24 eprover: CPU time limit exceeded, terminating
% 91.63/91.25 eprover: CPU time limit exceeded, terminating
% 93.67/93.27 eprover: CPU time limit exceeded, terminating
% 95.76/95.29 eprover: CPU time limit exceeded, terminating
% 97.78/97.31 eprover: CPU time limit exceeded, terminating
% 99.80/99.32 eprover: CPU time limit exceeded, terminating
% 101.83/101.33 eprover: CPU time limit exceeded, terminating
% 103.87/103.35 eprover: CPU time limit exceeded, terminating
% 105.86/105.36 eprover: CPU time limit exceeded, terminating
% 107.89/107.38 eprover: CPU time limit exceeded, terminating
% 109.98/109.39 eprover: CPU time limit exceeded, terminating
% 112.00/111.41 eprover: CPU time limit exceeded, terminating
% 113.96/113.42 eprover: CPU time limit exceeded, terminating
% 116.03/115.43 eprover: CPU time limit exceeded, terminating
% 118.07/117.45 eprover: CPU time limit exceeded, terminating
% 120.06/119.46 eprover: CPU time limit exceeded, terminating
% 122.11/121.48 eprover: CPU time limit exceeded, terminating
% 124.18/123.52 eprover: CPU time limit exceeded, terminating
% 126.22/125.53 eprover: CPU time limit exceeded, terminating
% 128.21/127.55 eprover: CPU time limit exceeded, terminating
% 130.24/129.56 eprover: CPU time limit exceeded, terminating
% 132.23/131.58 eprover: CPU time limit exceeded, terminating
% 134.36/133.60 eprover: CPU time limit exceeded, terminating
% 136.36/135.61 eprover: CPU time limit exceeded, terminating
% 138.41/137.63 eprover: CPU time limit exceeded, terminating
% 140.43/139.65 eprover: CPU time limit exceeded, terminating
% 142.45/141.67 eprover: CPU time limit exceeded, terminating
% 144.45/143.68 eprover: CPU time limit exceeded, terminating
% 146.52/145.69 eprover: CPU time limit exceeded, terminating
% 148.56/147.71 eprover: CPU time limit exceeded, terminating
% 150.58/149.72 eprover: CPU time limit exceeded, terminating
% 152.64/151.74 eprover: CPU time limit exceeded, terminating
% 154.59/153.76 eprover: CPU time limit exceeded, terminating
% 156.69/155.77 eprover: CPU time limit exceeded, terminating
% 158.71/157.78 eprover: CPU time limit exceeded, terminating
% 160.76/159.80 eprover: CPU time limit exceeded, terminating
% 162.75/161.81 eprover: CPU time limit exceeded, terminating
% 164.83/163.83 eprover: CPU time limit exceeded, terminating
% 166.87/165.85 eprover: CPU time limit exceeded, terminating
% 168.87/167.86 eprover: CPU time limit exceeded, terminating
% 170.93/169.88 eprover: CPU time limit exceeded, terminating
% 172.93/171.89 eprover: CPU time limit exceeded, terminating
% 174.99/173.91 eprover: CPU time limit exceeded, terminating
% 177.00/175.92 eprover: CPU time limit exceeded, terminating
% 178.97/177.93 eprover: CPU time limit exceeded, terminating
% 181.07/179.95 eprover: CPU time limit exceeded, terminating
% 183.12/181.96 eprover: CPU time limit exceeded, terminating
% 185.08/183.97 eprover: CPU time limit exceeded, terminating
% 187.11/185.99 eprover: CPU time limit exceeded, terminating
% 189.19/188.00 eprover: CPU time limit exceeded, terminating
% 191.15/190.02 eprover: CPU time limit exceeded, terminating
% 193.20/192.03 eprover: CPU time limit exceeded, terminating
% 195.28/194.05 eprover: CPU time limit exceeded, terminating
% 197.30/196.07 eprover: CPU time limit exceeded, terminating
% 199.31/198.08 eprover: CPU time limit exceeded, terminating
% 201.38/200.10 eprover: CPU time limit exceeded, terminating
% 203.35/202.12 eprover: CPU time limit exceeded, terminating
% 205.45/204.13 eprover: CPU time limit exceeded, terminating
% 207.44/206.16 eprover: CPU time limit exceeded, terminating
% 209.52/208.18 eprover: CPU time limit exceeded, terminating
% 211.56/210.19 eprover: CPU time limit exceeded, terminating
% 213.58/212.21 eprover: CPU time limit exceeded, terminating
% 215.58/214.22 eprover: CPU time limit exceeded, terminating
% 217.64/216.24 eprover: CPU time limit exceeded, terminating
% 219.62/218.26 eprover: CPU time limit exceeded, terminating
% 221.66/220.27 eprover: CPU time limit exceeded, terminating
% 223.74/222.28 eprover: CPU time limit exceeded, terminating
% 225.70/224.29 eprover: CPU time limit exceeded, terminating
% 227.75/226.31 eprover: CPU time limit exceeded, terminating
% 229.81/228.32 eprover: CPU time limit exceeded, terminating
% 231.84/230.34 eprover: CPU time limit exceeded, terminating
% 233.84/232.35 eprover: CPU time limit exceeded, terminating
% 235.87/234.36 eprover: CPU time limit exceeded, terminating
% 237.88/236.38 eprover: CPU time limit exceeded, terminating
% 239.91/238.39 eprover: CPU time limit exceeded, terminating
% 241.99/240.41 eprover: CPU time limit exceeded, terminating
% 244.03/242.42 eprover: CPU time limit exceeded, terminating
% 246.04/244.44 eprover: CPU time limit exceeded, terminating
% 248.07/246.45 eprover: CPU time limit exceeded, terminating
% 250.10/248.47 eprover: CPU time limit exceeded, terminating
% 252.16/250.49 eprover: CPU time limit exceeded, terminating
% 254.11/252.51 eprover: CPU time limit exceeded, terminating
% 256.24/254.51 eprover: CPU time limit exceeded, terminating
% 258.22/256.54 eprover: CPU time limit exceeded, terminating
% 260.28/258.55 eprover: CPU time limit exceeded, terminating
% 262.26/260.56 eprover: CPU time limit exceeded, terminating
% 264.30/262.58 eprover: CPU time limit exceeded, terminating
% 266.33/264.59 eprover: CPU time limit exceeded, terminating
% 268.40/266.62 eprover: CPU time limit exceeded, terminating
% 270.43/268.63 eprover: CPU time limit exceeded, terminating
% 272.42/270.66 eprover: CPU time limit exceeded, terminating
% 274.48/272.67 eprover: CPU time limit exceeded, terminating
% 276.54/274.69 eprover: CPU time limit exceeded, terminating
% 278.55/276.70 eprover: CPU time limit exceeded, terminating
% 280.60/278.71 eprover: CPU time limit exceeded, terminating
% 282.59/280.72 eprover: CPU time limit exceeded, terminating
% 284.66/282.74 eprover: CPU time limit exceeded, terminating
% 286.63/284.75 eprover: CPU time limit exceeded, terminating
% 288.68/286.76 eprover: CPU time limit exceeded, terminating
% 290.75/288.78 eprover: CPU time limit exceeded, terminating
% 292.79/290.81 eprover: CPU time limit exceeded, terminating
% 294.81/292.82 eprover: CPU time limit exceeded, terminating
% 296.82/294.84 eprover: CPU time limit exceeded, terminating
% 298.87/296.86 eprover: CPU time limit exceeded, terminating
% 300.03/297.99 eprover: CPU time limit exceeded, terminating
% 300.03/298.01 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------