TSTP Solution File: AGT022+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : AGT022+1 : TPTP v8.1.0. Bugfixed v3.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n028.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 286.07s 284.28s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.13 % Problem : AGT022+1 : TPTP v8.1.0. Bugfixed v3.1.0.
% 0.14/0.13 % Command : run_infinox %s
% 0.14/0.34 % Computer : n028.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 600
% 0.14/0.34 % DateTime : Sat Jun 4 06:37:11 EDT 2022
% 0.21/0.35 % CPUTime :
% 2.42/2.59 eprover: CPU time limit exceeded, terminating
% 4.43/4.60 eprover: CPU time limit exceeded, terminating
% 6.43/6.61 eprover: CPU time limit exceeded, terminating
% 8.49/8.62 eprover: CPU time limit exceeded, terminating
% 10.51/10.63 eprover: CPU time limit exceeded, terminating
% 12.50/12.64 eprover: CPU time limit exceeded, terminating
% 14.55/14.65 eprover: CPU time limit exceeded, terminating
% 16.54/16.68 eprover: CPU time limit exceeded, terminating
% 18.63/18.69 eprover: CPU time limit exceeded, terminating
% 20.66/20.70 eprover: CPU time limit exceeded, terminating
% 22.68/22.71 eprover: CPU time limit exceeded, terminating
% 24.70/24.73 eprover: CPU time limit exceeded, terminating
% 26.69/26.74 eprover: CPU time limit exceeded, terminating
% 28.72/28.75 eprover: CPU time limit exceeded, terminating
% 30.73/30.76 eprover: CPU time limit exceeded, terminating
% 32.78/32.78 eprover: CPU time limit exceeded, terminating
% 34.75/34.79 eprover: CPU time limit exceeded, terminating
% 36.81/36.80 eprover: CPU time limit exceeded, terminating
% 38.87/38.81 eprover: CPU time limit exceeded, terminating
% 40.92/40.82 eprover: CPU time limit exceeded, terminating
% 42.89/42.83 eprover: CPU time limit exceeded, terminating
% 44.95/44.85 eprover: CPU time limit exceeded, terminating
% 47.00/46.86 eprover: CPU time limit exceeded, terminating
% 48.98/48.87 eprover: CPU time limit exceeded, terminating
% 51.04/50.88 eprover: CPU time limit exceeded, terminating
% 53.03/52.89 eprover: CPU time limit exceeded, terminating
% 55.09/54.90 eprover: CPU time limit exceeded, terminating
% 57.10/56.91 eprover: CPU time limit exceeded, terminating
% 59.12/58.92 eprover: CPU time limit exceeded, terminating
% 61.17/60.94 eprover: CPU time limit exceeded, terminating
% 63.14/62.95 eprover: CPU time limit exceeded, terminating
% 65.19/64.96 eprover: CPU time limit exceeded, terminating
% 67.25/66.97 eprover: CPU time limit exceeded, terminating
% 69.20/68.98 eprover: CPU time limit exceeded, terminating
% 71.27/71.00 eprover: CPU time limit exceeded, terminating
% 73.27/73.01 eprover: CPU time limit exceeded, terminating
% 75.35/75.02 eprover: CPU time limit exceeded, terminating
% 77.37/77.04 eprover: CPU time limit exceeded, terminating
% 79.38/79.05 eprover: CPU time limit exceeded, terminating
% 81.39/81.06 eprover: CPU time limit exceeded, terminating
% 83.42/83.07 eprover: CPU time limit exceeded, terminating
% 85.48/85.09 eprover: CPU time limit exceeded, terminating
% 87.46/87.10 eprover: CPU time limit exceeded, terminating
% 89.47/89.11 eprover: CPU time limit exceeded, terminating
% 91.53/91.12 eprover: CPU time limit exceeded, terminating
% 93.58/93.14 eprover: CPU time limit exceeded, terminating
% 95.60/95.15 eprover: CPU time limit exceeded, terminating
% 97.60/97.16 eprover: CPU time limit exceeded, terminating
% 99.64/99.18 eprover: CPU time limit exceeded, terminating
% 101.62/101.19 eprover: CPU time limit exceeded, terminating
% 103.72/103.21 eprover: CPU time limit exceeded, terminating
% 105.75/105.22 eprover: CPU time limit exceeded, terminating
% 107.81/107.23 eprover: CPU time limit exceeded, terminating
% 109.77/109.25 eprover: CPU time limit exceeded, terminating
% 111.79/111.26 eprover: CPU time limit exceeded, terminating
% 113.82/113.27 eprover: CPU time limit exceeded, terminating
% 115.84/115.28 eprover: CPU time limit exceeded, terminating
% 117.87/117.30 eprover: CPU time limit exceeded, terminating
% 119.96/119.31 eprover: CPU time limit exceeded, terminating
% 121.96/121.32 eprover: CPU time limit exceeded, terminating
% 123.98/123.33 eprover: CPU time limit exceeded, terminating
% 126.03/125.34 eprover: CPU time limit exceeded, terminating
% 128.02/127.36 eprover: CPU time limit exceeded, terminating
% 130.03/129.37 eprover: CPU time limit exceeded, terminating
% 132.08/131.38 eprover: CPU time limit exceeded, terminating
% 134.06/133.39 eprover: CPU time limit exceeded, terminating
% 136.16/135.40 eprover: CPU time limit exceeded, terminating
% 138.18/137.41 eprover: CPU time limit exceeded, terminating
% 140.17/139.43 eprover: CPU time limit exceeded, terminating
% 142.20/141.44 eprover: CPU time limit exceeded, terminating
% 144.25/143.45 eprover: CPU time limit exceeded, terminating
% 146.22/145.46 eprover: CPU time limit exceeded, terminating
% 148.26/147.47 eprover: CPU time limit exceeded, terminating
% 150.34/149.48 eprover: CPU time limit exceeded, terminating
% 152.29/151.49 eprover: CPU time limit exceeded, terminating
% 154.37/153.51 eprover: CPU time limit exceeded, terminating
% 156.41/155.52 eprover: CPU time limit exceeded, terminating
% 158.41/157.53 eprover: CPU time limit exceeded, terminating
% 160.45/159.54 eprover: CPU time limit exceeded, terminating
% 162.46/161.56 eprover: CPU time limit exceeded, terminating
% 164.46/163.57 eprover: CPU time limit exceeded, terminating
% 166.51/165.58 eprover: CPU time limit exceeded, terminating
% 168.53/167.59 eprover: CPU time limit exceeded, terminating
% 170.61/169.60 eprover: CPU time limit exceeded, terminating
% 172.63/171.61 eprover: CPU time limit exceeded, terminating
% 174.64/173.63 eprover: CPU time limit exceeded, terminating
% 176.61/175.64 eprover: CPU time limit exceeded, terminating
% 178.65/177.65 eprover: CPU time limit exceeded, terminating
% 180.69/179.66 eprover: CPU time limit exceeded, terminating
% 182.76/181.68 eprover: CPU time limit exceeded, terminating
% 184.71/183.69 eprover: CPU time limit exceeded, terminating
% 186.75/185.70 eprover: CPU time limit exceeded, terminating
% 188.84/187.71 eprover: CPU time limit exceeded, terminating
% 190.84/189.72 eprover: CPU time limit exceeded, terminating
% 192.89/191.73 eprover: CPU time limit exceeded, terminating
% 194.87/193.74 eprover: CPU time limit exceeded, terminating
% 196.86/195.75 eprover: CPU time limit exceeded, terminating
% 198.92/197.77 eprover: CPU time limit exceeded, terminating
% 200.96/199.78 eprover: CPU time limit exceeded, terminating
% 202.95/201.79 eprover: CPU time limit exceeded, terminating
% 204.98/203.80 eprover: CPU time limit exceeded, terminating
% 207.05/205.82 eprover: CPU time limit exceeded, terminating
% 209.10/207.83 eprover: CPU time limit exceeded, terminating
% 211.13/209.84 eprover: CPU time limit exceeded, terminating
% 213.09/211.85 eprover: CPU time limit exceeded, terminating
% 215.10/213.86 eprover: CPU time limit exceeded, terminating
% 217.13/215.87 eprover: CPU time limit exceeded, terminating
% 219.23/217.88 eprover: CPU time limit exceeded, terminating
% 221.19/219.90 eprover: CPU time limit exceeded, terminating
% 223.26/221.91 eprover: CPU time limit exceeded, terminating
% 225.31/223.92 eprover: CPU time limit exceeded, terminating
% 227.30/225.94 eprover: CPU time limit exceeded, terminating
% 229.34/227.95 eprover: CPU time limit exceeded, terminating
% 231.35/229.96 eprover: CPU time limit exceeded, terminating
% 233.41/231.97 eprover: CPU time limit exceeded, terminating
% 235.37/233.98 eprover: CPU time limit exceeded, terminating
% 237.46/235.99 eprover: CPU time limit exceeded, terminating
% 239.41/238.01 eprover: CPU time limit exceeded, terminating
% 241.52/240.02 eprover: CPU time limit exceeded, terminating
% 243.54/242.03 eprover: CPU time limit exceeded, terminating
% 245.52/244.04 eprover: CPU time limit exceeded, terminating
% 247.58/246.06 eprover: CPU time limit exceeded, terminating
% 249.57/248.07 eprover: CPU time limit exceeded, terminating
% 251.61/250.08 eprover: CPU time limit exceeded, terminating
% 253.67/252.09 eprover: CPU time limit exceeded, terminating
% 255.67/254.11 eprover: CPU time limit exceeded, terminating
% 257.72/256.12 eprover: CPU time limit exceeded, terminating
% 259.74/258.13 eprover: CPU time limit exceeded, terminating
% 261.77/260.15 eprover: CPU time limit exceeded, terminating
% 263.74/262.16 eprover: CPU time limit exceeded, terminating
% 265.83/264.17 eprover: CPU time limit exceeded, terminating
% 267.85/266.18 eprover: CPU time limit exceeded, terminating
% 269.88/268.19 eprover: CPU time limit exceeded, terminating
% 271.90/270.20 eprover: CPU time limit exceeded, terminating
% 273.92/272.22 eprover: CPU time limit exceeded, terminating
% 275.94/274.23 eprover: CPU time limit exceeded, terminating
% 277.96/276.24 eprover: CPU time limit exceeded, terminating
% 279.96/278.25 eprover: CPU time limit exceeded, terminating
% 282.00/280.26 eprover: CPU time limit exceeded, terminating
% 284.00/282.27 eprover: CPU time limit exceeded, terminating
% 286.07/284.28 eprover: CPU time limit exceeded, terminating
% 288.06/286.30 eprover: CPU time limit exceeded, terminating
% 290.13/288.31 eprover: CPU time limit exceeded, terminating
% 292.15/290.32 eprover: CPU time limit exceeded, terminating
% 294.17/292.33 eprover: CPU time limit exceeded, terminating
% 296.15/294.34 eprover: CPU time limit exceeded, terminating
% 298.16/296.36 eprover: CPU time limit exceeded, terminating
% 300.07/298.17 eprover: CPU time limit exceeded, terminating
% 300.07/298.18 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------