TSTP Solution File: AGT042-10 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : AGT042-10 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n027.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:56 EDT 2022
% Result : Timeout 286.40s 283.98s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : AGT042-10 : TPTP v8.1.0. Released v7.3.0.
% 0.04/0.13 % Command : run_infinox %s
% 0.12/0.33 % Computer : n027.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 03:33:51 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.43/2.60 eprover: CPU time limit exceeded, terminating
% 4.41/4.61 eprover: CPU time limit exceeded, terminating
% 6.49/6.62 eprover: CPU time limit exceeded, terminating
% 8.47/8.63 eprover: CPU time limit exceeded, terminating
% 10.55/10.63 eprover: CPU time limit exceeded, terminating
% 12.54/12.64 eprover: CPU time limit exceeded, terminating
% 14.59/14.65 eprover: CPU time limit exceeded, terminating
% 16.63/16.66 eprover: CPU time limit exceeded, terminating
% 18.64/18.67 eprover: CPU time limit exceeded, terminating
% 20.66/20.68 eprover: CPU time limit exceeded, terminating
% 22.71/22.69 eprover: CPU time limit exceeded, terminating
% 24.70/24.70 eprover: CPU time limit exceeded, terminating
% 26.69/26.71 eprover: CPU time limit exceeded, terminating
% 28.76/28.72 eprover: CPU time limit exceeded, terminating
% 30.77/30.73 eprover: CPU time limit exceeded, terminating
% 32.83/32.74 eprover: CPU time limit exceeded, terminating
% 34.89/34.75 eprover: CPU time limit exceeded, terminating
% 36.89/36.76 eprover: CPU time limit exceeded, terminating
% 38.92/38.77 eprover: CPU time limit exceeded, terminating
% 40.95/40.78 eprover: CPU time limit exceeded, terminating
% 42.99/42.79 eprover: CPU time limit exceeded, terminating
% 44.97/44.80 eprover: CPU time limit exceeded, terminating
% 47.01/46.81 eprover: CPU time limit exceeded, terminating
% 49.07/48.82 eprover: CPU time limit exceeded, terminating
% 51.11/50.83 eprover: CPU time limit exceeded, terminating
% 53.12/52.84 eprover: CPU time limit exceeded, terminating
% 55.11/54.85 eprover: CPU time limit exceeded, terminating
% 57.17/56.86 eprover: CPU time limit exceeded, terminating
% 59.22/58.87 eprover: CPU time limit exceeded, terminating
% 61.21/60.88 eprover: CPU time limit exceeded, terminating
% 63.24/62.89 eprover: CPU time limit exceeded, terminating
% 65.25/64.90 eprover: CPU time limit exceeded, terminating
% 67.31/66.91 eprover: CPU time limit exceeded, terminating
% 69.34/68.92 eprover: CPU time limit exceeded, terminating
% 71.34/70.93 eprover: CPU time limit exceeded, terminating
% 73.37/72.94 eprover: CPU time limit exceeded, terminating
% 75.38/74.95 eprover: CPU time limit exceeded, terminating
% 77.48/76.95 eprover: CPU time limit exceeded, terminating
% 79.45/78.97 eprover: CPU time limit exceeded, terminating
% 81.52/80.98 eprover: CPU time limit exceeded, terminating
% 83.53/82.99 eprover: CPU time limit exceeded, terminating
% 85.52/85.00 eprover: CPU time limit exceeded, terminating
% 87.60/87.00 eprover: CPU time limit exceeded, terminating
% 89.55/89.02 eprover: CPU time limit exceeded, terminating
% 91.62/91.02 eprover: CPU time limit exceeded, terminating
% 93.70/93.03 eprover: CPU time limit exceeded, terminating
% 95.66/95.05 eprover: CPU time limit exceeded, terminating
% 97.74/97.06 eprover: CPU time limit exceeded, terminating
% 99.71/99.06 eprover: CPU time limit exceeded, terminating
% 101.79/101.08 eprover: CPU time limit exceeded, terminating
% 103.78/103.09 eprover: CPU time limit exceeded, terminating
% 105.88/105.10 eprover: CPU time limit exceeded, terminating
% 107.82/107.11 eprover: CPU time limit exceeded, terminating
% 109.92/109.12 eprover: CPU time limit exceeded, terminating
% 111.87/111.13 eprover: CPU time limit exceeded, terminating
% 113.96/113.14 eprover: CPU time limit exceeded, terminating
% 115.94/115.15 eprover: CPU time limit exceeded, terminating
% 117.99/117.16 eprover: CPU time limit exceeded, terminating
% 120.02/119.17 eprover: CPU time limit exceeded, terminating
% 122.06/121.18 eprover: CPU time limit exceeded, terminating
% 124.12/123.18 eprover: CPU time limit exceeded, terminating
% 126.14/125.19 eprover: CPU time limit exceeded, terminating
% 128.08/127.20 eprover: CPU time limit exceeded, terminating
% 130.20/129.21 eprover: CPU time limit exceeded, terminating
% 132.20/131.22 eprover: CPU time limit exceeded, terminating
% 134.23/133.23 eprover: CPU time limit exceeded, terminating
% 136.23/135.24 eprover: CPU time limit exceeded, terminating
% 138.28/137.25 eprover: CPU time limit exceeded, terminating
% 140.35/139.26 eprover: CPU time limit exceeded, terminating
% 142.33/141.27 eprover: CPU time limit exceeded, terminating
% 144.39/143.28 eprover: CPU time limit exceeded, terminating
% 146.37/145.29 eprover: CPU time limit exceeded, terminating
% 148.46/147.30 eprover: CPU time limit exceeded, terminating
% 150.43/149.31 eprover: CPU time limit exceeded, terminating
% 152.49/151.32 eprover: CPU time limit exceeded, terminating
% 154.52/153.33 eprover: CPU time limit exceeded, terminating
% 156.54/155.34 eprover: CPU time limit exceeded, terminating
% 158.53/157.35 eprover: CPU time limit exceeded, terminating
% 160.61/159.36 eprover: CPU time limit exceeded, terminating
% 162.61/161.37 eprover: CPU time limit exceeded, terminating
% 164.66/163.38 eprover: CPU time limit exceeded, terminating
% 166.72/165.39 eprover: CPU time limit exceeded, terminating
% 168.75/167.40 eprover: CPU time limit exceeded, terminating
% 170.75/169.41 eprover: CPU time limit exceeded, terminating
% 172.77/171.42 eprover: CPU time limit exceeded, terminating
% 174.80/173.43 eprover: CPU time limit exceeded, terminating
% 176.84/175.44 eprover: CPU time limit exceeded, terminating
% 178.80/177.45 eprover: CPU time limit exceeded, terminating
% 180.92/179.45 eprover: CPU time limit exceeded, terminating
% 182.94/181.46 eprover: CPU time limit exceeded, terminating
% 184.95/183.47 eprover: CPU time limit exceeded, terminating
% 186.98/185.48 eprover: CPU time limit exceeded, terminating
% 188.98/187.49 eprover: CPU time limit exceeded, terminating
% 191.03/189.50 eprover: CPU time limit exceeded, terminating
% 193.05/191.51 eprover: CPU time limit exceeded, terminating
% 195.04/193.52 eprover: CPU time limit exceeded, terminating
% 197.07/195.53 eprover: CPU time limit exceeded, terminating
% 199.16/197.54 eprover: CPU time limit exceeded, terminating
% 201.18/199.55 eprover: CPU time limit exceeded, terminating
% 203.22/201.56 eprover: CPU time limit exceeded, terminating
% 205.22/203.57 eprover: CPU time limit exceeded, terminating
% 207.25/205.57 eprover: CPU time limit exceeded, terminating
% 209.28/207.58 eprover: CPU time limit exceeded, terminating
% 211.32/209.59 eprover: CPU time limit exceeded, terminating
% 213.34/211.60 eprover: CPU time limit exceeded, terminating
% 215.40/213.61 eprover: CPU time limit exceeded, terminating
% 217.36/215.62 eprover: CPU time limit exceeded, terminating
% 219.38/217.63 eprover: CPU time limit exceeded, terminating
% 221.45/219.64 eprover: CPU time limit exceeded, terminating
% 223.47/221.65 eprover: CPU time limit exceeded, terminating
% 225.51/223.66 eprover: CPU time limit exceeded, terminating
% 227.54/225.67 eprover: CPU time limit exceeded, terminating
% 229.55/227.68 eprover: CPU time limit exceeded, terminating
% 231.61/229.69 eprover: CPU time limit exceeded, terminating
% 233.61/231.70 eprover: CPU time limit exceeded, terminating
% 235.67/233.71 eprover: CPU time limit exceeded, terminating
% 237.67/235.72 eprover: CPU time limit exceeded, terminating
% 239.67/237.73 eprover: CPU time limit exceeded, terminating
% 241.76/239.74 eprover: CPU time limit exceeded, terminating
% 243.77/241.75 eprover: CPU time limit exceeded, terminating
% 245.80/243.76 eprover: CPU time limit exceeded, terminating
% 247.81/245.78 eprover: CPU time limit exceeded, terminating
% 249.86/247.79 eprover: CPU time limit exceeded, terminating
% 251.91/249.80 eprover: CPU time limit exceeded, terminating
% 253.88/251.81 eprover: CPU time limit exceeded, terminating
% 255.97/253.82 eprover: CPU time limit exceeded, terminating
% 257.94/255.83 eprover: CPU time limit exceeded, terminating
% 260.02/257.84 eprover: CPU time limit exceeded, terminating
% 262.03/259.85 eprover: CPU time limit exceeded, terminating
% 264.07/261.86 eprover: CPU time limit exceeded, terminating
% 266.09/263.87 eprover: CPU time limit exceeded, terminating
% 268.11/265.88 eprover: CPU time limit exceeded, terminating
% 270.13/267.89 eprover: CPU time limit exceeded, terminating
% 272.18/269.90 eprover: CPU time limit exceeded, terminating
% 274.16/271.91 eprover: CPU time limit exceeded, terminating
% 276.25/273.92 eprover: CPU time limit exceeded, terminating
% 278.23/275.94 eprover: CPU time limit exceeded, terminating
% 280.29/277.95 eprover: CPU time limit exceeded, terminating
% 282.33/279.96 eprover: CPU time limit exceeded, terminating
% 284.36/281.97 eprover: CPU time limit exceeded, terminating
% 286.40/283.98 eprover: CPU time limit exceeded, terminating
% 288.38/285.99 eprover: CPU time limit exceeded, terminating
% 290.43/287.99 eprover: CPU time limit exceeded, terminating
% 292.46/290.00 eprover: CPU time limit exceeded, terminating
% 294.43/292.01 eprover: CPU time limit exceeded, terminating
% 296.47/294.02 eprover: CPU time limit exceeded, terminating
% 298.50/296.03 eprover: CPU time limit exceeded, terminating
% 300.01/297.47 eprover: CPU time limit exceeded, terminating
% 300.01/297.49 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------