TSTP Solution File: AGT009+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : AGT009+1 : TPTP v8.1.0. Bugfixed v3.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n025.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 286.12s 284.31s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : AGT009+1 : TPTP v8.1.0. Bugfixed v3.1.0.
% 0.06/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n025.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 03:16:01 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.41/2.58 eprover: CPU time limit exceeded, terminating
% 4.41/4.59 eprover: CPU time limit exceeded, terminating
% 6.39/6.60 eprover: CPU time limit exceeded, terminating
% 8.43/8.61 eprover: CPU time limit exceeded, terminating
% 10.50/10.62 eprover: CPU time limit exceeded, terminating
% 12.49/12.63 eprover: CPU time limit exceeded, terminating
% 14.52/14.64 eprover: CPU time limit exceeded, terminating
% 16.57/16.68 eprover: CPU time limit exceeded, terminating
% 18.55/18.70 eprover: CPU time limit exceeded, terminating
% 20.60/20.71 eprover: CPU time limit exceeded, terminating
% 22.66/22.72 eprover: CPU time limit exceeded, terminating
% 24.70/24.73 eprover: CPU time limit exceeded, terminating
% 26.68/26.74 eprover: CPU time limit exceeded, terminating
% 28.72/28.75 eprover: CPU time limit exceeded, terminating
% 30.79/30.76 eprover: CPU time limit exceeded, terminating
% 32.75/32.78 eprover: CPU time limit exceeded, terminating
% 34.80/34.79 eprover: CPU time limit exceeded, terminating
% 36.86/36.80 eprover: CPU time limit exceeded, terminating
% 38.86/38.81 eprover: CPU time limit exceeded, terminating
% 40.91/40.82 eprover: CPU time limit exceeded, terminating
% 42.92/42.83 eprover: CPU time limit exceeded, terminating
% 44.96/44.85 eprover: CPU time limit exceeded, terminating
% 46.93/46.86 eprover: CPU time limit exceeded, terminating
% 48.99/48.87 eprover: CPU time limit exceeded, terminating
% 51.07/50.88 eprover: CPU time limit exceeded, terminating
% 53.09/52.89 eprover: CPU time limit exceeded, terminating
% 55.11/54.91 eprover: CPU time limit exceeded, terminating
% 57.10/56.92 eprover: CPU time limit exceeded, terminating
% 59.11/58.93 eprover: CPU time limit exceeded, terminating
% 61.17/60.94 eprover: CPU time limit exceeded, terminating
% 63.18/62.95 eprover: CPU time limit exceeded, terminating
% 65.19/64.97 eprover: CPU time limit exceeded, terminating
% 67.22/66.98 eprover: CPU time limit exceeded, terminating
% 69.20/68.99 eprover: CPU time limit exceeded, terminating
% 71.28/71.00 eprover: CPU time limit exceeded, terminating
% 73.33/73.02 eprover: CPU time limit exceeded, terminating
% 75.31/75.03 eprover: CPU time limit exceeded, terminating
% 77.37/77.04 eprover: CPU time limit exceeded, terminating
% 79.41/79.06 eprover: CPU time limit exceeded, terminating
% 81.40/81.07 eprover: CPU time limit exceeded, terminating
% 83.48/83.08 eprover: CPU time limit exceeded, terminating
% 85.43/85.09 eprover: CPU time limit exceeded, terminating
% 87.45/87.11 eprover: CPU time limit exceeded, terminating
% 89.56/89.12 eprover: CPU time limit exceeded, terminating
% 91.56/91.13 eprover: CPU time limit exceeded, terminating
% 93.56/93.14 eprover: CPU time limit exceeded, terminating
% 95.59/95.15 eprover: CPU time limit exceeded, terminating
% 97.63/97.16 eprover: CPU time limit exceeded, terminating
% 99.63/99.17 eprover: CPU time limit exceeded, terminating
% 101.71/101.18 eprover: CPU time limit exceeded, terminating
% 103.74/103.19 eprover: CPU time limit exceeded, terminating
% 105.75/105.20 eprover: CPU time limit exceeded, terminating
% 107.78/107.21 eprover: CPU time limit exceeded, terminating
% 109.78/109.23 eprover: CPU time limit exceeded, terminating
% 111.81/111.24 eprover: CPU time limit exceeded, terminating
% 113.80/113.25 eprover: CPU time limit exceeded, terminating
% 115.85/115.26 eprover: CPU time limit exceeded, terminating
% 117.85/117.27 eprover: CPU time limit exceeded, terminating
% 119.85/119.28 eprover: CPU time limit exceeded, terminating
% 121.97/121.29 eprover: CPU time limit exceeded, terminating
% 123.88/123.30 eprover: CPU time limit exceeded, terminating
% 125.96/125.31 eprover: CPU time limit exceeded, terminating
% 128.02/127.33 eprover: CPU time limit exceeded, terminating
% 130.04/129.34 eprover: CPU time limit exceeded, terminating
% 132.04/131.35 eprover: CPU time limit exceeded, terminating
% 134.05/133.36 eprover: CPU time limit exceeded, terminating
% 136.11/135.38 eprover: CPU time limit exceeded, terminating
% 138.17/137.39 eprover: CPU time limit exceeded, terminating
% 140.18/139.41 eprover: CPU time limit exceeded, terminating
% 142.19/141.42 eprover: CPU time limit exceeded, terminating
% 144.22/143.43 eprover: CPU time limit exceeded, terminating
% 146.26/145.45 eprover: CPU time limit exceeded, terminating
% 148.25/147.46 eprover: CPU time limit exceeded, terminating
% 150.29/149.47 eprover: CPU time limit exceeded, terminating
% 152.30/151.48 eprover: CPU time limit exceeded, terminating
% 154.36/153.49 eprover: CPU time limit exceeded, terminating
% 156.31/155.51 eprover: CPU time limit exceeded, terminating
% 158.42/157.52 eprover: CPU time limit exceeded, terminating
% 160.46/159.53 eprover: CPU time limit exceeded, terminating
% 162.45/161.54 eprover: CPU time limit exceeded, terminating
% 164.44/163.56 eprover: CPU time limit exceeded, terminating
% 166.48/165.57 eprover: CPU time limit exceeded, terminating
% 168.52/167.58 eprover: CPU time limit exceeded, terminating
% 170.59/169.59 eprover: CPU time limit exceeded, terminating
% 172.60/171.60 eprover: CPU time limit exceeded, terminating
% 174.63/173.62 eprover: CPU time limit exceeded, terminating
% 176.68/175.63 eprover: CPU time limit exceeded, terminating
% 178.65/177.64 eprover: CPU time limit exceeded, terminating
% 180.68/179.65 eprover: CPU time limit exceeded, terminating
% 182.71/181.67 eprover: CPU time limit exceeded, terminating
% 184.70/183.68 eprover: CPU time limit exceeded, terminating
% 186.74/185.69 eprover: CPU time limit exceeded, terminating
% 188.83/187.70 eprover: CPU time limit exceeded, terminating
% 190.83/189.71 eprover: CPU time limit exceeded, terminating
% 192.83/191.73 eprover: CPU time limit exceeded, terminating
% 194.87/193.74 eprover: CPU time limit exceeded, terminating
% 196.89/195.75 eprover: CPU time limit exceeded, terminating
% 198.93/197.76 eprover: CPU time limit exceeded, terminating
% 200.91/199.78 eprover: CPU time limit exceeded, terminating
% 203.01/201.79 eprover: CPU time limit exceeded, terminating
% 204.92/203.80 eprover: CPU time limit exceeded, terminating
% 207.02/205.82 eprover: CPU time limit exceeded, terminating
% 209.07/207.83 eprover: CPU time limit exceeded, terminating
% 211.11/209.84 eprover: CPU time limit exceeded, terminating
% 213.09/211.86 eprover: CPU time limit exceeded, terminating
% 215.17/213.87 eprover: CPU time limit exceeded, terminating
% 217.13/215.88 eprover: CPU time limit exceeded, terminating
% 219.16/217.89 eprover: CPU time limit exceeded, terminating
% 221.24/219.90 eprover: CPU time limit exceeded, terminating
% 223.26/221.92 eprover: CPU time limit exceeded, terminating
% 225.30/223.93 eprover: CPU time limit exceeded, terminating
% 227.33/225.94 eprover: CPU time limit exceeded, terminating
% 229.31/227.95 eprover: CPU time limit exceeded, terminating
% 231.39/229.97 eprover: CPU time limit exceeded, terminating
% 233.33/231.98 eprover: CPU time limit exceeded, terminating
% 235.39/233.99 eprover: CPU time limit exceeded, terminating
% 237.46/236.01 eprover: CPU time limit exceeded, terminating
% 239.48/238.02 eprover: CPU time limit exceeded, terminating
% 241.51/240.03 eprover: CPU time limit exceeded, terminating
% 243.50/242.05 eprover: CPU time limit exceeded, terminating
% 245.50/244.06 eprover: CPU time limit exceeded, terminating
% 247.53/246.07 eprover: CPU time limit exceeded, terminating
% 249.63/248.08 eprover: CPU time limit exceeded, terminating
% 251.63/250.09 eprover: CPU time limit exceeded, terminating
% 253.60/252.11 eprover: CPU time limit exceeded, terminating
% 255.70/254.12 eprover: CPU time limit exceeded, terminating
% 257.69/256.14 eprover: CPU time limit exceeded, terminating
% 259.74/258.15 eprover: CPU time limit exceeded, terminating
% 261.73/260.16 eprover: CPU time limit exceeded, terminating
% 263.74/262.18 eprover: CPU time limit exceeded, terminating
% 265.84/264.19 eprover: CPU time limit exceeded, terminating
% 267.80/266.20 eprover: CPU time limit exceeded, terminating
% 269.90/268.21 eprover: CPU time limit exceeded, terminating
% 271.90/270.23 eprover: CPU time limit exceeded, terminating
% 273.91/272.24 eprover: CPU time limit exceeded, terminating
% 275.96/274.25 eprover: CPU time limit exceeded, terminating
% 277.97/276.26 eprover: CPU time limit exceeded, terminating
% 279.96/278.27 eprover: CPU time limit exceeded, terminating
% 282.06/280.29 eprover: CPU time limit exceeded, terminating
% 284.01/282.30 eprover: CPU time limit exceeded, terminating
% 286.12/284.31 eprover: CPU time limit exceeded, terminating
% 288.11/286.33 eprover: CPU time limit exceeded, terminating
% 290.13/288.34 eprover: CPU time limit exceeded, terminating
% 292.19/290.35 eprover: CPU time limit exceeded, terminating
% 294.17/292.36 eprover: CPU time limit exceeded, terminating
% 296.18/294.38 eprover: CPU time limit exceeded, terminating
% 298.20/296.39 eprover: CPU time limit exceeded, terminating
% 300.02/298.12 eprover: CPU time limit exceeded, terminating
% 300.02/298.14 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------