TSTP Solution File: AGT022+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : AGT022+2 : TPTP v8.1.0. Bugfixed v3.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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:53 EDT 2022
% Result : Timeout 286.56s 284.92s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.13 % Problem : AGT022+2 : TPTP v8.1.0. Bugfixed v3.1.0.
% 0.13/0.13 % Command : run_infinox %s
% 0.13/0.35 % Computer : n020.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Sat Jun 4 07:04:52 EDT 2022
% 0.13/0.35 % CPUTime :
% 2.36/2.57 eprover: CPU time limit exceeded, terminating
% 4.38/4.58 eprover: CPU time limit exceeded, terminating
% 6.45/6.59 eprover: CPU time limit exceeded, terminating
% 8.46/8.60 eprover: CPU time limit exceeded, terminating
% 10.46/10.61 eprover: CPU time limit exceeded, terminating
% 12.53/12.62 eprover: CPU time limit exceeded, terminating
% 14.55/14.63 eprover: CPU time limit exceeded, terminating
% 16.64/16.67 eprover: CPU time limit exceeded, terminating
% 18.62/18.68 eprover: CPU time limit exceeded, terminating
% 20.70/20.69 eprover: CPU time limit exceeded, terminating
% 22.67/22.70 eprover: CPU time limit exceeded, terminating
% 24.76/24.71 eprover: CPU time limit exceeded, terminating
% 26.72/26.72 eprover: CPU time limit exceeded, terminating
% 28.83/28.73 eprover: CPU time limit exceeded, terminating
% 30.84/30.74 eprover: CPU time limit exceeded, terminating
% 32.82/32.76 eprover: CPU time limit exceeded, terminating
% 34.91/34.77 eprover: CPU time limit exceeded, terminating
% 36.95/36.78 eprover: CPU time limit exceeded, terminating
% 38.94/38.79 eprover: CPU time limit exceeded, terminating
% 40.99/40.80 eprover: CPU time limit exceeded, terminating
% 43.04/42.81 eprover: CPU time limit exceeded, terminating
% 45.03/44.82 eprover: CPU time limit exceeded, terminating
% 47.09/46.83 eprover: CPU time limit exceeded, terminating
% 49.09/48.84 eprover: CPU time limit exceeded, terminating
% 51.15/50.85 eprover: CPU time limit exceeded, terminating
% 53.20/52.86 eprover: CPU time limit exceeded, terminating
% 55.18/54.88 eprover: CPU time limit exceeded, terminating
% 57.26/56.89 eprover: CPU time limit exceeded, terminating
% 59.30/58.90 eprover: CPU time limit exceeded, terminating
% 61.31/60.91 eprover: CPU time limit exceeded, terminating
% 63.33/62.92 eprover: CPU time limit exceeded, terminating
% 65.33/64.93 eprover: CPU time limit exceeded, terminating
% 67.38/66.94 eprover: CPU time limit exceeded, terminating
% 69.41/68.95 eprover: CPU time limit exceeded, terminating
% 71.46/70.96 eprover: CPU time limit exceeded, terminating
% 73.46/72.97 eprover: CPU time limit exceeded, terminating
% 75.51/74.99 eprover: CPU time limit exceeded, terminating
% 77.55/77.00 eprover: CPU time limit exceeded, terminating
% 79.51/79.01 eprover: CPU time limit exceeded, terminating
% 81.57/81.02 eprover: CPU time limit exceeded, terminating
% 83.66/83.03 eprover: CPU time limit exceeded, terminating
% 85.64/85.04 eprover: CPU time limit exceeded, terminating
% 87.72/87.05 eprover: CPU time limit exceeded, terminating
% 89.68/89.06 eprover: CPU time limit exceeded, terminating
% 91.77/91.07 eprover: CPU time limit exceeded, terminating
% 93.81/93.09 eprover: CPU time limit exceeded, terminating
% 95.76/95.11 eprover: CPU time limit exceeded, terminating
% 97.80/97.13 eprover: CPU time limit exceeded, terminating
% 99.86/99.15 eprover: CPU time limit exceeded, terminating
% 101.93/101.17 eprover: CPU time limit exceeded, terminating
% 103.90/103.18 eprover: CPU time limit exceeded, terminating
% 105.94/105.20 eprover: CPU time limit exceeded, terminating
% 108.02/107.21 eprover: CPU time limit exceeded, terminating
% 110.04/109.23 eprover: CPU time limit exceeded, terminating
% 112.03/111.25 eprover: CPU time limit exceeded, terminating
% 114.07/113.26 eprover: CPU time limit exceeded, terminating
% 116.13/115.28 eprover: CPU time limit exceeded, terminating
% 118.16/117.30 eprover: CPU time limit exceeded, terminating
% 120.21/119.32 eprover: CPU time limit exceeded, terminating
% 122.22/121.34 eprover: CPU time limit exceeded, terminating
% 124.25/123.36 eprover: CPU time limit exceeded, terminating
% 126.27/125.38 eprover: CPU time limit exceeded, terminating
% 128.29/127.39 eprover: CPU time limit exceeded, terminating
% 130.29/129.42 eprover: CPU time limit exceeded, terminating
% 132.31/131.43 eprover: CPU time limit exceeded, terminating
% 134.35/133.45 eprover: CPU time limit exceeded, terminating
% 136.40/135.47 eprover: CPU time limit exceeded, terminating
% 138.43/137.48 eprover: CPU time limit exceeded, terminating
% 140.48/139.50 eprover: CPU time limit exceeded, terminating
% 142.46/141.52 eprover: CPU time limit exceeded, terminating
% 144.50/143.54 eprover: CPU time limit exceeded, terminating
% 146.55/145.55 eprover: CPU time limit exceeded, terminating
% 148.58/147.57 eprover: CPU time limit exceeded, terminating
% 150.63/149.59 eprover: CPU time limit exceeded, terminating
% 152.67/151.62 eprover: CPU time limit exceeded, terminating
% 154.68/153.66 eprover: CPU time limit exceeded, terminating
% 156.73/155.67 eprover: CPU time limit exceeded, terminating
% 158.69/157.69 eprover: CPU time limit exceeded, terminating
% 160.73/159.70 eprover: CPU time limit exceeded, terminating
% 162.79/161.71 eprover: CPU time limit exceeded, terminating
% 164.78/163.74 eprover: CPU time limit exceeded, terminating
% 166.78/165.76 eprover: CPU time limit exceeded, terminating
% 168.85/167.77 eprover: CPU time limit exceeded, terminating
% 170.94/169.80 eprover: CPU time limit exceeded, terminating
% 172.96/171.81 eprover: CPU time limit exceeded, terminating
% 174.96/173.83 eprover: CPU time limit exceeded, terminating
% 177.00/175.84 eprover: CPU time limit exceeded, terminating
% 179.01/177.86 eprover: CPU time limit exceeded, terminating
% 181.06/179.88 eprover: CPU time limit exceeded, terminating
% 183.11/181.90 eprover: CPU time limit exceeded, terminating
% 185.13/183.95 eprover: CPU time limit exceeded, terminating
% 187.12/185.97 eprover: CPU time limit exceeded, terminating
% 189.14/187.99 eprover: CPU time limit exceeded, terminating
% 191.19/190.00 eprover: CPU time limit exceeded, terminating
% 193.21/192.02 eprover: CPU time limit exceeded, terminating
% 195.25/194.04 eprover: CPU time limit exceeded, terminating
% 197.29/196.05 eprover: CPU time limit exceeded, terminating
% 199.31/198.07 eprover: CPU time limit exceeded, terminating
% 201.32/200.09 eprover: CPU time limit exceeded, terminating
% 203.34/202.11 eprover: CPU time limit exceeded, terminating
% 205.39/204.13 eprover: CPU time limit exceeded, terminating
% 207.44/206.14 eprover: CPU time limit exceeded, terminating
% 209.45/208.16 eprover: CPU time limit exceeded, terminating
% 211.49/210.17 eprover: CPU time limit exceeded, terminating
% 213.49/212.20 eprover: CPU time limit exceeded, terminating
% 215.53/214.22 eprover: CPU time limit exceeded, terminating
% 217.51/216.23 eprover: CPU time limit exceeded, terminating
% 219.60/218.25 eprover: CPU time limit exceeded, terminating
% 221.64/220.27 eprover: CPU time limit exceeded, terminating
% 223.68/222.29 eprover: CPU time limit exceeded, terminating
% 225.62/224.31 eprover: CPU time limit exceeded, terminating
% 227.69/226.33 eprover: CPU time limit exceeded, terminating
% 229.73/228.34 eprover: CPU time limit exceeded, terminating
% 231.79/230.36 eprover: CPU time limit exceeded, terminating
% 233.75/232.38 eprover: CPU time limit exceeded, terminating
% 235.80/234.39 eprover: CPU time limit exceeded, terminating
% 237.85/236.42 eprover: CPU time limit exceeded, terminating
% 239.90/238.43 eprover: CPU time limit exceeded, terminating
% 241.85/240.45 eprover: CPU time limit exceeded, terminating
% 243.92/242.47 eprover: CPU time limit exceeded, terminating
% 245.95/244.49 eprover: CPU time limit exceeded, terminating
% 248.00/246.53 eprover: CPU time limit exceeded, terminating
% 250.04/248.54 eprover: CPU time limit exceeded, terminating
% 252.07/250.55 eprover: CPU time limit exceeded, terminating
% 254.09/252.57 eprover: CPU time limit exceeded, terminating
% 256.13/254.59 eprover: CPU time limit exceeded, terminating
% 258.11/256.61 eprover: CPU time limit exceeded, terminating
% 260.14/258.64 eprover: CPU time limit exceeded, terminating
% 262.21/260.65 eprover: CPU time limit exceeded, terminating
% 264.23/262.68 eprover: CPU time limit exceeded, terminating
% 266.25/264.70 eprover: CPU time limit exceeded, terminating
% 268.31/266.72 eprover: CPU time limit exceeded, terminating
% 270.34/268.74 eprover: CPU time limit exceeded, terminating
% 272.34/270.76 eprover: CPU time limit exceeded, terminating
% 274.38/272.78 eprover: CPU time limit exceeded, terminating
% 276.41/274.80 eprover: CPU time limit exceeded, terminating
% 278.40/276.82 eprover: CPU time limit exceeded, terminating
% 280.49/278.83 eprover: CPU time limit exceeded, terminating
% 282.50/280.87 eprover: CPU time limit exceeded, terminating
% 284.55/282.89 eprover: CPU time limit exceeded, terminating
% 286.56/284.92 eprover: CPU time limit exceeded, terminating
% 288.57/286.93 eprover: CPU time limit exceeded, terminating
% 290.60/288.95 eprover: CPU time limit exceeded, terminating
% 292.62/290.96 eprover: CPU time limit exceeded, terminating
% 294.68/292.98 eprover: CPU time limit exceeded, terminating
% 296.73/295.00 eprover: CPU time limit exceeded, terminating
% 298.72/297.02 eprover: CPU time limit exceeded, terminating
% 300.04/298.30 eprover: CPU time limit exceeded, terminating
% 300.04/298.32 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------