TSTP Solution File: SWB008+3 by Infinox---1.0

View Problem - Process Solution

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

% Computer : n171.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:02 EST 2018

% Result   : Timeout 286.00s
% 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  : SWB008+3 : TPTP v7.0.0. Released v5.2.0.
% 0.00/0.04  % Command  : run_infinox %s
% 0.02/0.23  % Computer : n171.star.cs.uiowa.edu
% 0.02/0.23  % Model    : x86_64 x86_64
% 0.02/0.23  % CPU      : Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz
% 0.02/0.23  % Memory   : 32218.625MB
% 0.02/0.23  % OS       : Linux 3.10.0-693.2.2.el7.x86_64
% 0.02/0.23  % CPULimit : 300
% 0.02/0.23  % DateTime : Tue Jan  9 19:35:57 CST 2018
% 0.02/0.25  % CPUTime  : 
% 2.20/2.40  eprover: CPU time limit exceeded, terminating
% 4.16/4.41  eprover: CPU time limit exceeded, terminating
% 6.17/6.42  eprover: CPU time limit exceeded, terminating
% 8.20/8.43  eprover: CPU time limit exceeded, terminating
% 10.22/10.44  eprover: CPU time limit exceeded, terminating
% 12.17/12.45  eprover: CPU time limit exceeded, terminating
% 14.23/14.45  eprover: CPU time limit exceeded, terminating
% 16.26/16.46  eprover: CPU time limit exceeded, terminating
% 18.27/18.47  eprover: CPU time limit exceeded, terminating
% 20.29/20.48  eprover: CPU time limit exceeded, terminating
% 22.27/22.49  eprover: CPU time limit exceeded, terminating
% 24.31/24.50  eprover: CPU time limit exceeded, terminating
% 26.28/26.54  eprover: CPU time limit exceeded, terminating
% 28.32/28.55  eprover: CPU time limit exceeded, terminating
% 30.33/30.57  eprover: CPU time limit exceeded, terminating
% 32.37/32.58  eprover: CPU time limit exceeded, terminating
% 34.35/34.59  eprover: CPU time limit exceeded, terminating
% 36.39/36.59  eprover: CPU time limit exceeded, terminating
% 38.41/38.60  eprover: CPU time limit exceeded, terminating
% 40.40/40.62  eprover: CPU time limit exceeded, terminating
% 42.36/42.62  eprover: CPU time limit exceeded, terminating
% 44.40/44.63  eprover: CPU time limit exceeded, terminating
% 46.46/46.64  eprover: CPU time limit exceeded, terminating
% 48.46/48.65  eprover: CPU time limit exceeded, terminating
% 50.44/50.66  eprover: CPU time limit exceeded, terminating
% 52.47/52.67  eprover: CPU time limit exceeded, terminating
% 54.52/54.68  eprover: CPU time limit exceeded, terminating
% 56.47/56.69  eprover: CPU time limit exceeded, terminating
% 58.52/58.70  eprover: CPU time limit exceeded, terminating
% 60.55/60.71  eprover: CPU time limit exceeded, terminating
% 62.54/62.71  eprover: CPU time limit exceeded, terminating
% 64.60/64.72  eprover: CPU time limit exceeded, terminating
% 66.56/66.74  eprover: CPU time limit exceeded, terminating
% 68.58/68.75  eprover: CPU time limit exceeded, terminating
% 70.57/70.76  eprover: CPU time limit exceeded, terminating
% 72.60/72.77  eprover: CPU time limit exceeded, terminating
% 74.59/74.78  eprover: CPU time limit exceeded, terminating
% 76.61/76.79  eprover: CPU time limit exceeded, terminating
% 78.67/78.80  eprover: CPU time limit exceeded, terminating
% 80.61/80.81  eprover: CPU time limit exceeded, terminating
% 82.66/82.82  eprover: CPU time limit exceeded, terminating
% 84.72/84.83  eprover: CPU time limit exceeded, terminating
% 86.68/86.83  eprover: CPU time limit exceeded, terminating
% 88.74/88.84  eprover: CPU time limit exceeded, terminating
% 90.72/90.85  eprover: CPU time limit exceeded, terminating
% 92.74/92.86  eprover: CPU time limit exceeded, terminating
% 94.70/94.87  eprover: CPU time limit exceeded, terminating
% 96.75/96.88  eprover: CPU time limit exceeded, terminating
% 98.82/98.88  eprover: CPU time limit exceeded, terminating
% 100.75/100.89  eprover: CPU time limit exceeded, terminating
% 102.76/102.90  eprover: CPU time limit exceeded, terminating
% 104.83/104.91  eprover: CPU time limit exceeded, terminating
% 106.83/106.92  eprover: CPU time limit exceeded, terminating
% 108.85/108.93  eprover: CPU time limit exceeded, terminating
% 110.89/110.93  eprover: CPU time limit exceeded, terminating
% 112.84/112.94  eprover: CPU time limit exceeded, terminating
% 114.87/114.95  eprover: CPU time limit exceeded, terminating
% 116.90/116.96  eprover: CPU time limit exceeded, terminating
% 118.86/118.97  eprover: CPU time limit exceeded, terminating
% 120.90/120.98  eprover: CPU time limit exceeded, terminating
% 122.91/122.99  eprover: CPU time limit exceeded, terminating
% 124.97/124.99  eprover: CPU time limit exceeded, terminating
% 126.97/127.00  eprover: CPU time limit exceeded, terminating
% 128.99/129.01  eprover: CPU time limit exceeded, terminating
% 131.01/131.02  eprover: CPU time limit exceeded, terminating
% 133.00/133.03  eprover: CPU time limit exceeded, terminating
% 135.00/135.04  eprover: CPU time limit exceeded, terminating
% 137.04/137.05  eprover: CPU time limit exceeded, terminating
% 138.99/139.06  eprover: CPU time limit exceeded, terminating
% 141.03/141.07  eprover: CPU time limit exceeded, terminating
% 143.05/143.08  eprover: CPU time limit exceeded, terminating
% 145.08/145.09  eprover: CPU time limit exceeded, terminating
% 147.10/147.10  eprover: CPU time limit exceeded, terminating
% 149.06/149.11  eprover: CPU time limit exceeded, terminating
% 151.11/151.12  eprover: CPU time limit exceeded, terminating
% 153.13/153.12  eprover: CPU time limit exceeded, terminating
% 155.15/155.13  eprover: CPU time limit exceeded, terminating
% 157.18/157.14  eprover: CPU time limit exceeded, terminating
% 159.13/159.15  eprover: CPU time limit exceeded, terminating
% 161.17/161.16  eprover: CPU time limit exceeded, terminating
% 163.18/163.17  eprover: CPU time limit exceeded, terminating
% 165.23/165.18  eprover: CPU time limit exceeded, terminating
% 167.24/167.19  eprover: CPU time limit exceeded, terminating
% 169.19/169.20  eprover: CPU time limit exceeded, terminating
% 171.27/171.21  eprover: CPU time limit exceeded, terminating
% 173.26/173.21  eprover: CPU time limit exceeded, terminating
% 175.29/175.22  eprover: CPU time limit exceeded, terminating
% 177.32/177.23  eprover: CPU time limit exceeded, terminating
% 179.29/179.24  eprover: CPU time limit exceeded, terminating
% 181.30/181.25  eprover: CPU time limit exceeded, terminating
% 183.34/183.26  eprover: CPU time limit exceeded, terminating
% 185.28/185.26  eprover: CPU time limit exceeded, terminating
% 187.37/187.27  eprover: CPU time limit exceeded, terminating
% 189.34/189.28  eprover: CPU time limit exceeded, terminating
% 191.38/191.29  eprover: CPU time limit exceeded, terminating
% 193.40/193.30  eprover: CPU time limit exceeded, terminating
% 195.34/195.31  eprover: CPU time limit exceeded, terminating
% 197.42/197.32  eprover: CPU time limit exceeded, terminating
% 199.43/199.32  eprover: CPU time limit exceeded, terminating
% 201.45/201.33  eprover: CPU time limit exceeded, terminating
% 203.47/203.34  eprover: CPU time limit exceeded, terminating
% 205.44/205.35  eprover: CPU time limit exceeded, terminating
% 207.46/207.36  eprover: CPU time limit exceeded, terminating
% 209.48/209.36  eprover: CPU time limit exceeded, terminating
% 211.44/211.37  eprover: CPU time limit exceeded, terminating
% 213.53/213.38  eprover: CPU time limit exceeded, terminating
% 215.48/215.38  eprover: CPU time limit exceeded, terminating
% 217.56/217.39  eprover: CPU time limit exceeded, terminating
% 219.50/219.40  eprover: CPU time limit exceeded, terminating
% 221.58/221.41  eprover: CPU time limit exceeded, terminating
% 223.60/223.42  eprover: CPU time limit exceeded, terminating
% 225.60/225.43  eprover: CPU time limit exceeded, terminating
% 227.61/227.44  eprover: CPU time limit exceeded, terminating
% 229.61/229.45  eprover: CPU time limit exceeded, terminating
% 231.58/231.46  eprover: CPU time limit exceeded, terminating
% 233.62/233.46  eprover: CPU time limit exceeded, terminating
% 235.62/235.47  eprover: CPU time limit exceeded, terminating
% 237.65/237.48  eprover: CPU time limit exceeded, terminating
% 239.69/239.49  eprover: CPU time limit exceeded, terminating
% 241.63/241.50  eprover: CPU time limit exceeded, terminating
% 243.69/243.51  eprover: CPU time limit exceeded, terminating
% 245.73/245.52  eprover: CPU time limit exceeded, terminating
% 247.70/247.53  eprover: CPU time limit exceeded, terminating
% 249.74/249.54  eprover: CPU time limit exceeded, terminating
% 251.71/251.55  eprover: CPU time limit exceeded, terminating
% 253.72/253.56  eprover: CPU time limit exceeded, terminating
% 255.72/255.56  eprover: CPU time limit exceeded, terminating
% 257.74/257.57  eprover: CPU time limit exceeded, terminating
% 259.82/259.58  eprover: CPU time limit exceeded, terminating
% 261.77/261.59  eprover: CPU time limit exceeded, terminating
% 263.84/263.60  eprover: CPU time limit exceeded, terminating
% 265.86/265.61  eprover: CPU time limit exceeded, terminating
% 267.86/267.62  eprover: CPU time limit exceeded, terminating
% 269.85/269.63  eprover: CPU time limit exceeded, terminating
% 271.87/271.64  eprover: CPU time limit exceeded, terminating
% 273.88/273.65  eprover: CPU time limit exceeded, terminating
% 275.88/275.66  eprover: CPU time limit exceeded, terminating
% 277.88/277.67  eprover: CPU time limit exceeded, terminating
% 279.96/279.68  eprover: CPU time limit exceeded, terminating
% 281.98/281.69  eprover: CPU time limit exceeded, terminating
% 283.97/283.70  eprover: CPU time limit exceeded, terminating
% 286.00/285.71  eprover: CPU time limit exceeded, terminating
% 287.98/287.72  eprover: CPU time limit exceeded, terminating
% 290.01/289.73  eprover: CPU time limit exceeded, terminating
% 291.98/291.75  eprover: CPU time limit exceeded, terminating
% 294.02/293.76  eprover: CPU time limit exceeded, terminating
% 295.99/295.77  eprover: CPU time limit exceeded, terminating
% 298.02/297.78  eprover: CPU time limit exceeded, terminating
% 300.09/299.78  eprover: CPU time limit exceeded, terminating
% 300.12/301.79  eprover: CPU time limit exceeded, terminating
%------------------------------------------------------------------------------