TSTP Solution File: AGT019+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : AGT019+1 : TPTP v8.1.0. Bugfixed v3.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n021.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.82s 284.14s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.13 % Problem : AGT019+1 : TPTP v8.1.0. Bugfixed v3.1.0.
% 0.11/0.14 % Command : run_infinox %s
% 0.14/0.35 % Computer : n021.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Sat Jun 4 06:18:48 EDT 2022
% 0.14/0.35 % CPUTime :
% 2.35/2.59 eprover: CPU time limit exceeded, terminating
% 4.43/4.60 eprover: CPU time limit exceeded, terminating
% 6.40/6.61 eprover: CPU time limit exceeded, terminating
% 8.49/8.62 eprover: CPU time limit exceeded, terminating
% 10.49/10.63 eprover: CPU time limit exceeded, terminating
% 12.48/12.64 eprover: CPU time limit exceeded, terminating
% 14.51/14.65 eprover: CPU time limit exceeded, terminating
% 16.60/16.69 eprover: CPU time limit exceeded, terminating
% 18.63/18.69 eprover: CPU time limit exceeded, terminating
% 20.64/20.70 eprover: CPU time limit exceeded, terminating
% 22.66/22.71 eprover: CPU time limit exceeded, terminating
% 24.71/24.72 eprover: CPU time limit exceeded, terminating
% 26.70/26.73 eprover: CPU time limit exceeded, terminating
% 28.73/28.74 eprover: CPU time limit exceeded, terminating
% 30.76/30.75 eprover: CPU time limit exceeded, terminating
% 32.71/32.76 eprover: CPU time limit exceeded, terminating
% 34.80/34.77 eprover: CPU time limit exceeded, terminating
% 36.78/36.78 eprover: CPU time limit exceeded, terminating
% 38.82/38.79 eprover: CPU time limit exceeded, terminating
% 40.86/40.80 eprover: CPU time limit exceeded, terminating
% 42.89/42.81 eprover: CPU time limit exceeded, terminating
% 44.93/44.83 eprover: CPU time limit exceeded, terminating
% 46.96/46.84 eprover: CPU time limit exceeded, terminating
% 48.93/48.85 eprover: CPU time limit exceeded, terminating
% 50.99/50.86 eprover: CPU time limit exceeded, terminating
% 53.03/52.87 eprover: CPU time limit exceeded, terminating
% 54.99/54.88 eprover: CPU time limit exceeded, terminating
% 57.08/56.89 eprover: CPU time limit exceeded, terminating
% 59.05/58.90 eprover: CPU time limit exceeded, terminating
% 61.13/60.91 eprover: CPU time limit exceeded, terminating
% 63.08/62.92 eprover: CPU time limit exceeded, terminating
% 65.17/64.93 eprover: CPU time limit exceeded, terminating
% 67.19/66.94 eprover: CPU time limit exceeded, terminating
% 69.18/68.95 eprover: CPU time limit exceeded, terminating
% 71.22/70.96 eprover: CPU time limit exceeded, terminating
% 73.29/72.97 eprover: CPU time limit exceeded, terminating
% 75.26/74.98 eprover: CPU time limit exceeded, terminating
% 77.29/76.99 eprover: CPU time limit exceeded, terminating
% 79.35/79.01 eprover: CPU time limit exceeded, terminating
% 81.38/81.02 eprover: CPU time limit exceeded, terminating
% 83.40/83.03 eprover: CPU time limit exceeded, terminating
% 85.39/85.04 eprover: CPU time limit exceeded, terminating
% 87.42/87.05 eprover: CPU time limit exceeded, terminating
% 89.40/89.06 eprover: CPU time limit exceeded, terminating
% 91.47/91.07 eprover: CPU time limit exceeded, terminating
% 93.52/93.08 eprover: CPU time limit exceeded, terminating
% 95.55/95.09 eprover: CPU time limit exceeded, terminating
% 97.58/97.10 eprover: CPU time limit exceeded, terminating
% 99.58/99.12 eprover: CPU time limit exceeded, terminating
% 101.64/101.13 eprover: CPU time limit exceeded, terminating
% 103.64/103.14 eprover: CPU time limit exceeded, terminating
% 105.64/105.15 eprover: CPU time limit exceeded, terminating
% 107.66/107.16 eprover: CPU time limit exceeded, terminating
% 109.65/109.17 eprover: CPU time limit exceeded, terminating
% 111.70/111.18 eprover: CPU time limit exceeded, terminating
% 113.78/113.19 eprover: CPU time limit exceeded, terminating
% 115.80/115.20 eprover: CPU time limit exceeded, terminating
% 117.78/117.22 eprover: CPU time limit exceeded, terminating
% 119.79/119.23 eprover: CPU time limit exceeded, terminating
% 121.81/121.24 eprover: CPU time limit exceeded, terminating
% 123.83/123.25 eprover: CPU time limit exceeded, terminating
% 125.91/125.26 eprover: CPU time limit exceeded, terminating
% 127.89/127.27 eprover: CPU time limit exceeded, terminating
% 129.95/129.28 eprover: CPU time limit exceeded, terminating
% 131.95/131.29 eprover: CPU time limit exceeded, terminating
% 134.01/133.30 eprover: CPU time limit exceeded, terminating
% 136.03/135.31 eprover: CPU time limit exceeded, terminating
% 138.03/137.32 eprover: CPU time limit exceeded, terminating
% 140.08/139.33 eprover: CPU time limit exceeded, terminating
% 142.10/141.34 eprover: CPU time limit exceeded, terminating
% 144.15/143.35 eprover: CPU time limit exceeded, terminating
% 146.12/145.36 eprover: CPU time limit exceeded, terminating
% 148.19/147.37 eprover: CPU time limit exceeded, terminating
% 150.22/149.39 eprover: CPU time limit exceeded, terminating
% 152.24/151.40 eprover: CPU time limit exceeded, terminating
% 154.26/153.41 eprover: CPU time limit exceeded, terminating
% 156.31/155.42 eprover: CPU time limit exceeded, terminating
% 158.31/157.43 eprover: CPU time limit exceeded, terminating
% 160.31/159.44 eprover: CPU time limit exceeded, terminating
% 162.33/161.45 eprover: CPU time limit exceeded, terminating
% 164.40/163.46 eprover: CPU time limit exceeded, terminating
% 166.37/165.47 eprover: CPU time limit exceeded, terminating
% 168.42/167.48 eprover: CPU time limit exceeded, terminating
% 170.40/169.49 eprover: CPU time limit exceeded, terminating
% 172.47/171.50 eprover: CPU time limit exceeded, terminating
% 174.51/173.51 eprover: CPU time limit exceeded, terminating
% 176.51/175.52 eprover: CPU time limit exceeded, terminating
% 178.49/177.53 eprover: CPU time limit exceeded, terminating
% 180.58/179.54 eprover: CPU time limit exceeded, terminating
% 182.58/181.55 eprover: CPU time limit exceeded, terminating
% 184.55/183.56 eprover: CPU time limit exceeded, terminating
% 186.67/185.57 eprover: CPU time limit exceeded, terminating
% 188.68/187.58 eprover: CPU time limit exceeded, terminating
% 190.70/189.59 eprover: CPU time limit exceeded, terminating
% 192.71/191.60 eprover: CPU time limit exceeded, terminating
% 194.75/193.61 eprover: CPU time limit exceeded, terminating
% 196.76/195.62 eprover: CPU time limit exceeded, terminating
% 198.77/197.64 eprover: CPU time limit exceeded, terminating
% 200.81/199.65 eprover: CPU time limit exceeded, terminating
% 202.84/201.66 eprover: CPU time limit exceeded, terminating
% 204.81/203.67 eprover: CPU time limit exceeded, terminating
% 206.85/205.68 eprover: CPU time limit exceeded, terminating
% 208.90/207.69 eprover: CPU time limit exceeded, terminating
% 210.93/209.70 eprover: CPU time limit exceeded, terminating
% 212.98/211.71 eprover: CPU time limit exceeded, terminating
% 214.99/213.72 eprover: CPU time limit exceeded, terminating
% 217.03/215.73 eprover: CPU time limit exceeded, terminating
% 219.02/217.74 eprover: CPU time limit exceeded, terminating
% 221.07/219.75 eprover: CPU time limit exceeded, terminating
% 223.09/221.76 eprover: CPU time limit exceeded, terminating
% 225.09/223.77 eprover: CPU time limit exceeded, terminating
% 227.14/225.78 eprover: CPU time limit exceeded, terminating
% 229.15/227.80 eprover: CPU time limit exceeded, terminating
% 231.16/229.81 eprover: CPU time limit exceeded, terminating
% 233.21/231.82 eprover: CPU time limit exceeded, terminating
% 235.21/233.83 eprover: CPU time limit exceeded, terminating
% 237.26/235.84 eprover: CPU time limit exceeded, terminating
% 239.24/237.86 eprover: CPU time limit exceeded, terminating
% 241.28/239.87 eprover: CPU time limit exceeded, terminating
% 243.33/241.88 eprover: CPU time limit exceeded, terminating
% 245.36/243.89 eprover: CPU time limit exceeded, terminating
% 247.34/245.90 eprover: CPU time limit exceeded, terminating
% 249.41/247.92 eprover: CPU time limit exceeded, terminating
% 251.42/249.93 eprover: CPU time limit exceeded, terminating
% 253.45/251.94 eprover: CPU time limit exceeded, terminating
% 255.44/253.95 eprover: CPU time limit exceeded, terminating
% 257.51/255.96 eprover: CPU time limit exceeded, terminating
% 259.48/257.98 eprover: CPU time limit exceeded, terminating
% 261.54/259.99 eprover: CPU time limit exceeded, terminating
% 263.55/262.00 eprover: CPU time limit exceeded, terminating
% 265.55/264.01 eprover: CPU time limit exceeded, terminating
% 267.55/266.03 eprover: CPU time limit exceeded, terminating
% 269.63/268.04 eprover: CPU time limit exceeded, terminating
% 271.61/270.05 eprover: CPU time limit exceeded, terminating
% 273.71/272.06 eprover: CPU time limit exceeded, terminating
% 275.73/274.08 eprover: CPU time limit exceeded, terminating
% 277.77/276.09 eprover: CPU time limit exceeded, terminating
% 279.76/278.10 eprover: CPU time limit exceeded, terminating
% 281.82/280.12 eprover: CPU time limit exceeded, terminating
% 283.86/282.13 eprover: CPU time limit exceeded, terminating
% 285.82/284.14 eprover: CPU time limit exceeded, terminating
% 287.90/286.16 eprover: CPU time limit exceeded, terminating
% 289.91/288.17 eprover: CPU time limit exceeded, terminating
% 291.95/290.18 eprover: CPU time limit exceeded, terminating
% 293.95/292.19 eprover: CPU time limit exceeded, terminating
% 295.99/294.21 eprover: CPU time limit exceeded, terminating
% 297.98/296.22 eprover: CPU time limit exceeded, terminating
% 300.07/298.23 eprover: CPU time limit exceeded, terminating
% 300.11/298.25 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------