TSTP Solution File: AGT026+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : AGT026+1 : TPTP v8.1.0. Bugfixed v3.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n017.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.04s 284.44s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : AGT026+1 : TPTP v8.1.0. Bugfixed v3.1.0.
% 0.10/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n017.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Sat Jun 4 03:38:44 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.35/2.58 eprover: CPU time limit exceeded, terminating
% 4.43/4.59 eprover: CPU time limit exceeded, terminating
% 6.37/6.60 eprover: CPU time limit exceeded, terminating
% 8.46/8.61 eprover: CPU time limit exceeded, terminating
% 10.48/10.63 eprover: CPU time limit exceeded, terminating
% 12.51/12.64 eprover: CPU time limit exceeded, terminating
% 14.52/14.65 eprover: CPU time limit exceeded, terminating
% 16.54/16.69 eprover: CPU time limit exceeded, terminating
% 18.56/18.70 eprover: CPU time limit exceeded, terminating
% 20.66/20.71 eprover: CPU time limit exceeded, terminating
% 22.68/22.72 eprover: CPU time limit exceeded, terminating
% 24.69/24.73 eprover: CPU time limit exceeded, terminating
% 26.67/26.74 eprover: CPU time limit exceeded, terminating
% 28.74/28.75 eprover: CPU time limit exceeded, terminating
% 30.79/30.77 eprover: CPU time limit exceeded, terminating
% 32.80/32.78 eprover: CPU time limit exceeded, terminating
% 34.84/34.79 eprover: CPU time limit exceeded, terminating
% 36.87/36.81 eprover: CPU time limit exceeded, terminating
% 38.87/38.82 eprover: CPU time limit exceeded, terminating
% 40.85/40.83 eprover: CPU time limit exceeded, terminating
% 42.89/42.84 eprover: CPU time limit exceeded, terminating
% 44.96/44.85 eprover: CPU time limit exceeded, terminating
% 46.99/46.86 eprover: CPU time limit exceeded, terminating
% 48.99/48.88 eprover: CPU time limit exceeded, terminating
% 51.02/50.89 eprover: CPU time limit exceeded, terminating
% 53.04/52.90 eprover: CPU time limit exceeded, terminating
% 55.12/54.91 eprover: CPU time limit exceeded, terminating
% 57.13/56.92 eprover: CPU time limit exceeded, terminating
% 59.09/58.93 eprover: CPU time limit exceeded, terminating
% 61.15/60.95 eprover: CPU time limit exceeded, terminating
% 63.22/62.96 eprover: CPU time limit exceeded, terminating
% 65.21/64.97 eprover: CPU time limit exceeded, terminating
% 67.26/66.98 eprover: CPU time limit exceeded, terminating
% 69.30/69.01 eprover: CPU time limit exceeded, terminating
% 71.30/71.02 eprover: CPU time limit exceeded, terminating
% 73.35/73.03 eprover: CPU time limit exceeded, terminating
% 75.33/75.05 eprover: CPU time limit exceeded, terminating
% 77.36/77.06 eprover: CPU time limit exceeded, terminating
% 79.38/79.08 eprover: CPU time limit exceeded, terminating
% 81.41/81.09 eprover: CPU time limit exceeded, terminating
% 83.46/83.10 eprover: CPU time limit exceeded, terminating
% 85.48/85.11 eprover: CPU time limit exceeded, terminating
% 87.50/87.13 eprover: CPU time limit exceeded, terminating
% 89.52/89.14 eprover: CPU time limit exceeded, terminating
% 91.60/91.16 eprover: CPU time limit exceeded, terminating
% 93.56/93.17 eprover: CPU time limit exceeded, terminating
% 95.61/95.18 eprover: CPU time limit exceeded, terminating
% 97.68/97.19 eprover: CPU time limit exceeded, terminating
% 99.70/99.21 eprover: CPU time limit exceeded, terminating
% 101.69/101.22 eprover: CPU time limit exceeded, terminating
% 103.70/103.23 eprover: CPU time limit exceeded, terminating
% 105.74/105.24 eprover: CPU time limit exceeded, terminating
% 107.76/107.26 eprover: CPU time limit exceeded, terminating
% 109.79/109.27 eprover: CPU time limit exceeded, terminating
% 111.82/111.28 eprover: CPU time limit exceeded, terminating
% 113.89/113.29 eprover: CPU time limit exceeded, terminating
% 115.85/115.31 eprover: CPU time limit exceeded, terminating
% 117.92/117.32 eprover: CPU time limit exceeded, terminating
% 119.95/119.33 eprover: CPU time limit exceeded, terminating
% 121.94/121.34 eprover: CPU time limit exceeded, terminating
% 123.94/123.36 eprover: CPU time limit exceeded, terminating
% 125.99/125.37 eprover: CPU time limit exceeded, terminating
% 128.00/127.38 eprover: CPU time limit exceeded, terminating
% 130.08/129.39 eprover: CPU time limit exceeded, terminating
% 132.13/131.41 eprover: CPU time limit exceeded, terminating
% 134.14/133.42 eprover: CPU time limit exceeded, terminating
% 136.18/135.43 eprover: CPU time limit exceeded, terminating
% 138.16/137.44 eprover: CPU time limit exceeded, terminating
% 140.23/139.45 eprover: CPU time limit exceeded, terminating
% 142.21/141.47 eprover: CPU time limit exceeded, terminating
% 144.25/143.48 eprover: CPU time limit exceeded, terminating
% 146.30/145.49 eprover: CPU time limit exceeded, terminating
% 148.26/147.50 eprover: CPU time limit exceeded, terminating
% 150.32/149.51 eprover: CPU time limit exceeded, terminating
% 152.41/151.53 eprover: CPU time limit exceeded, terminating
% 154.33/153.54 eprover: CPU time limit exceeded, terminating
% 156.44/155.55 eprover: CPU time limit exceeded, terminating
% 158.44/157.56 eprover: CPU time limit exceeded, terminating
% 160.46/159.57 eprover: CPU time limit exceeded, terminating
% 162.53/161.59 eprover: CPU time limit exceeded, terminating
% 164.51/163.60 eprover: CPU time limit exceeded, terminating
% 166.52/165.61 eprover: CPU time limit exceeded, terminating
% 168.58/167.63 eprover: CPU time limit exceeded, terminating
% 170.63/169.64 eprover: CPU time limit exceeded, terminating
% 172.67/171.65 eprover: CPU time limit exceeded, terminating
% 174.65/173.66 eprover: CPU time limit exceeded, terminating
% 176.70/175.67 eprover: CPU time limit exceeded, terminating
% 178.74/177.68 eprover: CPU time limit exceeded, terminating
% 180.73/179.70 eprover: CPU time limit exceeded, terminating
% 182.72/181.71 eprover: CPU time limit exceeded, terminating
% 184.80/183.72 eprover: CPU time limit exceeded, terminating
% 186.78/185.73 eprover: CPU time limit exceeded, terminating
% 188.85/187.74 eprover: CPU time limit exceeded, terminating
% 190.87/189.75 eprover: CPU time limit exceeded, terminating
% 192.90/191.76 eprover: CPU time limit exceeded, terminating
% 194.87/193.77 eprover: CPU time limit exceeded, terminating
% 196.92/195.79 eprover: CPU time limit exceeded, terminating
% 198.98/197.80 eprover: CPU time limit exceeded, terminating
% 200.94/199.81 eprover: CPU time limit exceeded, terminating
% 202.99/201.83 eprover: CPU time limit exceeded, terminating
% 205.04/203.84 eprover: CPU time limit exceeded, terminating
% 207.07/205.85 eprover: CPU time limit exceeded, terminating
% 209.05/207.86 eprover: CPU time limit exceeded, terminating
% 211.09/209.88 eprover: CPU time limit exceeded, terminating
% 213.11/211.89 eprover: CPU time limit exceeded, terminating
% 215.18/213.90 eprover: CPU time limit exceeded, terminating
% 217.22/215.91 eprover: CPU time limit exceeded, terminating
% 219.21/217.93 eprover: CPU time limit exceeded, terminating
% 221.26/219.94 eprover: CPU time limit exceeded, terminating
% 223.25/221.96 eprover: CPU time limit exceeded, terminating
% 225.27/223.97 eprover: CPU time limit exceeded, terminating
% 227.31/225.99 eprover: CPU time limit exceeded, terminating
% 229.26/228.00 eprover: CPU time limit exceeded, terminating
% 231.40/230.01 eprover: CPU time limit exceeded, terminating
% 233.41/232.02 eprover: CPU time limit exceeded, terminating
% 235.43/234.04 eprover: CPU time limit exceeded, terminating
% 237.42/236.05 eprover: CPU time limit exceeded, terminating
% 239.43/238.06 eprover: CPU time limit exceeded, terminating
% 241.43/240.07 eprover: CPU time limit exceeded, terminating
% 243.56/242.08 eprover: CPU time limit exceeded, terminating
% 245.58/244.10 eprover: CPU time limit exceeded, terminating
% 247.59/246.11 eprover: CPU time limit exceeded, terminating
% 249.62/248.14 eprover: CPU time limit exceeded, terminating
% 251.64/250.15 eprover: CPU time limit exceeded, terminating
% 253.69/252.20 eprover: CPU time limit exceeded, terminating
% 255.64/254.22 eprover: CPU time limit exceeded, terminating
% 257.72/256.23 eprover: CPU time limit exceeded, terminating
% 259.69/258.24 eprover: CPU time limit exceeded, terminating
% 261.73/260.26 eprover: CPU time limit exceeded, terminating
% 263.75/262.28 eprover: CPU time limit exceeded, terminating
% 265.74/264.30 eprover: CPU time limit exceeded, terminating
% 267.77/266.31 eprover: CPU time limit exceeded, terminating
% 269.89/268.32 eprover: CPU time limit exceeded, terminating
% 271.90/270.34 eprover: CPU time limit exceeded, terminating
% 273.89/272.35 eprover: CPU time limit exceeded, terminating
% 275.92/274.37 eprover: CPU time limit exceeded, terminating
% 277.93/276.38 eprover: CPU time limit exceeded, terminating
% 280.02/278.40 eprover: CPU time limit exceeded, terminating
% 282.04/280.41 eprover: CPU time limit exceeded, terminating
% 284.07/282.43 eprover: CPU time limit exceeded, terminating
% 286.04/284.44 eprover: CPU time limit exceeded, terminating
% 288.07/286.45 eprover: CPU time limit exceeded, terminating
% 290.08/288.47 eprover: CPU time limit exceeded, terminating
% 292.11/290.49 eprover: CPU time limit exceeded, terminating
% 294.17/292.50 eprover: CPU time limit exceeded, terminating
% 296.14/294.52 eprover: CPU time limit exceeded, terminating
% 298.22/296.53 eprover: CPU time limit exceeded, terminating
% 300.03/298.31 eprover: CPU time limit exceeded, terminating
% 300.03/298.32 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------