TSTP Solution File: AGT024+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : AGT024+1 : TPTP v8.1.0. Bugfixed v3.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n023.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:53 EDT 2022
% Result : Timeout 285.77s 282.23s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : AGT024+1 : TPTP v8.1.0. Bugfixed v3.1.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n023.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 04:04:25 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.33/2.57 eprover: CPU time limit exceeded, terminating
% 4.42/4.58 eprover: CPU time limit exceeded, terminating
% 6.36/6.59 eprover: CPU time limit exceeded, terminating
% 8.47/8.60 eprover: CPU time limit exceeded, terminating
% 10.46/10.61 eprover: CPU time limit exceeded, terminating
% 12.48/12.63 eprover: CPU time limit exceeded, terminating
% 14.49/14.64 eprover: CPU time limit exceeded, terminating
% 16.52/16.68 eprover: CPU time limit exceeded, terminating
% 18.60/18.69 eprover: CPU time limit exceeded, terminating
% 20.63/20.70 eprover: CPU time limit exceeded, terminating
% 22.64/22.72 eprover: CPU time limit exceeded, terminating
% 24.67/24.72 eprover: CPU time limit exceeded, terminating
% 26.67/26.74 eprover: CPU time limit exceeded, terminating
% 28.71/28.75 eprover: CPU time limit exceeded, terminating
% 30.68/30.76 eprover: CPU time limit exceeded, terminating
% 32.75/32.77 eprover: CPU time limit exceeded, terminating
% 34.74/34.78 eprover: CPU time limit exceeded, terminating
% 36.83/36.79 eprover: CPU time limit exceeded, terminating
% 38.86/38.81 eprover: CPU time limit exceeded, terminating
% 40.89/40.82 eprover: CPU time limit exceeded, terminating
% 42.90/42.83 eprover: CPU time limit exceeded, terminating
% 44.91/44.84 eprover: CPU time limit exceeded, terminating
% 46.92/46.85 eprover: CPU time limit exceeded, terminating
% 48.90/48.87 eprover: CPU time limit exceeded, terminating
% 50.92/50.88 eprover: CPU time limit exceeded, terminating
% 53.01/52.89 eprover: CPU time limit exceeded, terminating
% 55.04/54.90 eprover: CPU time limit exceeded, terminating
% 57.04/56.91 eprover: CPU time limit exceeded, terminating
% 59.10/58.92 eprover: CPU time limit exceeded, terminating
% 61.10/60.93 eprover: CPU time limit exceeded, terminating
% 63.16/62.94 eprover: CPU time limit exceeded, terminating
% 65.13/64.96 eprover: CPU time limit exceeded, terminating
% 67.18/66.97 eprover: CPU time limit exceeded, terminating
% 69.18/68.98 eprover: CPU time limit exceeded, terminating
% 71.24/70.99 eprover: CPU time limit exceeded, terminating
% 73.29/73.00 eprover: CPU time limit exceeded, terminating
% 75.27/75.01 eprover: CPU time limit exceeded, terminating
% 77.32/77.02 eprover: CPU time limit exceeded, terminating
% 79.32/79.04 eprover: CPU time limit exceeded, terminating
% 81.36/81.05 eprover: CPU time limit exceeded, terminating
% 83.35/83.06 eprover: CPU time limit exceeded, terminating
% 85.40/85.07 eprover: CPU time limit exceeded, terminating
% 87.44/87.08 eprover: CPU time limit exceeded, terminating
% 89.41/89.09 eprover: CPU time limit exceeded, terminating
% 91.51/91.10 eprover: CPU time limit exceeded, terminating
% 93.50/93.11 eprover: CPU time limit exceeded, terminating
% 95.52/95.12 eprover: CPU time limit exceeded, terminating
% 97.57/97.13 eprover: CPU time limit exceeded, terminating
% 99.55/99.15 eprover: CPU time limit exceeded, terminating
% 101.62/101.16 eprover: CPU time limit exceeded, terminating
% 103.61/103.17 eprover: CPU time limit exceeded, terminating
% 105.65/105.18 eprover: CPU time limit exceeded, terminating
% 107.68/107.19 eprover: CPU time limit exceeded, terminating
% 109.67/109.20 eprover: CPU time limit exceeded, terminating
% 111.75/111.21 eprover: CPU time limit exceeded, terminating
% 113.79/113.23 eprover: CPU time limit exceeded, terminating
% 115.76/115.24 eprover: CPU time limit exceeded, terminating
% 117.84/117.25 eprover: CPU time limit exceeded, terminating
% 119.87/119.26 eprover: CPU time limit exceeded, terminating
% 121.87/121.27 eprover: CPU time limit exceeded, terminating
% 123.91/123.29 eprover: CPU time limit exceeded, terminating
% 125.89/125.30 eprover: CPU time limit exceeded, terminating
% 127.92/127.31 eprover: CPU time limit exceeded, terminating
% 129.98/129.32 eprover: CPU time limit exceeded, terminating
% 131.94/131.33 eprover: CPU time limit exceeded, terminating
% 134.00/133.35 eprover: CPU time limit exceeded, terminating
% 135.96/135.36 eprover: CPU time limit exceeded, terminating
% 138.04/137.37 eprover: CPU time limit exceeded, terminating
% 140.09/139.38 eprover: CPU time limit exceeded, terminating
% 142.06/141.39 eprover: CPU time limit exceeded, terminating
% 144.14/143.40 eprover: CPU time limit exceeded, terminating
% 146.09/145.41 eprover: CPU time limit exceeded, terminating
% 148.15/147.43 eprover: CPU time limit exceeded, terminating
% 150.17/149.44 eprover: CPU time limit exceeded, terminating
% 152.17/151.45 eprover: CPU time limit exceeded, terminating
% 154.22/153.46 eprover: CPU time limit exceeded, terminating
% 156.25/155.47 eprover: CPU time limit exceeded, terminating
% 158.24/157.48 eprover: CPU time limit exceeded, terminating
% 160.32/159.50 eprover: CPU time limit exceeded, terminating
% 162.26/161.51 eprover: CPU time limit exceeded, terminating
% 164.36/163.52 eprover: CPU time limit exceeded, terminating
% 166.39/165.53 eprover: CPU time limit exceeded, terminating
% 168.41/167.54 eprover: CPU time limit exceeded, terminating
% 170.43/169.55 eprover: CPU time limit exceeded, terminating
% 172.37/171.56 eprover: CPU time limit exceeded, terminating
% 174.45/173.57 eprover: CPU time limit exceeded, terminating
% 176.46/175.59 eprover: CPU time limit exceeded, terminating
% 178.52/177.60 eprover: CPU time limit exceeded, terminating
% 180.52/179.61 eprover: CPU time limit exceeded, terminating
% 182.56/181.62 eprover: CPU time limit exceeded, terminating
% 184.57/183.63 eprover: CPU time limit exceeded, terminating
% 186.58/185.64 eprover: CPU time limit exceeded, terminating
% 188.63/187.65 eprover: CPU time limit exceeded, terminating
% 190.65/189.66 eprover: CPU time limit exceeded, terminating
% 192.64/191.67 eprover: CPU time limit exceeded, terminating
% 194.67/193.69 eprover: CPU time limit exceeded, terminating
% 196.72/195.70 eprover: CPU time limit exceeded, terminating
% 198.72/197.71 eprover: CPU time limit exceeded, terminating
% 200.73/199.72 eprover: CPU time limit exceeded, terminating
% 202.75/201.73 eprover: CPU time limit exceeded, terminating
% 204.76/203.74 eprover: CPU time limit exceeded, terminating
% 206.79/205.76 eprover: CPU time limit exceeded, terminating
% 208.84/207.77 eprover: CPU time limit exceeded, terminating
% 210.87/209.78 eprover: CPU time limit exceeded, terminating
% 212.86/211.79 eprover: CPU time limit exceeded, terminating
% 214.92/213.80 eprover: CPU time limit exceeded, terminating
% 216.87/215.81 eprover: CPU time limit exceeded, terminating
% 218.92/217.82 eprover: CPU time limit exceeded, terminating
% 220.98/219.84 eprover: CPU time limit exceeded, terminating
% 222.95/221.85 eprover: CPU time limit exceeded, terminating
% 225.04/223.86 eprover: CPU time limit exceeded, terminating
% 227.06/225.87 eprover: CPU time limit exceeded, terminating
% 229.09/227.88 eprover: CPU time limit exceeded, terminating
% 231.14/229.89 eprover: CPU time limit exceeded, terminating
% 233.10/231.91 eprover: CPU time limit exceeded, terminating
% 235.12/233.92 eprover: CPU time limit exceeded, terminating
% 237.17/235.93 eprover: CPU time limit exceeded, terminating
% 239.22/237.94 eprover: CPU time limit exceeded, terminating
% 241.22/239.95 eprover: CPU time limit exceeded, terminating
% 243.28/241.97 eprover: CPU time limit exceeded, terminating
% 245.31/243.98 eprover: CPU time limit exceeded, terminating
% 247.30/246.00 eprover: CPU time limit exceeded, terminating
% 249.35/248.01 eprover: CPU time limit exceeded, terminating
% 251.37/250.02 eprover: CPU time limit exceeded, terminating
% 253.42/252.03 eprover: CPU time limit exceeded, terminating
% 255.44/254.04 eprover: CPU time limit exceeded, terminating
% 257.49/256.06 eprover: CPU time limit exceeded, terminating
% 259.49/258.07 eprover: CPU time limit exceeded, terminating
% 263.48/260.08 eprover: CPU time limit exceeded, terminating
% 265.54/262.10 eprover: CPU time limit exceeded, terminating
% 267.51/264.11 eprover: CPU time limit exceeded, terminating
% 269.60/266.12 eprover: CPU time limit exceeded, terminating
% 271.63/268.13 eprover: CPU time limit exceeded, terminating
% 273.66/270.15 eprover: CPU time limit exceeded, terminating
% 275.69/272.16 eprover: CPU time limit exceeded, terminating
% 277.72/274.17 eprover: CPU time limit exceeded, terminating
% 279.73/276.19 eprover: CPU time limit exceeded, terminating
% 281.75/278.20 eprover: CPU time limit exceeded, terminating
% 283.80/280.21 eprover: CPU time limit exceeded, terminating
% 285.77/282.23 eprover: CPU time limit exceeded, terminating
% 287.84/284.24 eprover: CPU time limit exceeded, terminating
% 289.88/286.25 eprover: CPU time limit exceeded, terminating
% 291.88/288.26 eprover: CPU time limit exceeded, terminating
% 293.91/290.28 eprover: CPU time limit exceeded, terminating
% 295.93/292.29 eprover: CPU time limit exceeded, terminating
% 297.93/294.30 eprover: CPU time limit exceeded, terminating
% 299.93/296.31 eprover: CPU time limit exceeded, terminating
% 300.06/296.35 eprover: CPU time limit exceeded, terminating
% 300.06/296.36 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------