TSTP Solution File: AGT005+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : AGT005+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:50 EDT 2022
% Result : Timeout 286.12s 284.36s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.05/0.14 % Problem : AGT005+1 : TPTP v8.1.0. Bugfixed v3.1.0.
% 0.13/0.14 % Command : run_infinox %s
% 0.14/0.36 % Computer : n023.cluster.edu
% 0.14/0.36 % Model : x86_64 x86_64
% 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.36 % Memory : 8042.1875MB
% 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 600
% 0.14/0.36 % DateTime : Sat Jun 4 06:59:40 EDT 2022
% 0.21/0.36 % CPUTime :
% 2.44/2.64 eprover: CPU time limit exceeded, terminating
% 4.48/4.65 eprover: CPU time limit exceeded, terminating
% 6.51/6.67 eprover: CPU time limit exceeded, terminating
% 8.50/8.68 eprover: CPU time limit exceeded, terminating
% 10.58/10.69 eprover: CPU time limit exceeded, terminating
% 12.59/12.70 eprover: CPU time limit exceeded, terminating
% 14.59/14.72 eprover: CPU time limit exceeded, terminating
% 16.69/16.76 eprover: CPU time limit exceeded, terminating
% 18.71/18.77 eprover: CPU time limit exceeded, terminating
% 20.72/20.78 eprover: CPU time limit exceeded, terminating
% 22.72/22.80 eprover: CPU time limit exceeded, terminating
% 24.75/24.81 eprover: CPU time limit exceeded, terminating
% 26.75/26.82 eprover: CPU time limit exceeded, terminating
% 28.76/28.83 eprover: CPU time limit exceeded, terminating
% 30.86/30.86 eprover: CPU time limit exceeded, terminating
% 32.88/32.87 eprover: CPU time limit exceeded, terminating
% 34.91/34.88 eprover: CPU time limit exceeded, terminating
% 36.93/36.90 eprover: CPU time limit exceeded, terminating
% 38.94/38.91 eprover: CPU time limit exceeded, terminating
% 40.97/40.93 eprover: CPU time limit exceeded, terminating
% 43.01/42.94 eprover: CPU time limit exceeded, terminating
% 45.06/44.96 eprover: CPU time limit exceeded, terminating
% 47.08/46.97 eprover: CPU time limit exceeded, terminating
% 49.12/48.98 eprover: CPU time limit exceeded, terminating
% 51.11/51.00 eprover: CPU time limit exceeded, terminating
% 53.16/53.01 eprover: CPU time limit exceeded, terminating
% 55.15/55.03 eprover: CPU time limit exceeded, terminating
% 57.24/57.04 eprover: CPU time limit exceeded, terminating
% 59.26/59.05 eprover: CPU time limit exceeded, terminating
% 61.27/61.07 eprover: CPU time limit exceeded, terminating
% 63.33/63.08 eprover: CPU time limit exceeded, terminating
% 65.34/65.09 eprover: CPU time limit exceeded, terminating
% 67.37/67.10 eprover: CPU time limit exceeded, terminating
% 69.36/69.11 eprover: CPU time limit exceeded, terminating
% 71.37/71.12 eprover: CPU time limit exceeded, terminating
% 73.43/73.13 eprover: CPU time limit exceeded, terminating
% 75.47/75.14 eprover: CPU time limit exceeded, terminating
% 77.48/77.15 eprover: CPU time limit exceeded, terminating
% 79.52/79.17 eprover: CPU time limit exceeded, terminating
% 81.53/81.18 eprover: CPU time limit exceeded, terminating
% 83.57/83.19 eprover: CPU time limit exceeded, terminating
% 85.58/85.20 eprover: CPU time limit exceeded, terminating
% 87.58/87.21 eprover: CPU time limit exceeded, terminating
% 89.59/89.23 eprover: CPU time limit exceeded, terminating
% 91.61/91.24 eprover: CPU time limit exceeded, terminating
% 93.71/93.25 eprover: CPU time limit exceeded, terminating
% 95.74/95.27 eprover: CPU time limit exceeded, terminating
% 97.74/97.28 eprover: CPU time limit exceeded, terminating
% 99.76/99.29 eprover: CPU time limit exceeded, terminating
% 101.77/101.31 eprover: CPU time limit exceeded, terminating
% 103.82/103.32 eprover: CPU time limit exceeded, terminating
% 105.87/105.33 eprover: CPU time limit exceeded, terminating
% 107.87/107.35 eprover: CPU time limit exceeded, terminating
% 109.94/109.36 eprover: CPU time limit exceeded, terminating
% 111.97/111.38 eprover: CPU time limit exceeded, terminating
% 113.95/113.39 eprover: CPU time limit exceeded, terminating
% 116.01/115.40 eprover: CPU time limit exceeded, terminating
% 118.01/117.42 eprover: CPU time limit exceeded, terminating
% 120.07/119.43 eprover: CPU time limit exceeded, terminating
% 122.11/121.44 eprover: CPU time limit exceeded, terminating
% 124.13/123.45 eprover: CPU time limit exceeded, terminating
% 126.14/125.46 eprover: CPU time limit exceeded, terminating
% 128.17/127.47 eprover: CPU time limit exceeded, terminating
% 130.19/129.48 eprover: CPU time limit exceeded, terminating
% 132.18/131.50 eprover: CPU time limit exceeded, terminating
% 134.21/133.51 eprover: CPU time limit exceeded, terminating
% 136.24/135.52 eprover: CPU time limit exceeded, terminating
% 138.28/137.53 eprover: CPU time limit exceeded, terminating
% 140.31/139.54 eprover: CPU time limit exceeded, terminating
% 142.35/141.55 eprover: CPU time limit exceeded, terminating
% 144.36/143.56 eprover: CPU time limit exceeded, terminating
% 146.40/145.57 eprover: CPU time limit exceeded, terminating
% 148.41/147.58 eprover: CPU time limit exceeded, terminating
% 150.41/149.59 eprover: CPU time limit exceeded, terminating
% 152.43/151.60 eprover: CPU time limit exceeded, terminating
% 154.45/153.61 eprover: CPU time limit exceeded, terminating
% 156.47/155.62 eprover: CPU time limit exceeded, terminating
% 158.55/157.63 eprover: CPU time limit exceeded, terminating
% 160.56/159.64 eprover: CPU time limit exceeded, terminating
% 162.58/161.65 eprover: CPU time limit exceeded, terminating
% 164.59/163.66 eprover: CPU time limit exceeded, terminating
% 166.62/165.67 eprover: CPU time limit exceeded, terminating
% 168.67/167.68 eprover: CPU time limit exceeded, terminating
% 170.66/169.69 eprover: CPU time limit exceeded, terminating
% 172.66/171.70 eprover: CPU time limit exceeded, terminating
% 174.69/173.71 eprover: CPU time limit exceeded, terminating
% 176.72/175.72 eprover: CPU time limit exceeded, terminating
% 178.76/177.73 eprover: CPU time limit exceeded, terminating
% 180.73/179.74 eprover: CPU time limit exceeded, terminating
% 182.80/181.76 eprover: CPU time limit exceeded, terminating
% 184.84/183.77 eprover: CPU time limit exceeded, terminating
% 186.88/185.78 eprover: CPU time limit exceeded, terminating
% 188.89/187.79 eprover: CPU time limit exceeded, terminating
% 190.87/189.80 eprover: CPU time limit exceeded, terminating
% 192.90/191.82 eprover: CPU time limit exceeded, terminating
% 194.93/193.83 eprover: CPU time limit exceeded, terminating
% 196.97/195.84 eprover: CPU time limit exceeded, terminating
% 199.00/197.85 eprover: CPU time limit exceeded, terminating
% 201.04/199.86 eprover: CPU time limit exceeded, terminating
% 203.06/201.87 eprover: CPU time limit exceeded, terminating
% 205.09/203.88 eprover: CPU time limit exceeded, terminating
% 207.09/205.90 eprover: CPU time limit exceeded, terminating
% 209.15/207.91 eprover: CPU time limit exceeded, terminating
% 211.13/209.92 eprover: CPU time limit exceeded, terminating
% 213.12/211.93 eprover: CPU time limit exceeded, terminating
% 215.21/213.95 eprover: CPU time limit exceeded, terminating
% 217.23/215.96 eprover: CPU time limit exceeded, terminating
% 219.22/217.97 eprover: CPU time limit exceeded, terminating
% 221.28/219.98 eprover: CPU time limit exceeded, terminating
% 223.32/221.99 eprover: CPU time limit exceeded, terminating
% 225.31/224.00 eprover: CPU time limit exceeded, terminating
% 227.33/226.01 eprover: CPU time limit exceeded, terminating
% 229.36/228.03 eprover: CPU time limit exceeded, terminating
% 231.37/230.04 eprover: CPU time limit exceeded, terminating
% 233.43/232.05 eprover: CPU time limit exceeded, terminating
% 235.49/234.06 eprover: CPU time limit exceeded, terminating
% 237.49/236.07 eprover: CPU time limit exceeded, terminating
% 239.53/238.09 eprover: CPU time limit exceeded, terminating
% 241.52/240.10 eprover: CPU time limit exceeded, terminating
% 243.56/242.11 eprover: CPU time limit exceeded, terminating
% 245.58/244.12 eprover: CPU time limit exceeded, terminating
% 247.57/246.13 eprover: CPU time limit exceeded, terminating
% 249.60/248.15 eprover: CPU time limit exceeded, terminating
% 251.67/250.16 eprover: CPU time limit exceeded, terminating
% 253.67/252.17 eprover: CPU time limit exceeded, terminating
% 255.72/254.18 eprover: CPU time limit exceeded, terminating
% 257.70/256.19 eprover: CPU time limit exceeded, terminating
% 259.77/258.21 eprover: CPU time limit exceeded, terminating
% 261.80/260.22 eprover: CPU time limit exceeded, terminating
% 263.84/262.23 eprover: CPU time limit exceeded, terminating
% 265.87/264.24 eprover: CPU time limit exceeded, terminating
% 267.80/266.26 eprover: CPU time limit exceeded, terminating
% 269.88/268.27 eprover: CPU time limit exceeded, terminating
% 271.92/270.28 eprover: CPU time limit exceeded, terminating
% 273.95/272.29 eprover: CPU time limit exceeded, terminating
% 275.95/274.30 eprover: CPU time limit exceeded, terminating
% 277.98/276.31 eprover: CPU time limit exceeded, terminating
% 280.03/278.33 eprover: CPU time limit exceeded, terminating
% 281.98/280.34 eprover: CPU time limit exceeded, terminating
% 284.06/282.35 eprover: CPU time limit exceeded, terminating
% 286.12/284.36 eprover: CPU time limit exceeded, terminating
% 288.14/286.37 eprover: CPU time limit exceeded, terminating
% 290.14/288.38 eprover: CPU time limit exceeded, terminating
% 292.16/290.40 eprover: CPU time limit exceeded, terminating
% 294.16/292.41 eprover: CPU time limit exceeded, terminating
% 296.18/294.42 eprover: CPU time limit exceeded, terminating
% 298.27/296.43 eprover: CPU time limit exceeded, terminating
% 300.03/298.18 eprover: CPU time limit exceeded, terminating
% 300.03/298.19 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------