TSTP Solution File: AGT008+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : AGT008+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:51 EDT 2022
% Result : Timeout 285.77s 282.23s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : AGT008+1 : TPTP v8.1.0. Bugfixed v3.1.0.
% 0.11/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 04:46:59 EDT 2022
% 0.19/0.34 % CPUTime :
% 2.34/2.56 eprover: CPU time limit exceeded, terminating
% 4.31/4.57 eprover: CPU time limit exceeded, terminating
% 6.38/6.58 eprover: CPU time limit exceeded, terminating
% 8.47/8.59 eprover: CPU time limit exceeded, terminating
% 10.46/10.60 eprover: CPU time limit exceeded, terminating
% 12.52/12.61 eprover: CPU time limit exceeded, terminating
% 14.48/14.62 eprover: CPU time limit exceeded, terminating
% 16.55/16.66 eprover: CPU time limit exceeded, terminating
% 18.62/18.67 eprover: CPU time limit exceeded, terminating
% 20.61/20.68 eprover: CPU time limit exceeded, terminating
% 22.66/22.69 eprover: CPU time limit exceeded, terminating
% 24.63/24.70 eprover: CPU time limit exceeded, terminating
% 26.71/26.71 eprover: CPU time limit exceeded, terminating
% 28.75/28.72 eprover: CPU time limit exceeded, terminating
% 30.73/30.73 eprover: CPU time limit exceeded, terminating
% 32.75/32.74 eprover: CPU time limit exceeded, terminating
% 34.75/34.75 eprover: CPU time limit exceeded, terminating
% 36.79/36.77 eprover: CPU time limit exceeded, terminating
% 38.87/38.78 eprover: CPU time limit exceeded, terminating
% 40.82/40.79 eprover: CPU time limit exceeded, terminating
% 42.92/42.80 eprover: CPU time limit exceeded, terminating
% 44.87/44.81 eprover: CPU time limit exceeded, terminating
% 46.94/46.82 eprover: CPU time limit exceeded, terminating
% 48.96/48.83 eprover: CPU time limit exceeded, terminating
% 50.95/50.84 eprover: CPU time limit exceeded, terminating
% 53.01/52.85 eprover: CPU time limit exceeded, terminating
% 55.01/54.86 eprover: CPU time limit exceeded, terminating
% 57.04/56.88 eprover: CPU time limit exceeded, terminating
% 59.02/58.89 eprover: CPU time limit exceeded, terminating
% 61.13/60.90 eprover: CPU time limit exceeded, terminating
% 63.13/62.91 eprover: CPU time limit exceeded, terminating
% 65.16/64.93 eprover: CPU time limit exceeded, terminating
% 67.17/66.94 eprover: CPU time limit exceeded, terminating
% 69.16/68.95 eprover: CPU time limit exceeded, terminating
% 71.19/70.96 eprover: CPU time limit exceeded, terminating
% 73.19/72.98 eprover: CPU time limit exceeded, terminating
% 75.23/74.99 eprover: CPU time limit exceeded, terminating
% 77.31/77.00 eprover: CPU time limit exceeded, terminating
% 79.31/79.01 eprover: CPU time limit exceeded, terminating
% 81.36/81.03 eprover: CPU time limit exceeded, terminating
% 83.38/83.04 eprover: CPU time limit exceeded, terminating
% 85.38/85.05 eprover: CPU time limit exceeded, terminating
% 87.36/87.06 eprover: CPU time limit exceeded, terminating
% 89.41/89.07 eprover: CPU time limit exceeded, terminating
% 91.48/91.09 eprover: CPU time limit exceeded, terminating
% 93.51/93.10 eprover: CPU time limit exceeded, terminating
% 95.45/95.11 eprover: CPU time limit exceeded, terminating
% 97.55/97.12 eprover: CPU time limit exceeded, terminating
% 99.55/99.13 eprover: CPU time limit exceeded, terminating
% 101.58/101.15 eprover: CPU time limit exceeded, terminating
% 103.57/103.16 eprover: CPU time limit exceeded, terminating
% 105.57/105.17 eprover: CPU time limit exceeded, terminating
% 107.61/107.18 eprover: CPU time limit exceeded, terminating
% 109.62/109.20 eprover: CPU time limit exceeded, terminating
% 113.63/111.21 eprover: CPU time limit exceeded, terminating
% 115.65/113.22 eprover: CPU time limit exceeded, terminating
% 117.64/115.23 eprover: CPU time limit exceeded, terminating
% 119.66/117.24 eprover: CPU time limit exceeded, terminating
% 121.69/119.25 eprover: CPU time limit exceeded, terminating
% 123.67/121.26 eprover: CPU time limit exceeded, terminating
% 125.72/123.28 eprover: CPU time limit exceeded, terminating
% 127.74/125.29 eprover: CPU time limit exceeded, terminating
% 129.82/127.30 eprover: CPU time limit exceeded, terminating
% 131.80/129.31 eprover: CPU time limit exceeded, terminating
% 133.85/131.32 eprover: CPU time limit exceeded, terminating
% 135.88/133.34 eprover: CPU time limit exceeded, terminating
% 137.88/135.35 eprover: CPU time limit exceeded, terminating
% 139.89/137.36 eprover: CPU time limit exceeded, terminating
% 141.91/139.37 eprover: CPU time limit exceeded, terminating
% 144.00/141.38 eprover: CPU time limit exceeded, terminating
% 146.02/143.40 eprover: CPU time limit exceeded, terminating
% 148.05/145.41 eprover: CPU time limit exceeded, terminating
% 150.07/147.42 eprover: CPU time limit exceeded, terminating
% 152.05/149.43 eprover: CPU time limit exceeded, terminating
% 154.05/151.45 eprover: CPU time limit exceeded, terminating
% 156.11/153.46 eprover: CPU time limit exceeded, terminating
% 158.14/155.47 eprover: CPU time limit exceeded, terminating
% 160.21/157.49 eprover: CPU time limit exceeded, terminating
% 162.22/159.50 eprover: CPU time limit exceeded, terminating
% 164.23/161.51 eprover: CPU time limit exceeded, terminating
% 166.26/163.52 eprover: CPU time limit exceeded, terminating
% 168.27/165.53 eprover: CPU time limit exceeded, terminating
% 170.28/167.54 eprover: CPU time limit exceeded, terminating
% 172.32/169.56 eprover: CPU time limit exceeded, terminating
% 174.36/171.57 eprover: CPU time limit exceeded, terminating
% 176.37/173.58 eprover: CPU time limit exceeded, terminating
% 178.42/175.59 eprover: CPU time limit exceeded, terminating
% 180.38/177.60 eprover: CPU time limit exceeded, terminating
% 182.42/179.61 eprover: CPU time limit exceeded, terminating
% 184.48/181.62 eprover: CPU time limit exceeded, terminating
% 186.45/183.63 eprover: CPU time limit exceeded, terminating
% 188.49/185.65 eprover: CPU time limit exceeded, terminating
% 190.52/187.66 eprover: CPU time limit exceeded, terminating
% 192.58/189.67 eprover: CPU time limit exceeded, terminating
% 194.57/191.68 eprover: CPU time limit exceeded, terminating
% 196.56/193.70 eprover: CPU time limit exceeded, terminating
% 198.65/195.71 eprover: CPU time limit exceeded, terminating
% 200.68/197.73 eprover: CPU time limit exceeded, terminating
% 202.65/199.74 eprover: CPU time limit exceeded, terminating
% 204.75/201.75 eprover: CPU time limit exceeded, terminating
% 206.69/203.76 eprover: CPU time limit exceeded, terminating
% 208.75/205.78 eprover: CPU time limit exceeded, terminating
% 210.73/207.79 eprover: CPU time limit exceeded, terminating
% 212.84/209.80 eprover: CPU time limit exceeded, terminating
% 214.86/211.82 eprover: CPU time limit exceeded, terminating
% 216.90/213.83 eprover: CPU time limit exceeded, terminating
% 218.90/215.84 eprover: CPU time limit exceeded, terminating
% 220.92/217.85 eprover: CPU time limit exceeded, terminating
% 222.95/219.86 eprover: CPU time limit exceeded, terminating
% 224.95/221.88 eprover: CPU time limit exceeded, terminating
% 227.02/223.89 eprover: CPU time limit exceeded, terminating
% 229.05/225.90 eprover: CPU time limit exceeded, terminating
% 231.06/227.91 eprover: CPU time limit exceeded, terminating
% 233.08/229.92 eprover: CPU time limit exceeded, terminating
% 235.12/231.93 eprover: CPU time limit exceeded, terminating
% 237.07/233.95 eprover: CPU time limit exceeded, terminating
% 239.15/235.96 eprover: CPU time limit exceeded, terminating
% 241.20/237.97 eprover: CPU time limit exceeded, terminating
% 243.18/239.98 eprover: CPU time limit exceeded, terminating
% 245.25/241.99 eprover: CPU time limit exceeded, terminating
% 247.29/244.01 eprover: CPU time limit exceeded, terminating
% 249.29/246.02 eprover: CPU time limit exceeded, terminating
% 251.28/248.03 eprover: CPU time limit exceeded, terminating
% 253.34/250.04 eprover: CPU time limit exceeded, terminating
% 255.32/252.05 eprover: CPU time limit exceeded, terminating
% 257.38/254.07 eprover: CPU time limit exceeded, terminating
% 259.35/256.08 eprover: CPU time limit exceeded, terminating
% 261.41/258.09 eprover: CPU time limit exceeded, terminating
% 263.41/260.10 eprover: CPU time limit exceeded, terminating
% 265.50/262.11 eprover: CPU time limit exceeded, terminating
% 267.54/264.13 eprover: CPU time limit exceeded, terminating
% 269.56/266.14 eprover: CPU time limit exceeded, terminating
% 271.58/268.15 eprover: CPU time limit exceeded, terminating
% 273.58/270.16 eprover: CPU time limit exceeded, terminating
% 275.66/272.17 eprover: CPU time limit exceeded, terminating
% 277.62/274.19 eprover: CPU time limit exceeded, terminating
% 279.71/276.20 eprover: CPU time limit exceeded, terminating
% 281.72/278.21 eprover: CPU time limit exceeded, terminating
% 283.76/280.22 eprover: CPU time limit exceeded, terminating
% 285.77/282.23 eprover: CPU time limit exceeded, terminating
% 287.80/284.25 eprover: CPU time limit exceeded, terminating
% 289.85/286.26 eprover: CPU time limit exceeded, terminating
% 291.81/288.27 eprover: CPU time limit exceeded, terminating
% 293.89/290.28 eprover: CPU time limit exceeded, terminating
% 295.92/292.29 eprover: CPU time limit exceeded, terminating
% 297.93/294.30 eprover: CPU time limit exceeded, terminating
% 299.90/296.31 eprover: CPU time limit exceeded, terminating
% 300.01/296.35 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------