TSTP Solution File: AGT007+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : AGT007+1 : TPTP v8.1.0. Bugfixed v3.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n018.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 285.74s 284.26s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : AGT007+1 : TPTP v8.1.0. Bugfixed v3.1.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n018.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Sat Jun 4 06:52:32 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.36/2.56 eprover: CPU time limit exceeded, terminating
% 4.38/4.57 eprover: CPU time limit exceeded, terminating
% 6.42/6.58 eprover: CPU time limit exceeded, terminating
% 8.39/8.59 eprover: CPU time limit exceeded, terminating
% 10.47/10.60 eprover: CPU time limit exceeded, terminating
% 12.49/12.61 eprover: CPU time limit exceeded, terminating
% 14.51/14.62 eprover: CPU time limit exceeded, terminating
% 16.59/16.65 eprover: CPU time limit exceeded, terminating
% 18.52/18.66 eprover: CPU time limit exceeded, terminating
% 20.62/20.67 eprover: CPU time limit exceeded, terminating
% 22.61/22.68 eprover: CPU time limit exceeded, terminating
% 24.68/24.69 eprover: CPU time limit exceeded, terminating
% 26.70/26.70 eprover: CPU time limit exceeded, terminating
% 28.70/28.71 eprover: CPU time limit exceeded, terminating
% 30.70/30.72 eprover: CPU time limit exceeded, terminating
% 32.75/32.73 eprover: CPU time limit exceeded, terminating
% 34.70/34.74 eprover: CPU time limit exceeded, terminating
% 36.72/36.75 eprover: CPU time limit exceeded, terminating
% 38.80/38.76 eprover: CPU time limit exceeded, terminating
% 40.79/40.77 eprover: CPU time limit exceeded, terminating
% 42.79/42.78 eprover: CPU time limit exceeded, terminating
% 44.87/44.79 eprover: CPU time limit exceeded, terminating
% 46.83/46.80 eprover: CPU time limit exceeded, terminating
% 48.90/48.81 eprover: CPU time limit exceeded, terminating
% 50.92/50.82 eprover: CPU time limit exceeded, terminating
% 52.95/52.83 eprover: CPU time limit exceeded, terminating
% 54.97/54.84 eprover: CPU time limit exceeded, terminating
% 56.97/56.85 eprover: CPU time limit exceeded, terminating
% 59.01/58.86 eprover: CPU time limit exceeded, terminating
% 61.03/60.87 eprover: CPU time limit exceeded, terminating
% 63.07/62.88 eprover: CPU time limit exceeded, terminating
% 65.04/64.89 eprover: CPU time limit exceeded, terminating
% 67.07/66.90 eprover: CPU time limit exceeded, terminating
% 69.16/68.91 eprover: CPU time limit exceeded, terminating
% 71.16/70.92 eprover: CPU time limit exceeded, terminating
% 73.20/72.93 eprover: CPU time limit exceeded, terminating
% 75.19/74.94 eprover: CPU time limit exceeded, terminating
% 77.19/76.95 eprover: CPU time limit exceeded, terminating
% 79.22/78.97 eprover: CPU time limit exceeded, terminating
% 81.25/80.98 eprover: CPU time limit exceeded, terminating
% 83.34/82.99 eprover: CPU time limit exceeded, terminating
% 85.30/85.00 eprover: CPU time limit exceeded, terminating
% 87.33/87.01 eprover: CPU time limit exceeded, terminating
% 89.32/89.02 eprover: CPU time limit exceeded, terminating
% 91.40/91.03 eprover: CPU time limit exceeded, terminating
% 93.43/93.04 eprover: CPU time limit exceeded, terminating
% 95.47/95.05 eprover: CPU time limit exceeded, terminating
% 97.47/97.06 eprover: CPU time limit exceeded, terminating
% 99.43/99.07 eprover: CPU time limit exceeded, terminating
% 101.50/101.08 eprover: CPU time limit exceeded, terminating
% 103.58/103.09 eprover: CPU time limit exceeded, terminating
% 105.53/105.10 eprover: CPU time limit exceeded, terminating
% 107.62/107.11 eprover: CPU time limit exceeded, terminating
% 109.63/109.12 eprover: CPU time limit exceeded, terminating
% 111.61/111.13 eprover: CPU time limit exceeded, terminating
% 113.65/113.14 eprover: CPU time limit exceeded, terminating
% 115.67/115.15 eprover: CPU time limit exceeded, terminating
% 117.69/117.16 eprover: CPU time limit exceeded, terminating
% 119.76/119.18 eprover: CPU time limit exceeded, terminating
% 121.74/121.19 eprover: CPU time limit exceeded, terminating
% 123.81/123.20 eprover: CPU time limit exceeded, terminating
% 125.77/125.21 eprover: CPU time limit exceeded, terminating
% 127.84/127.22 eprover: CPU time limit exceeded, terminating
% 129.89/129.23 eprover: CPU time limit exceeded, terminating
% 131.86/131.24 eprover: CPU time limit exceeded, terminating
% 133.89/133.25 eprover: CPU time limit exceeded, terminating
% 135.95/135.26 eprover: CPU time limit exceeded, terminating
% 137.93/137.27 eprover: CPU time limit exceeded, terminating
% 140.02/139.28 eprover: CPU time limit exceeded, terminating
% 141.95/141.29 eprover: CPU time limit exceeded, terminating
% 143.99/143.30 eprover: CPU time limit exceeded, terminating
% 146.07/145.31 eprover: CPU time limit exceeded, terminating
% 148.10/147.32 eprover: CPU time limit exceeded, terminating
% 150.12/149.33 eprover: CPU time limit exceeded, terminating
% 152.10/151.34 eprover: CPU time limit exceeded, terminating
% 154.11/153.35 eprover: CPU time limit exceeded, terminating
% 156.13/155.37 eprover: CPU time limit exceeded, terminating
% 158.22/157.38 eprover: CPU time limit exceeded, terminating
% 160.25/159.39 eprover: CPU time limit exceeded, terminating
% 162.27/161.40 eprover: CPU time limit exceeded, terminating
% 164.29/163.41 eprover: CPU time limit exceeded, terminating
% 166.28/165.42 eprover: CPU time limit exceeded, terminating
% 168.32/167.43 eprover: CPU time limit exceeded, terminating
% 170.33/169.44 eprover: CPU time limit exceeded, terminating
% 172.35/171.45 eprover: CPU time limit exceeded, terminating
% 174.38/173.46 eprover: CPU time limit exceeded, terminating
% 176.41/175.47 eprover: CPU time limit exceeded, terminating
% 178.37/177.48 eprover: CPU time limit exceeded, terminating
% 180.47/179.49 eprover: CPU time limit exceeded, terminating
% 182.50/181.50 eprover: CPU time limit exceeded, terminating
% 184.50/183.52 eprover: CPU time limit exceeded, terminating
% 186.56/185.53 eprover: CPU time limit exceeded, terminating
% 188.56/187.54 eprover: CPU time limit exceeded, terminating
% 190.54/189.57 eprover: CPU time limit exceeded, terminating
% 192.64/191.58 eprover: CPU time limit exceeded, terminating
% 194.68/193.60 eprover: CPU time limit exceeded, terminating
% 196.68/195.62 eprover: CPU time limit exceeded, terminating
% 198.71/197.63 eprover: CPU time limit exceeded, terminating
% 200.71/199.65 eprover: CPU time limit exceeded, terminating
% 202.73/201.66 eprover: CPU time limit exceeded, terminating
% 204.75/203.68 eprover: CPU time limit exceeded, terminating
% 206.83/205.70 eprover: CPU time limit exceeded, terminating
% 208.83/207.72 eprover: CPU time limit exceeded, terminating
% 210.86/209.74 eprover: CPU time limit exceeded, terminating
% 212.83/211.75 eprover: CPU time limit exceeded, terminating
% 214.90/213.77 eprover: CPU time limit exceeded, terminating
% 216.95/215.78 eprover: CPU time limit exceeded, terminating
% 218.92/217.80 eprover: CPU time limit exceeded, terminating
% 220.97/219.82 eprover: CPU time limit exceeded, terminating
% 223.01/221.83 eprover: CPU time limit exceeded, terminating
% 224.97/223.84 eprover: CPU time limit exceeded, terminating
% 227.06/225.86 eprover: CPU time limit exceeded, terminating
% 229.07/227.87 eprover: CPU time limit exceeded, terminating
% 231.08/229.89 eprover: CPU time limit exceeded, terminating
% 233.16/231.90 eprover: CPU time limit exceeded, terminating
% 235.12/233.91 eprover: CPU time limit exceeded, terminating
% 237.18/235.92 eprover: CPU time limit exceeded, terminating
% 239.22/237.94 eprover: CPU time limit exceeded, terminating
% 241.23/239.96 eprover: CPU time limit exceeded, terminating
% 243.28/241.98 eprover: CPU time limit exceeded, terminating
% 245.28/244.00 eprover: CPU time limit exceeded, terminating
% 247.26/246.01 eprover: CPU time limit exceeded, terminating
% 249.29/248.02 eprover: CPU time limit exceeded, terminating
% 251.34/250.03 eprover: CPU time limit exceeded, terminating
% 253.33/252.05 eprover: CPU time limit exceeded, terminating
% 255.39/254.06 eprover: CPU time limit exceeded, terminating
% 257.39/256.09 eprover: CPU time limit exceeded, terminating
% 259.47/258.10 eprover: CPU time limit exceeded, terminating
% 261.49/260.11 eprover: CPU time limit exceeded, terminating
% 263.52/262.12 eprover: CPU time limit exceeded, terminating
% 265.51/264.14 eprover: CPU time limit exceeded, terminating
% 267.55/266.15 eprover: CPU time limit exceeded, terminating
% 269.53/268.16 eprover: CPU time limit exceeded, terminating
% 271.53/270.17 eprover: CPU time limit exceeded, terminating
% 273.55/272.18 eprover: CPU time limit exceeded, terminating
% 275.67/274.20 eprover: CPU time limit exceeded, terminating
% 277.60/276.21 eprover: CPU time limit exceeded, terminating
% 279.69/278.23 eprover: CPU time limit exceeded, terminating
% 281.69/280.24 eprover: CPU time limit exceeded, terminating
% 283.71/282.25 eprover: CPU time limit exceeded, terminating
% 285.74/284.26 eprover: CPU time limit exceeded, terminating
% 287.72/286.28 eprover: CPU time limit exceeded, terminating
% 289.82/288.29 eprover: CPU time limit exceeded, terminating
% 291.76/290.31 eprover: CPU time limit exceeded, terminating
% 293.88/292.32 eprover: CPU time limit exceeded, terminating
% 295.87/294.34 eprover: CPU time limit exceeded, terminating
% 297.90/296.35 eprover: CPU time limit exceeded, terminating
% 299.92/298.37 eprover: CPU time limit exceeded, terminating
% 300.04/298.44 eprover: CPU time limit exceeded, terminating
% 300.04/298.45 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------