TSTP Solution File: AGT006+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : AGT006+1 : TPTP v8.1.0. Bugfixed v3.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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 287.74s 286.08s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : AGT006+1 : TPTP v8.1.0. Bugfixed v3.1.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n020.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:02:52 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.37/2.57 eprover: CPU time limit exceeded, terminating
% 4.40/4.58 eprover: CPU time limit exceeded, terminating
% 6.39/6.59 eprover: CPU time limit exceeded, terminating
% 8.41/8.60 eprover: CPU time limit exceeded, terminating
% 10.46/10.61 eprover: CPU time limit exceeded, terminating
% 12.51/12.62 eprover: CPU time limit exceeded, terminating
% 14.50/14.63 eprover: CPU time limit exceeded, terminating
% 16.59/16.66 eprover: CPU time limit exceeded, terminating
% 18.60/18.67 eprover: CPU time limit exceeded, terminating
% 20.65/20.69 eprover: CPU time limit exceeded, terminating
% 22.60/22.70 eprover: CPU time limit exceeded, terminating
% 24.65/24.70 eprover: CPU time limit exceeded, terminating
% 26.68/26.71 eprover: CPU time limit exceeded, terminating
% 28.63/28.72 eprover: CPU time limit exceeded, terminating
% 30.72/30.73 eprover: CPU time limit exceeded, terminating
% 32.73/32.74 eprover: CPU time limit exceeded, terminating
% 34.77/34.75 eprover: CPU time limit exceeded, terminating
% 36.76/36.76 eprover: CPU time limit exceeded, terminating
% 38.82/38.77 eprover: CPU time limit exceeded, terminating
% 40.81/40.78 eprover: CPU time limit exceeded, terminating
% 42.84/42.79 eprover: CPU time limit exceeded, terminating
% 44.85/44.80 eprover: CPU time limit exceeded, terminating
% 46.88/46.81 eprover: CPU time limit exceeded, terminating
% 48.87/48.82 eprover: CPU time limit exceeded, terminating
% 50.87/50.83 eprover: CPU time limit exceeded, terminating
% 52.96/52.84 eprover: CPU time limit exceeded, terminating
% 54.97/54.85 eprover: CPU time limit exceeded, terminating
% 56.97/56.86 eprover: CPU time limit exceeded, terminating
% 59.01/58.88 eprover: CPU time limit exceeded, terminating
% 61.04/60.89 eprover: CPU time limit exceeded, terminating
% 63.04/62.90 eprover: CPU time limit exceeded, terminating
% 65.07/64.91 eprover: CPU time limit exceeded, terminating
% 67.12/66.92 eprover: CPU time limit exceeded, terminating
% 69.09/68.94 eprover: CPU time limit exceeded, terminating
% 71.13/70.95 eprover: CPU time limit exceeded, terminating
% 73.15/72.96 eprover: CPU time limit exceeded, terminating
% 75.24/74.97 eprover: CPU time limit exceeded, terminating
% 77.25/76.98 eprover: CPU time limit exceeded, terminating
% 79.26/79.00 eprover: CPU time limit exceeded, terminating
% 81.29/81.00 eprover: CPU time limit exceeded, terminating
% 83.27/83.01 eprover: CPU time limit exceeded, terminating
% 85.27/85.02 eprover: CPU time limit exceeded, terminating
% 87.31/87.03 eprover: CPU time limit exceeded, terminating
% 89.36/89.04 eprover: CPU time limit exceeded, terminating
% 91.36/91.05 eprover: CPU time limit exceeded, terminating
% 93.40/93.06 eprover: CPU time limit exceeded, terminating
% 95.43/95.07 eprover: CPU time limit exceeded, terminating
% 97.49/97.08 eprover: CPU time limit exceeded, terminating
% 99.50/99.10 eprover: CPU time limit exceeded, terminating
% 101.46/101.11 eprover: CPU time limit exceeded, terminating
% 103.52/103.12 eprover: CPU time limit exceeded, terminating
% 105.54/105.13 eprover: CPU time limit exceeded, terminating
% 107.56/107.14 eprover: CPU time limit exceeded, terminating
% 109.61/109.15 eprover: CPU time limit exceeded, terminating
% 111.57/111.16 eprover: CPU time limit exceeded, terminating
% 113.65/113.17 eprover: CPU time limit exceeded, terminating
% 115.65/115.18 eprover: CPU time limit exceeded, terminating
% 117.69/117.19 eprover: CPU time limit exceeded, terminating
% 119.69/119.20 eprover: CPU time limit exceeded, terminating
% 121.68/121.21 eprover: CPU time limit exceeded, terminating
% 123.74/123.22 eprover: CPU time limit exceeded, terminating
% 125.72/125.23 eprover: CPU time limit exceeded, terminating
% 127.77/127.24 eprover: CPU time limit exceeded, terminating
% 129.83/129.25 eprover: CPU time limit exceeded, terminating
% 131.86/131.26 eprover: CPU time limit exceeded, terminating
% 133.89/133.27 eprover: CPU time limit exceeded, terminating
% 135.88/135.28 eprover: CPU time limit exceeded, terminating
% 137.91/137.29 eprover: CPU time limit exceeded, terminating
% 139.92/139.30 eprover: CPU time limit exceeded, terminating
% 141.91/141.31 eprover: CPU time limit exceeded, terminating
% 143.96/143.32 eprover: CPU time limit exceeded, terminating
% 145.97/145.33 eprover: CPU time limit exceeded, terminating
% 147.95/147.34 eprover: CPU time limit exceeded, terminating
% 150.07/149.35 eprover: CPU time limit exceeded, terminating
% 152.06/151.36 eprover: CPU time limit exceeded, terminating
% 154.10/153.37 eprover: CPU time limit exceeded, terminating
% 156.12/155.38 eprover: CPU time limit exceeded, terminating
% 158.10/157.39 eprover: CPU time limit exceeded, terminating
% 160.13/159.40 eprover: CPU time limit exceeded, terminating
% 162.18/161.41 eprover: CPU time limit exceeded, terminating
% 164.22/163.42 eprover: CPU time limit exceeded, terminating
% 166.22/165.43 eprover: CPU time limit exceeded, terminating
% 168.24/167.44 eprover: CPU time limit exceeded, terminating
% 170.26/169.45 eprover: CPU time limit exceeded, terminating
% 172.26/171.46 eprover: CPU time limit exceeded, terminating
% 174.34/173.47 eprover: CPU time limit exceeded, terminating
% 176.35/175.48 eprover: CPU time limit exceeded, terminating
% 178.41/177.49 eprover: CPU time limit exceeded, terminating
% 180.41/179.50 eprover: CPU time limit exceeded, terminating
% 182.43/181.51 eprover: CPU time limit exceeded, terminating
% 184.46/183.52 eprover: CPU time limit exceeded, terminating
% 186.46/185.53 eprover: CPU time limit exceeded, terminating
% 188.51/187.54 eprover: CPU time limit exceeded, terminating
% 190.51/189.55 eprover: CPU time limit exceeded, terminating
% 192.54/191.56 eprover: CPU time limit exceeded, terminating
% 194.57/193.57 eprover: CPU time limit exceeded, terminating
% 196.56/195.58 eprover: CPU time limit exceeded, terminating
% 198.62/197.59 eprover: CPU time limit exceeded, terminating
% 200.65/199.60 eprover: CPU time limit exceeded, terminating
% 202.65/201.61 eprover: CPU time limit exceeded, terminating
% 204.68/203.62 eprover: CPU time limit exceeded, terminating
% 206.68/205.63 eprover: CPU time limit exceeded, terminating
% 208.72/207.64 eprover: CPU time limit exceeded, terminating
% 210.72/209.65 eprover: CPU time limit exceeded, terminating
% 212.79/211.66 eprover: CPU time limit exceeded, terminating
% 214.80/213.67 eprover: CPU time limit exceeded, terminating
% 216.80/215.68 eprover: CPU time limit exceeded, terminating
% 218.88/217.69 eprover: CPU time limit exceeded, terminating
% 220.83/219.71 eprover: CPU time limit exceeded, terminating
% 222.89/221.72 eprover: CPU time limit exceeded, terminating
% 224.94/223.73 eprover: CPU time limit exceeded, terminating
% 226.96/225.74 eprover: CPU time limit exceeded, terminating
% 228.98/227.75 eprover: CPU time limit exceeded, terminating
% 230.93/229.76 eprover: CPU time limit exceeded, terminating
% 233.00/231.77 eprover: CPU time limit exceeded, terminating
% 235.01/233.78 eprover: CPU time limit exceeded, terminating
% 237.07/235.79 eprover: CPU time limit exceeded, terminating
% 239.12/237.80 eprover: CPU time limit exceeded, terminating
% 241.06/239.81 eprover: CPU time limit exceeded, terminating
% 243.10/241.82 eprover: CPU time limit exceeded, terminating
% 245.15/243.83 eprover: CPU time limit exceeded, terminating
% 247.19/245.84 eprover: CPU time limit exceeded, terminating
% 249.18/247.86 eprover: CPU time limit exceeded, terminating
% 251.22/249.87 eprover: CPU time limit exceeded, terminating
% 253.29/251.88 eprover: CPU time limit exceeded, terminating
% 255.23/253.89 eprover: CPU time limit exceeded, terminating
% 257.33/255.90 eprover: CPU time limit exceeded, terminating
% 259.35/257.91 eprover: CPU time limit exceeded, terminating
% 261.36/259.93 eprover: CPU time limit exceeded, terminating
% 263.37/261.94 eprover: CPU time limit exceeded, terminating
% 265.38/263.95 eprover: CPU time limit exceeded, terminating
% 267.47/265.96 eprover: CPU time limit exceeded, terminating
% 269.50/267.97 eprover: CPU time limit exceeded, terminating
% 271.51/269.99 eprover: CPU time limit exceeded, terminating
% 273.51/272.00 eprover: CPU time limit exceeded, terminating
% 275.53/274.01 eprover: CPU time limit exceeded, terminating
% 277.59/276.02 eprover: CPU time limit exceeded, terminating
% 279.56/278.04 eprover: CPU time limit exceeded, terminating
% 281.63/280.05 eprover: CPU time limit exceeded, terminating
% 283.69/282.06 eprover: CPU time limit exceeded, terminating
% 285.70/284.07 eprover: CPU time limit exceeded, terminating
% 287.74/286.08 eprover: CPU time limit exceeded, terminating
% 289.77/288.10 eprover: CPU time limit exceeded, terminating
% 291.77/290.11 eprover: CPU time limit exceeded, terminating
% 293.77/292.12 eprover: CPU time limit exceeded, terminating
% 295.84/294.13 eprover: CPU time limit exceeded, terminating
% 297.79/296.14 eprover: CPU time limit exceeded, terminating
% 299.87/298.15 eprover: CPU time limit exceeded, terminating
% 300.11/298.37 eprover: CPU time limit exceeded, terminating
% 300.11/298.38 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------