TSTP Solution File: AGT007+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : AGT007+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:50 EDT 2022
% Result : Timeout 286.94s 283.35s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.13/0.13 % Problem : AGT007+2 : TPTP v8.1.0. Bugfixed v3.1.0.
% 0.13/0.14 % Command : run_infinox %s
% 0.13/0.35 % Computer : n027.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 04:39:21 EDT 2022
% 0.13/0.36 % CPUTime :
% 2.41/2.67 eprover: CPU time limit exceeded, terminating
% 4.47/4.68 eprover: CPU time limit exceeded, terminating
% 6.50/6.69 eprover: CPU time limit exceeded, terminating
% 8.59/8.71 eprover: CPU time limit exceeded, terminating
% 10.59/10.72 eprover: CPU time limit exceeded, terminating
% 12.64/12.73 eprover: CPU time limit exceeded, terminating
% 14.62/14.74 eprover: CPU time limit exceeded, terminating
% 16.69/16.79 eprover: CPU time limit exceeded, terminating
% 18.76/18.80 eprover: CPU time limit exceeded, terminating
% 20.76/20.81 eprover: CPU time limit exceeded, terminating
% 22.81/22.83 eprover: CPU time limit exceeded, terminating
% 24.87/24.84 eprover: CPU time limit exceeded, terminating
% 26.82/26.85 eprover: CPU time limit exceeded, terminating
% 28.92/28.86 eprover: CPU time limit exceeded, terminating
% 30.97/30.88 eprover: CPU time limit exceeded, terminating
% 32.95/32.89 eprover: CPU time limit exceeded, terminating
% 35.02/34.90 eprover: CPU time limit exceeded, terminating
% 37.07/36.92 eprover: CPU time limit exceeded, terminating
% 39.11/38.93 eprover: CPU time limit exceeded, terminating
% 41.14/40.94 eprover: CPU time limit exceeded, terminating
% 43.16/42.96 eprover: CPU time limit exceeded, terminating
% 45.17/44.97 eprover: CPU time limit exceeded, terminating
% 47.25/46.98 eprover: CPU time limit exceeded, terminating
% 49.26/48.99 eprover: CPU time limit exceeded, terminating
% 51.31/51.01 eprover: CPU time limit exceeded, terminating
% 53.31/53.03 eprover: CPU time limit exceeded, terminating
% 55.39/55.05 eprover: CPU time limit exceeded, terminating
% 57.36/57.07 eprover: CPU time limit exceeded, terminating
% 59.41/59.08 eprover: CPU time limit exceeded, terminating
% 61.48/61.09 eprover: CPU time limit exceeded, terminating
% 63.51/63.11 eprover: CPU time limit exceeded, terminating
% 65.52/65.13 eprover: CPU time limit exceeded, terminating
% 67.56/67.14 eprover: CPU time limit exceeded, terminating
% 69.61/69.16 eprover: CPU time limit exceeded, terminating
% 71.63/71.17 eprover: CPU time limit exceeded, terminating
% 73.63/73.18 eprover: CPU time limit exceeded, terminating
% 75.65/75.20 eprover: CPU time limit exceeded, terminating
% 77.73/77.21 eprover: CPU time limit exceeded, terminating
% 79.74/79.22 eprover: CPU time limit exceeded, terminating
% 81.79/81.24 eprover: CPU time limit exceeded, terminating
% 83.79/83.25 eprover: CPU time limit exceeded, terminating
% 85.88/85.26 eprover: CPU time limit exceeded, terminating
% 87.92/87.28 eprover: CPU time limit exceeded, terminating
% 89.92/89.29 eprover: CPU time limit exceeded, terminating
% 91.96/91.31 eprover: CPU time limit exceeded, terminating
% 93.93/93.32 eprover: CPU time limit exceeded, terminating
% 95.98/95.33 eprover: CPU time limit exceeded, terminating
% 98.07/97.35 eprover: CPU time limit exceeded, terminating
% 100.11/99.36 eprover: CPU time limit exceeded, terminating
% 102.12/101.37 eprover: CPU time limit exceeded, terminating
% 104.18/103.39 eprover: CPU time limit exceeded, terminating
% 106.19/105.40 eprover: CPU time limit exceeded, terminating
% 108.22/107.42 eprover: CPU time limit exceeded, terminating
% 110.24/109.43 eprover: CPU time limit exceeded, terminating
% 112.25/111.44 eprover: CPU time limit exceeded, terminating
% 114.35/113.46 eprover: CPU time limit exceeded, terminating
% 116.35/115.47 eprover: CPU time limit exceeded, terminating
% 118.39/117.49 eprover: CPU time limit exceeded, terminating
% 120.47/119.50 eprover: CPU time limit exceeded, terminating
% 122.44/121.51 eprover: CPU time limit exceeded, terminating
% 124.50/123.53 eprover: CPU time limit exceeded, terminating
% 126.56/125.54 eprover: CPU time limit exceeded, terminating
% 128.57/127.55 eprover: CPU time limit exceeded, terminating
% 130.59/129.57 eprover: CPU time limit exceeded, terminating
% 132.65/131.59 eprover: CPU time limit exceeded, terminating
% 134.67/133.61 eprover: CPU time limit exceeded, terminating
% 136.68/135.62 eprover: CPU time limit exceeded, terminating
% 138.72/137.63 eprover: CPU time limit exceeded, terminating
% 140.77/139.65 eprover: CPU time limit exceeded, terminating
% 142.83/141.66 eprover: CPU time limit exceeded, terminating
% 144.86/143.68 eprover: CPU time limit exceeded, terminating
% 146.88/145.69 eprover: CPU time limit exceeded, terminating
% 148.88/147.71 eprover: CPU time limit exceeded, terminating
% 150.95/149.72 eprover: CPU time limit exceeded, terminating
% 152.96/151.73 eprover: CPU time limit exceeded, terminating
% 155.00/153.75 eprover: CPU time limit exceeded, terminating
% 157.06/155.76 eprover: CPU time limit exceeded, terminating
% 159.11/157.77 eprover: CPU time limit exceeded, terminating
% 161.11/159.79 eprover: CPU time limit exceeded, terminating
% 163.16/161.80 eprover: CPU time limit exceeded, terminating
% 165.19/163.81 eprover: CPU time limit exceeded, terminating
% 167.24/165.83 eprover: CPU time limit exceeded, terminating
% 169.28/167.84 eprover: CPU time limit exceeded, terminating
% 171.30/169.86 eprover: CPU time limit exceeded, terminating
% 175.30/171.87 eprover: CPU time limit exceeded, terminating
% 177.35/173.88 eprover: CPU time limit exceeded, terminating
% 179.35/175.89 eprover: CPU time limit exceeded, terminating
% 181.35/177.90 eprover: CPU time limit exceeded, terminating
% 183.38/179.91 eprover: CPU time limit exceeded, terminating
% 185.39/181.93 eprover: CPU time limit exceeded, terminating
% 187.49/184.02 eprover: CPU time limit exceeded, terminating
% 189.45/186.03 eprover: CPU time limit exceeded, terminating
% 191.53/188.04 eprover: CPU time limit exceeded, terminating
% 193.55/190.13 eprover: CPU time limit exceeded, terminating
% 195.56/192.21 eprover: CPU time limit exceeded, terminating
% 197.64/194.31 eprover: CPU time limit exceeded, terminating
% 199.67/196.32 eprover: CPU time limit exceeded, terminating
% 201.72/198.33 eprover: CPU time limit exceeded, terminating
% 203.74/200.41 eprover: CPU time limit exceeded, terminating
% 205.74/202.42 eprover: CPU time limit exceeded, terminating
% 207.74/204.50 eprover: CPU time limit exceeded, terminating
% 209.78/206.60 eprover: CPU time limit exceeded, terminating
% 211.87/208.67 eprover: CPU time limit exceeded, terminating
% 213.83/210.69 eprover: CPU time limit exceeded, terminating
% 215.92/212.78 eprover: CPU time limit exceeded, terminating
% 217.90/214.80 eprover: CPU time limit exceeded, terminating
% 219.95/216.81 eprover: CPU time limit exceeded, terminating
% 222.02/218.82 eprover: CPU time limit exceeded, terminating
% 224.06/220.83 eprover: CPU time limit exceeded, terminating
% 226.09/222.84 eprover: CPU time limit exceeded, terminating
% 228.09/224.86 eprover: CPU time limit exceeded, terminating
% 230.15/226.89 eprover: CPU time limit exceeded, terminating
% 232.15/228.91 eprover: CPU time limit exceeded, terminating
% 234.16/230.93 eprover: CPU time limit exceeded, terminating
% 236.18/232.94 eprover: CPU time limit exceeded, terminating
% 238.25/234.95 eprover: CPU time limit exceeded, terminating
% 240.30/236.97 eprover: CPU time limit exceeded, terminating
% 242.30/238.99 eprover: CPU time limit exceeded, terminating
% 244.32/241.00 eprover: CPU time limit exceeded, terminating
% 246.36/243.02 eprover: CPU time limit exceeded, terminating
% 248.33/245.03 eprover: CPU time limit exceeded, terminating
% 250.43/247.04 eprover: CPU time limit exceeded, terminating
% 252.46/249.06 eprover: CPU time limit exceeded, terminating
% 254.48/251.07 eprover: CPU time limit exceeded, terminating
% 256.49/253.09 eprover: CPU time limit exceeded, terminating
% 258.56/255.11 eprover: CPU time limit exceeded, terminating
% 260.51/257.12 eprover: CPU time limit exceeded, terminating
% 262.55/259.14 eprover: CPU time limit exceeded, terminating
% 264.62/261.15 eprover: CPU time limit exceeded, terminating
% 266.66/263.16 eprover: CPU time limit exceeded, terminating
% 268.62/265.18 eprover: CPU time limit exceeded, terminating
% 270.68/267.20 eprover: CPU time limit exceeded, terminating
% 272.71/269.21 eprover: CPU time limit exceeded, terminating
% 274.71/271.24 eprover: CPU time limit exceeded, terminating
% 276.79/273.27 eprover: CPU time limit exceeded, terminating
% 278.78/275.29 eprover: CPU time limit exceeded, terminating
% 280.84/277.31 eprover: CPU time limit exceeded, terminating
% 282.91/279.32 eprover: CPU time limit exceeded, terminating
% 284.85/281.34 eprover: CPU time limit exceeded, terminating
% 286.94/283.35 eprover: CPU time limit exceeded, terminating
% 288.96/285.37 eprover: CPU time limit exceeded, terminating
% 291.03/287.39 eprover: CPU time limit exceeded, terminating
% 292.99/289.41 eprover: CPU time limit exceeded, terminating
% 295.08/291.42 eprover: CPU time limit exceeded, terminating
% 297.08/293.43 eprover: CPU time limit exceeded, terminating
% 299.08/295.45 eprover: CPU time limit exceeded, terminating
% 300.02/296.31 eprover: CPU time limit exceeded, terminating
% 300.02/296.34 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------