TSTP Solution File: SWB027+1 by Infinox---1.0

View Problem - Process Solution

%------------------------------------------------------------------------------
% File     : Infinox---1.0
% Problem  : SWB027+1 : TPTP v7.0.0. Released v5.2.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : run_infinox %s

% Computer : n087.star.cs.uiowa.edu
% Model    : x86_64 x86_64
% CPU      : Intel(R) Xeon(R) CPU E5-2609 0 2.40GHz
% Memory   : 32218.625MB
% OS       : Linux 3.10.0-693.2.2.el7.x86_64
% CPULimit : 300s
% DateTime : Tue Jan 16 14:18:06 EST 2018

% Result   : Timeout 286.27s
% Output   : None 
% Verified : 
% SZS Type : None (Parsing solution fails)
% Syntax   : Number of formulae    : 0

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.04  % Problem  : SWB027+1 : TPTP v7.0.0. Released v5.2.0.
% 0.00/0.04  % Command  : run_infinox %s
% 0.02/0.24  % Computer : n087.star.cs.uiowa.edu
% 0.02/0.24  % Model    : x86_64 x86_64
% 0.02/0.24  % CPU      : Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz
% 0.02/0.24  % Memory   : 32218.625MB
% 0.02/0.24  % OS       : Linux 3.10.0-693.2.2.el7.x86_64
% 0.02/0.24  % CPULimit : 300
% 0.02/0.24  % DateTime : Tue Jan  9 19:34:42 CST 2018
% 0.02/0.24  % CPUTime  : 
% 3.05/3.24  eprover: CPU time limit exceeded, terminating
% 5.04/5.25  eprover: CPU time limit exceeded, terminating
% 7.07/7.25  eprover: CPU time limit exceeded, terminating
% 9.13/9.26  eprover: CPU time limit exceeded, terminating
% 11.10/11.27  eprover: CPU time limit exceeded, terminating
% 13.13/13.27  eprover: CPU time limit exceeded, terminating
% 15.17/15.28  eprover: CPU time limit exceeded, terminating
% 17.20/17.29  eprover: CPU time limit exceeded, terminating
% 19.18/19.29  eprover: CPU time limit exceeded, terminating
% 21.26/21.30  eprover: CPU time limit exceeded, terminating
% 23.23/23.31  eprover: CPU time limit exceeded, terminating
% 25.31/25.31  eprover: CPU time limit exceeded, terminating
% 27.30/27.32  eprover: CPU time limit exceeded, terminating
% 29.32/29.33  eprover: CPU time limit exceeded, terminating
% 31.36/31.33  eprover: CPU time limit exceeded, terminating
% 33.36/33.34  eprover: CPU time limit exceeded, terminating
% 35.38/35.35  eprover: CPU time limit exceeded, terminating
% 37.42/37.35  eprover: CPU time limit exceeded, terminating
% 39.47/39.36  eprover: CPU time limit exceeded, terminating
% 41.44/41.37  eprover: CPU time limit exceeded, terminating
% 43.47/43.37  eprover: CPU time limit exceeded, terminating
% 45.55/45.38  eprover: CPU time limit exceeded, terminating
% 47.56/47.39  eprover: CPU time limit exceeded, terminating
% 49.52/49.39  eprover: CPU time limit exceeded, terminating
% 51.59/51.40  eprover: CPU time limit exceeded, terminating
% 53.60/53.41  eprover: CPU time limit exceeded, terminating
% 55.66/55.41  eprover: CPU time limit exceeded, terminating
% 57.67/57.42  eprover: CPU time limit exceeded, terminating
% 59.65/59.43  eprover: CPU time limit exceeded, terminating
% 61.71/61.43  eprover: CPU time limit exceeded, terminating
% 63.73/63.44  eprover: CPU time limit exceeded, terminating
% 65.70/65.45  eprover: CPU time limit exceeded, terminating
% 67.74/67.45  eprover: CPU time limit exceeded, terminating
% 69.78/69.46  eprover: CPU time limit exceeded, terminating
% 71.85/71.47  eprover: CPU time limit exceeded, terminating
% 73.79/73.47  eprover: CPU time limit exceeded, terminating
% 75.84/75.48  eprover: CPU time limit exceeded, terminating
% 77.91/77.49  eprover: CPU time limit exceeded, terminating
% 79.91/79.50  eprover: CPU time limit exceeded, terminating
% 81.88/81.50  eprover: CPU time limit exceeded, terminating
% 83.96/83.51  eprover: CPU time limit exceeded, terminating
% 85.96/85.52  eprover: CPU time limit exceeded, terminating
% 88.02/87.52  eprover: CPU time limit exceeded, terminating
% 90.05/89.53  eprover: CPU time limit exceeded, terminating
% 92.00/91.54  eprover: CPU time limit exceeded, terminating
% 94.05/93.54  eprover: CPU time limit exceeded, terminating
% 96.11/95.55  eprover: CPU time limit exceeded, terminating
% 98.08/97.56  eprover: CPU time limit exceeded, terminating
% 100.10/99.57  eprover: CPU time limit exceeded, terminating
% 102.14/101.57  eprover: CPU time limit exceeded, terminating
% 104.19/103.58  eprover: CPU time limit exceeded, terminating
% 106.23/105.59  eprover: CPU time limit exceeded, terminating
% 108.20/107.59  eprover: CPU time limit exceeded, terminating
% 110.27/109.60  eprover: CPU time limit exceeded, terminating
% 112.27/111.61  eprover: CPU time limit exceeded, terminating
% 114.32/113.61  eprover: CPU time limit exceeded, terminating
% 116.35/115.62  eprover: CPU time limit exceeded, terminating
% 118.32/117.63  eprover: CPU time limit exceeded, terminating
% 120.37/119.64  eprover: CPU time limit exceeded, terminating
% 122.41/121.64  eprover: CPU time limit exceeded, terminating
% 124.36/123.65  eprover: CPU time limit exceeded, terminating
% 126.42/125.66  eprover: CPU time limit exceeded, terminating
% 128.45/127.66  eprover: CPU time limit exceeded, terminating
% 130.50/129.67  eprover: CPU time limit exceeded, terminating
% 132.53/131.68  eprover: CPU time limit exceeded, terminating
% 134.49/133.68  eprover: CPU time limit exceeded, terminating
% 136.56/135.69  eprover: CPU time limit exceeded, terminating
% 138.60/137.70  eprover: CPU time limit exceeded, terminating
% 140.55/139.70  eprover: CPU time limit exceeded, terminating
% 142.62/141.71  eprover: CPU time limit exceeded, terminating
% 144.64/143.72  eprover: CPU time limit exceeded, terminating
% 146.68/145.73  eprover: CPU time limit exceeded, terminating
% 148.72/147.73  eprover: CPU time limit exceeded, terminating
% 150.68/149.74  eprover: CPU time limit exceeded, terminating
% 152.74/151.75  eprover: CPU time limit exceeded, terminating
% 154.75/153.75  eprover: CPU time limit exceeded, terminating
% 156.73/155.76  eprover: CPU time limit exceeded, terminating
% 158.79/157.77  eprover: CPU time limit exceeded, terminating
% 160.80/159.77  eprover: CPU time limit exceeded, terminating
% 162.87/161.78  eprover: CPU time limit exceeded, terminating
% 164.90/163.79  eprover: CPU time limit exceeded, terminating
% 166.85/165.79  eprover: CPU time limit exceeded, terminating
% 168.93/167.80  eprover: CPU time limit exceeded, terminating
% 170.94/169.81  eprover: CPU time limit exceeded, terminating
% 172.98/171.82  eprover: CPU time limit exceeded, terminating
% 175.02/173.82  eprover: CPU time limit exceeded, terminating
% 176.97/175.83  eprover: CPU time limit exceeded, terminating
% 179.04/177.84  eprover: CPU time limit exceeded, terminating
% 181.09/179.84  eprover: CPU time limit exceeded, terminating
% 183.11/181.85  eprover: CPU time limit exceeded, terminating
% 185.09/183.86  eprover: CPU time limit exceeded, terminating
% 187.16/185.91  eprover: CPU time limit exceeded, terminating
% 189.14/187.92  eprover: CPU time limit exceeded, terminating
% 191.14/189.92  eprover: CPU time limit exceeded, terminating
% 193.21/191.93  eprover: CPU time limit exceeded, terminating
% 195.23/193.94  eprover: CPU time limit exceeded, terminating
% 197.18/195.95  eprover: CPU time limit exceeded, terminating
% 199.25/197.96  eprover: CPU time limit exceeded, terminating
% 201.29/199.97  eprover: CPU time limit exceeded, terminating
% 203.32/201.98  eprover: CPU time limit exceeded, terminating
% 205.36/203.98  eprover: CPU time limit exceeded, terminating
% 207.33/205.99  eprover: CPU time limit exceeded, terminating
% 209.38/208.00  eprover: CPU time limit exceeded, terminating
% 211.40/210.01  eprover: CPU time limit exceeded, terminating
% 213.45/212.01  eprover: CPU time limit exceeded, terminating
% 215.42/214.02  eprover: CPU time limit exceeded, terminating
% 217.50/216.09  eprover: CPU time limit exceeded, terminating
% 219.49/218.09  eprover: CPU time limit exceeded, terminating
% 221.48/220.10  eprover: CPU time limit exceeded, terminating
% 223.55/222.11  eprover: CPU time limit exceeded, terminating
% 225.54/224.12  eprover: CPU time limit exceeded, terminating
% 227.59/226.20  eprover: CPU time limit exceeded, terminating
% 229.58/228.21  eprover: CPU time limit exceeded, terminating
% 231.63/230.21  eprover: CPU time limit exceeded, terminating
% 233.62/232.23  eprover: CPU time limit exceeded, terminating
% 235.69/234.24  eprover: CPU time limit exceeded, terminating
% 237.72/236.25  eprover: CPU time limit exceeded, terminating
% 239.75/238.25  eprover: CPU time limit exceeded, terminating
% 241.74/240.26  eprover: CPU time limit exceeded, terminating
% 243.78/242.27  eprover: CPU time limit exceeded, terminating
% 245.79/244.27  eprover: CPU time limit exceeded, terminating
% 247.84/246.28  eprover: CPU time limit exceeded, terminating
% 249.84/248.29  eprover: CPU time limit exceeded, terminating
% 251.87/250.29  eprover: CPU time limit exceeded, terminating
% 253.89/252.30  eprover: CPU time limit exceeded, terminating
% 255.90/254.31  eprover: CPU time limit exceeded, terminating
% 257.93/256.31  eprover: CPU time limit exceeded, terminating
% 259.93/258.32  eprover: CPU time limit exceeded, terminating
% 262.00/260.32  eprover: CPU time limit exceeded, terminating
% 264.01/262.33  eprover: CPU time limit exceeded, terminating
% 265.97/264.34  eprover: CPU time limit exceeded, terminating
% 268.04/266.34  eprover: CPU time limit exceeded, terminating
% 270.10/268.35  eprover: CPU time limit exceeded, terminating
% 272.09/270.36  eprover: CPU time limit exceeded, terminating
% 274.10/272.41  eprover: CPU time limit exceeded, terminating
% 276.17/274.42  eprover: CPU time limit exceeded, terminating
% 278.18/276.42  eprover: CPU time limit exceeded, terminating
% 280.15/278.43  eprover: CPU time limit exceeded, terminating
% 282.23/280.44  eprover: CPU time limit exceeded, terminating
% 284.26/282.45  eprover: CPU time limit exceeded, terminating
% 286.27/284.45  eprover: CPU time limit exceeded, terminating
% 288.28/286.46  eprover: CPU time limit exceeded, terminating
% 290.29/288.47  eprover: CPU time limit exceeded, terminating
% 292.35/290.47  eprover: CPU time limit exceeded, terminating
% 294.39/292.48  eprover: CPU time limit exceeded, terminating
% 296.36/294.49  eprover: CPU time limit exceeded, terminating
% 298.40/296.49  eprover: CPU time limit exceeded, terminating
% 300.07/298.12  eprover: CPU time limit exceeded, terminating
% 300.07/298.14  Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------