TSTP Solution File: AGT018+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : AGT018+1 : TPTP v8.1.0. Bugfixed v3.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n019.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:52 EDT 2022
% Result : Timeout 286.02s 284.45s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.14 % Problem : AGT018+1 : TPTP v8.1.0. Bugfixed v3.1.0.
% 0.04/0.14 % Command : run_infinox %s
% 0.14/0.36 % Computer : n019.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 03:52:10 EDT 2022
% 0.14/0.36 % CPUTime :
% 2.29/2.54 eprover: CPU time limit exceeded, terminating
% 4.36/4.56 eprover: CPU time limit exceeded, terminating
% 6.39/6.57 eprover: CPU time limit exceeded, terminating
% 8.44/8.58 eprover: CPU time limit exceeded, terminating
% 10.46/10.59 eprover: CPU time limit exceeded, terminating
% 12.44/12.60 eprover: CPU time limit exceeded, terminating
% 14.47/14.61 eprover: CPU time limit exceeded, terminating
% 16.52/16.64 eprover: CPU time limit exceeded, terminating
% 18.58/18.66 eprover: CPU time limit exceeded, terminating
% 20.57/20.67 eprover: CPU time limit exceeded, terminating
% 22.60/22.69 eprover: CPU time limit exceeded, terminating
% 24.63/24.70 eprover: CPU time limit exceeded, terminating
% 26.69/26.73 eprover: CPU time limit exceeded, terminating
% 28.67/28.74 eprover: CPU time limit exceeded, terminating
% 30.67/30.76 eprover: CPU time limit exceeded, terminating
% 32.73/32.77 eprover: CPU time limit exceeded, terminating
% 34.73/34.78 eprover: CPU time limit exceeded, terminating
% 36.74/36.79 eprover: CPU time limit exceeded, terminating
% 38.76/38.81 eprover: CPU time limit exceeded, terminating
% 40.86/40.82 eprover: CPU time limit exceeded, terminating
% 42.87/42.84 eprover: CPU time limit exceeded, terminating
% 44.86/44.85 eprover: CPU time limit exceeded, terminating
% 46.92/46.87 eprover: CPU time limit exceeded, terminating
% 48.94/48.90 eprover: CPU time limit exceeded, terminating
% 50.92/50.93 eprover: CPU time limit exceeded, terminating
% 52.99/52.95 eprover: CPU time limit exceeded, terminating
% 54.94/54.96 eprover: CPU time limit exceeded, terminating
% 57.02/56.97 eprover: CPU time limit exceeded, terminating
% 58.99/58.98 eprover: CPU time limit exceeded, terminating
% 61.04/60.99 eprover: CPU time limit exceeded, terminating
% 63.04/63.01 eprover: CPU time limit exceeded, terminating
% 65.14/65.02 eprover: CPU time limit exceeded, terminating
% 67.17/67.04 eprover: CPU time limit exceeded, terminating
% 69.17/69.05 eprover: CPU time limit exceeded, terminating
% 71.23/71.07 eprover: CPU time limit exceeded, terminating
% 73.21/73.08 eprover: CPU time limit exceeded, terminating
% 75.28/75.09 eprover: CPU time limit exceeded, terminating
% 77.31/77.11 eprover: CPU time limit exceeded, terminating
% 79.35/79.12 eprover: CPU time limit exceeded, terminating
% 81.36/81.14 eprover: CPU time limit exceeded, terminating
% 83.35/83.15 eprover: CPU time limit exceeded, terminating
% 85.39/85.16 eprover: CPU time limit exceeded, terminating
% 87.39/87.18 eprover: CPU time limit exceeded, terminating
% 89.47/89.19 eprover: CPU time limit exceeded, terminating
% 91.51/91.21 eprover: CPU time limit exceeded, terminating
% 93.51/93.22 eprover: CPU time limit exceeded, terminating
% 95.51/95.24 eprover: CPU time limit exceeded, terminating
% 97.54/97.25 eprover: CPU time limit exceeded, terminating
% 99.62/99.27 eprover: CPU time limit exceeded, terminating
% 101.59/101.28 eprover: CPU time limit exceeded, terminating
% 103.68/103.30 eprover: CPU time limit exceeded, terminating
% 105.63/105.31 eprover: CPU time limit exceeded, terminating
% 107.70/107.32 eprover: CPU time limit exceeded, terminating
% 109.72/109.34 eprover: CPU time limit exceeded, terminating
% 111.77/111.35 eprover: CPU time limit exceeded, terminating
% 113.76/113.36 eprover: CPU time limit exceeded, terminating
% 115.80/115.38 eprover: CPU time limit exceeded, terminating
% 117.80/117.40 eprover: CPU time limit exceeded, terminating
% 119.83/119.41 eprover: CPU time limit exceeded, terminating
% 121.88/121.43 eprover: CPU time limit exceeded, terminating
% 123.95/123.44 eprover: CPU time limit exceeded, terminating
% 125.95/125.46 eprover: CPU time limit exceeded, terminating
% 127.96/127.47 eprover: CPU time limit exceeded, terminating
% 130.00/129.49 eprover: CPU time limit exceeded, terminating
% 132.06/131.50 eprover: CPU time limit exceeded, terminating
% 134.09/133.51 eprover: CPU time limit exceeded, terminating
% 136.09/135.53 eprover: CPU time limit exceeded, terminating
% 138.14/137.54 eprover: CPU time limit exceeded, terminating
% 140.12/139.56 eprover: CPU time limit exceeded, terminating
% 142.11/141.57 eprover: CPU time limit exceeded, terminating
% 144.17/143.58 eprover: CPU time limit exceeded, terminating
% 146.26/145.60 eprover: CPU time limit exceeded, terminating
% 148.25/147.62 eprover: CPU time limit exceeded, terminating
% 150.30/149.63 eprover: CPU time limit exceeded, terminating
% 152.26/151.64 eprover: CPU time limit exceeded, terminating
% 154.32/153.66 eprover: CPU time limit exceeded, terminating
% 156.38/155.67 eprover: CPU time limit exceeded, terminating
% 158.35/157.68 eprover: CPU time limit exceeded, terminating
% 160.41/159.70 eprover: CPU time limit exceeded, terminating
% 162.48/161.71 eprover: CPU time limit exceeded, terminating
% 164.49/163.73 eprover: CPU time limit exceeded, terminating
% 166.53/165.74 eprover: CPU time limit exceeded, terminating
% 168.51/167.76 eprover: CPU time limit exceeded, terminating
% 170.56/169.78 eprover: CPU time limit exceeded, terminating
% 172.62/171.79 eprover: CPU time limit exceeded, terminating
% 174.66/173.81 eprover: CPU time limit exceeded, terminating
% 176.63/175.82 eprover: CPU time limit exceeded, terminating
% 178.67/177.84 eprover: CPU time limit exceeded, terminating
% 180.69/179.85 eprover: CPU time limit exceeded, terminating
% 182.77/181.87 eprover: CPU time limit exceeded, terminating
% 184.79/183.88 eprover: CPU time limit exceeded, terminating
% 186.78/185.89 eprover: CPU time limit exceeded, terminating
% 188.80/187.91 eprover: CPU time limit exceeded, terminating
% 190.84/189.92 eprover: CPU time limit exceeded, terminating
% 192.90/191.94 eprover: CPU time limit exceeded, terminating
% 194.90/193.95 eprover: CPU time limit exceeded, terminating
% 196.95/195.97 eprover: CPU time limit exceeded, terminating
% 198.95/197.98 eprover: CPU time limit exceeded, terminating
% 200.99/200.00 eprover: CPU time limit exceeded, terminating
% 202.99/202.01 eprover: CPU time limit exceeded, terminating
% 205.06/204.03 eprover: CPU time limit exceeded, terminating
% 207.03/206.04 eprover: CPU time limit exceeded, terminating
% 209.10/208.05 eprover: CPU time limit exceeded, terminating
% 211.12/210.06 eprover: CPU time limit exceeded, terminating
% 213.15/212.07 eprover: CPU time limit exceeded, terminating
% 215.13/214.08 eprover: CPU time limit exceeded, terminating
% 217.16/216.09 eprover: CPU time limit exceeded, terminating
% 219.18/218.10 eprover: CPU time limit exceeded, terminating
% 221.22/220.11 eprover: CPU time limit exceeded, terminating
% 223.21/222.12 eprover: CPU time limit exceeded, terminating
% 225.29/224.13 eprover: CPU time limit exceeded, terminating
% 227.25/226.14 eprover: CPU time limit exceeded, terminating
% 229.35/228.15 eprover: CPU time limit exceeded, terminating
% 231.35/230.17 eprover: CPU time limit exceeded, terminating
% 233.39/232.18 eprover: CPU time limit exceeded, terminating
% 235.41/234.19 eprover: CPU time limit exceeded, terminating
% 237.43/236.20 eprover: CPU time limit exceeded, terminating
% 239.41/238.21 eprover: CPU time limit exceeded, terminating
% 241.45/240.22 eprover: CPU time limit exceeded, terminating
% 243.47/242.23 eprover: CPU time limit exceeded, terminating
% 245.55/244.24 eprover: CPU time limit exceeded, terminating
% 247.56/246.25 eprover: CPU time limit exceeded, terminating
% 249.57/248.26 eprover: CPU time limit exceeded, terminating
% 251.61/250.27 eprover: CPU time limit exceeded, terminating
% 253.62/252.28 eprover: CPU time limit exceeded, terminating
% 255.63/254.29 eprover: CPU time limit exceeded, terminating
% 257.62/256.30 eprover: CPU time limit exceeded, terminating
% 259.65/258.31 eprover: CPU time limit exceeded, terminating
% 261.75/260.32 eprover: CPU time limit exceeded, terminating
% 263.68/262.33 eprover: CPU time limit exceeded, terminating
% 265.79/264.34 eprover: CPU time limit exceeded, terminating
% 267.80/266.35 eprover: CPU time limit exceeded, terminating
% 269.84/268.36 eprover: CPU time limit exceeded, terminating
% 271.85/270.37 eprover: CPU time limit exceeded, terminating
% 273.86/272.38 eprover: CPU time limit exceeded, terminating
% 275.88/274.40 eprover: CPU time limit exceeded, terminating
% 277.88/276.41 eprover: CPU time limit exceeded, terminating
% 279.92/278.42 eprover: CPU time limit exceeded, terminating
% 281.88/280.43 eprover: CPU time limit exceeded, terminating
% 283.92/282.44 eprover: CPU time limit exceeded, terminating
% 286.02/284.45 eprover: CPU time limit exceeded, terminating
% 288.05/286.46 eprover: CPU time limit exceeded, terminating
% 290.05/288.47 eprover: CPU time limit exceeded, terminating
% 292.07/290.48 eprover: CPU time limit exceeded, terminating
% 294.09/292.49 eprover: CPU time limit exceeded, terminating
% 296.10/294.50 eprover: CPU time limit exceeded, terminating
% 298.18/296.51 eprover: CPU time limit exceeded, terminating
% 300.04/298.35 eprover: CPU time limit exceeded, terminating
% 300.04/298.37 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------