TSTP Solution File: AGT012+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : AGT012+2 : TPTP v8.1.0. Bugfixed v3.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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 286.82s 282.95s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.14 % Problem : AGT012+2 : TPTP v8.1.0. Bugfixed v3.1.0.
% 0.04/0.15 % Command : run_infinox %s
% 0.14/0.36 % Computer : n024.cluster.edu
% 0.14/0.36 % Model : x86_64 x86_64
% 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.36 % Memory : 8042.1875MB
% 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 600
% 0.14/0.36 % DateTime : Sat Jun 4 06:10:20 EDT 2022
% 0.14/0.36 % CPUTime :
% 2.50/2.67 eprover: CPU time limit exceeded, terminating
% 4.52/4.69 eprover: CPU time limit exceeded, terminating
% 6.53/6.70 eprover: CPU time limit exceeded, terminating
% 8.59/8.71 eprover: CPU time limit exceeded, terminating
% 10.63/10.73 eprover: CPU time limit exceeded, terminating
% 12.61/12.74 eprover: CPU time limit exceeded, terminating
% 14.70/14.76 eprover: CPU time limit exceeded, terminating
% 16.72/16.81 eprover: CPU time limit exceeded, terminating
% 18.73/18.83 eprover: CPU time limit exceeded, terminating
% 20.81/20.84 eprover: CPU time limit exceeded, terminating
% 22.85/22.86 eprover: CPU time limit exceeded, terminating
% 24.86/24.88 eprover: CPU time limit exceeded, terminating
% 26.90/26.90 eprover: CPU time limit exceeded, terminating
% 28.94/28.92 eprover: CPU time limit exceeded, terminating
% 30.91/30.93 eprover: CPU time limit exceeded, terminating
% 33.02/32.94 eprover: CPU time limit exceeded, terminating
% 35.03/34.97 eprover: CPU time limit exceeded, terminating
% 37.06/36.99 eprover: CPU time limit exceeded, terminating
% 39.06/39.01 eprover: CPU time limit exceeded, terminating
% 41.18/41.03 eprover: CPU time limit exceeded, terminating
% 43.17/43.04 eprover: CPU time limit exceeded, terminating
% 45.15/45.07 eprover: CPU time limit exceeded, terminating
% 47.23/47.08 eprover: CPU time limit exceeded, terminating
% 49.27/49.10 eprover: CPU time limit exceeded, terminating
% 51.32/51.12 eprover: CPU time limit exceeded, terminating
% 53.37/53.14 eprover: CPU time limit exceeded, terminating
% 55.37/55.16 eprover: CPU time limit exceeded, terminating
% 57.43/57.18 eprover: CPU time limit exceeded, terminating
% 59.47/59.20 eprover: CPU time limit exceeded, terminating
% 61.47/61.22 eprover: CPU time limit exceeded, terminating
% 63.50/63.24 eprover: CPU time limit exceeded, terminating
% 65.56/65.26 eprover: CPU time limit exceeded, terminating
% 67.60/67.27 eprover: CPU time limit exceeded, terminating
% 69.63/69.29 eprover: CPU time limit exceeded, terminating
% 71.63/71.31 eprover: CPU time limit exceeded, terminating
% 73.67/73.33 eprover: CPU time limit exceeded, terminating
% 75.74/75.35 eprover: CPU time limit exceeded, terminating
% 77.77/77.37 eprover: CPU time limit exceeded, terminating
% 79.81/79.39 eprover: CPU time limit exceeded, terminating
% 81.79/81.41 eprover: CPU time limit exceeded, terminating
% 83.85/83.43 eprover: CPU time limit exceeded, terminating
% 85.90/85.45 eprover: CPU time limit exceeded, terminating
% 87.91/87.47 eprover: CPU time limit exceeded, terminating
% 89.96/89.48 eprover: CPU time limit exceeded, terminating
% 91.98/91.50 eprover: CPU time limit exceeded, terminating
% 94.01/93.52 eprover: CPU time limit exceeded, terminating
% 96.06/95.54 eprover: CPU time limit exceeded, terminating
% 98.04/97.56 eprover: CPU time limit exceeded, terminating
% 100.14/99.58 eprover: CPU time limit exceeded, terminating
% 102.15/101.60 eprover: CPU time limit exceeded, terminating
% 104.18/103.62 eprover: CPU time limit exceeded, terminating
% 106.19/105.64 eprover: CPU time limit exceeded, terminating
% 108.21/107.66 eprover: CPU time limit exceeded, terminating
% 110.30/109.67 eprover: CPU time limit exceeded, terminating
% 112.31/111.69 eprover: CPU time limit exceeded, terminating
% 114.38/113.72 eprover: CPU time limit exceeded, terminating
% 116.40/115.73 eprover: CPU time limit exceeded, terminating
% 118.44/117.75 eprover: CPU time limit exceeded, terminating
% 120.46/119.77 eprover: CPU time limit exceeded, terminating
% 122.51/121.79 eprover: CPU time limit exceeded, terminating
% 124.50/123.80 eprover: CPU time limit exceeded, terminating
% 126.53/125.81 eprover: CPU time limit exceeded, terminating
% 128.59/127.82 eprover: CPU time limit exceeded, terminating
% 130.57/129.83 eprover: CPU time limit exceeded, terminating
% 132.63/131.84 eprover: CPU time limit exceeded, terminating
% 134.70/133.85 eprover: CPU time limit exceeded, terminating
% 136.71/135.86 eprover: CPU time limit exceeded, terminating
% 138.75/137.87 eprover: CPU time limit exceeded, terminating
% 140.77/139.88 eprover: CPU time limit exceeded, terminating
% 142.80/141.90 eprover: CPU time limit exceeded, terminating
% 144.79/143.91 eprover: CPU time limit exceeded, terminating
% 146.82/145.92 eprover: CPU time limit exceeded, terminating
% 148.87/147.93 eprover: CPU time limit exceeded, terminating
% 150.92/149.94 eprover: CPU time limit exceeded, terminating
% 152.94/151.95 eprover: CPU time limit exceeded, terminating
% 155.00/153.96 eprover: CPU time limit exceeded, terminating
% 157.03/155.97 eprover: CPU time limit exceeded, terminating
% 159.04/157.98 eprover: CPU time limit exceeded, terminating
% 161.06/159.99 eprover: CPU time limit exceeded, terminating
% 163.06/162.00 eprover: CPU time limit exceeded, terminating
% 165.09/164.01 eprover: CPU time limit exceeded, terminating
% 167.11/166.02 eprover: CPU time limit exceeded, terminating
% 169.20/168.04 eprover: CPU time limit exceeded, terminating
% 171.23/170.05 eprover: CPU time limit exceeded, terminating
% 173.25/172.06 eprover: CPU time limit exceeded, terminating
% 175.27/174.07 eprover: CPU time limit exceeded, terminating
% 177.32/176.08 eprover: CPU time limit exceeded, terminating
% 179.34/178.09 eprover: CPU time limit exceeded, terminating
% 181.34/180.10 eprover: CPU time limit exceeded, terminating
% 183.36/182.13 eprover: CPU time limit exceeded, terminating
% 185.41/184.23 eprover: CPU time limit exceeded, terminating
% 187.46/186.24 eprover: CPU time limit exceeded, terminating
% 189.49/188.25 eprover: CPU time limit exceeded, terminating
% 191.51/190.27 eprover: CPU time limit exceeded, terminating
% 193.51/192.28 eprover: CPU time limit exceeded, terminating
% 197.51/194.30 eprover: CPU time limit exceeded, terminating
% 199.54/196.31 eprover: CPU time limit exceeded, terminating
% 201.56/198.33 eprover: CPU time limit exceeded, terminating
% 203.58/200.34 eprover: CPU time limit exceeded, terminating
% 205.62/202.35 eprover: CPU time limit exceeded, terminating
% 207.65/204.37 eprover: CPU time limit exceeded, terminating
% 209.67/206.39 eprover: CPU time limit exceeded, terminating
% 211.73/208.40 eprover: CPU time limit exceeded, terminating
% 213.69/210.42 eprover: CPU time limit exceeded, terminating
% 215.79/212.43 eprover: CPU time limit exceeded, terminating
% 217.82/214.45 eprover: CPU time limit exceeded, terminating
% 219.85/216.46 eprover: CPU time limit exceeded, terminating
% 221.88/218.48 eprover: CPU time limit exceeded, terminating
% 223.90/220.49 eprover: CPU time limit exceeded, terminating
% 225.90/222.51 eprover: CPU time limit exceeded, terminating
% 227.91/224.52 eprover: CPU time limit exceeded, terminating
% 229.98/226.54 eprover: CPU time limit exceeded, terminating
% 231.98/228.55 eprover: CPU time limit exceeded, terminating
% 234.02/230.56 eprover: CPU time limit exceeded, terminating
% 236.09/232.58 eprover: CPU time limit exceeded, terminating
% 238.08/234.59 eprover: CPU time limit exceeded, terminating
% 240.11/236.61 eprover: CPU time limit exceeded, terminating
% 242.15/238.62 eprover: CPU time limit exceeded, terminating
% 244.19/240.64 eprover: CPU time limit exceeded, terminating
% 246.24/242.65 eprover: CPU time limit exceeded, terminating
% 248.23/244.67 eprover: CPU time limit exceeded, terminating
% 250.28/246.68 eprover: CPU time limit exceeded, terminating
% 252.34/248.70 eprover: CPU time limit exceeded, terminating
% 254.32/250.71 eprover: CPU time limit exceeded, terminating
% 256.36/252.72 eprover: CPU time limit exceeded, terminating
% 258.36/254.74 eprover: CPU time limit exceeded, terminating
% 260.43/256.75 eprover: CPU time limit exceeded, terminating
% 262.43/258.77 eprover: CPU time limit exceeded, terminating
% 264.48/260.79 eprover: CPU time limit exceeded, terminating
% 266.54/262.80 eprover: CPU time limit exceeded, terminating
% 268.55/264.82 eprover: CPU time limit exceeded, terminating
% 270.57/266.83 eprover: CPU time limit exceeded, terminating
% 272.61/268.85 eprover: CPU time limit exceeded, terminating
% 274.67/270.87 eprover: CPU time limit exceeded, terminating
% 276.66/272.88 eprover: CPU time limit exceeded, terminating
% 278.74/274.90 eprover: CPU time limit exceeded, terminating
% 280.73/276.91 eprover: CPU time limit exceeded, terminating
% 282.81/278.92 eprover: CPU time limit exceeded, terminating
% 284.84/280.94 eprover: CPU time limit exceeded, terminating
% 286.82/282.95 eprover: CPU time limit exceeded, terminating
% 288.85/284.97 eprover: CPU time limit exceeded, terminating
% 290.94/286.98 eprover: CPU time limit exceeded, terminating
% 292.97/288.99 eprover: CPU time limit exceeded, terminating
% 294.96/291.01 eprover: CPU time limit exceeded, terminating
% 297.03/293.02 eprover: CPU time limit exceeded, terminating
% 299.03/295.04 eprover: CPU time limit exceeded, terminating
% 300.06/296.00 eprover: CPU time limit exceeded, terminating
% 300.06/296.01 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------