%------------------------------------------------------------------------------
% File     : SRASS---0.1
% Problem  : HWV116+1 : TPTP v6.1.0. Released v6.1.0.
% Transfm  : none
% Format   : tptp
% Command  : SRASS -q2 -a 0 10 10 10 -i3 -n60 %s

% Computer : art10.cs.miami.edu
% Model    : i686 i686
% CPU      : Intel(R) Pentium(R) 4 CPU 3.00GHz
% Memory   : 2005MB
% OS       : Linux 2.6.32.26-175.fc12.i686.PAE
% CPULimit : 300s
% DateTime : Sat Apr  5 23:11:11 EDT 2014

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

% Comments : 
%------------------------------------------------------------------------------
%----NO SOLUTION OUTPUT BY SYSTEM
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% Reading problem from /tmp/SystemOnTPTP27116/HWV116+1.tptp
% Adding relevance values
% Extracting the conjecture
% Sorting axioms by relevance
% Looking for THM       ... not found
% Adding ~C to TBU       ... ~addAssertion:
% ---- Iteration 1 (0 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_102: CSA axiom reachableStateAxiom_102 found
% Looking for CSA axiom ... reachableStateAxiom: CSA axiom reachableStateAxiom found
% Looking for CSA axiom ... reachableStateAxiom_100: CSA axiom reachableStateAxiom_100 found
% ---- Iteration 2 (3 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_99: CSA axiom reachableStateAxiom_99 found
% Looking for CSA axiom ... reachableStateAxiom_98: CSA axiom reachableStateAxiom_98 found
% Looking for CSA axiom ... reachableStateAxiom_97: CSA axiom reachableStateAxiom_97 found
% ---- Iteration 3 (6 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_96: CSA axiom reachableStateAxiom_96 found
% Looking for CSA axiom ... reachableStateAxiom_95: CSA axiom reachableStateAxiom_95 found
% Looking for CSA axiom ... reachableStateAxiom_94: CSA axiom reachableStateAxiom_94 found
% ---- Iteration 4 (9 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_93: CSA axiom reachableStateAxiom_93 found
% Looking for CSA axiom ... reachableStateAxiom_92: CSA axiom reachableStateAxiom_92 found
% Looking for CSA axiom ... reachableStateAxiom_91: CSA axiom reachableStateAxiom_91 found
% ---- Iteration 5 (12 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_90: CSA axiom reachableStateAxiom_90 found
% Looking for CSA axiom ... reachableStateAxiom_89: CSA axiom reachableStateAxiom_89 found
% Looking for CSA axiom ... reachableStateAxiom_88: CSA axiom reachableStateAxiom_88 found
% ---- Iteration 6 (15 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_87: CSA axiom reachableStateAxiom_87 found
% Looking for CSA axiom ... reachableStateAxiom_86: CSA axiom reachableStateAxiom_86 found
% Looking for CSA axiom ... reachableStateAxiom_85: CSA axiom reachableStateAxiom_85 found
% ---- Iteration 7 (18 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_84: CSA axiom reachableStateAxiom_84 found
% Looking for CSA axiom ... reachableStateAxiom_83: CSA axiom reachableStateAxiom_83 found
% Looking for CSA axiom ... reachableStateAxiom_82: CSA axiom reachableStateAxiom_82 found
% ---- Iteration 8 (21 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_81: CSA axiom reachableStateAxiom_81 found
% Looking for CSA axiom ... reachableStateAxiom_80: CSA axiom reachableStateAxiom_80 found
% Looking for CSA axiom ... reachableStateAxiom_79: CSA axiom reachableStateAxiom_79 found
% ---- Iteration 9 (24 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_78: CSA axiom reachableStateAxiom_78 found
% Looking for CSA axiom ... reachableStateAxiom_77: CSA axiom reachableStateAxiom_77 found
% Looking for CSA axiom ... reachableStateAxiom_76: CSA axiom reachableStateAxiom_76 found
% ---- Iteration 10 (27 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_75: CSA axiom reachableStateAxiom_75 found
% Looking for CSA axiom ... reachableStateAxiom_74: CSA axiom reachableStateAxiom_74 found
% Looking for CSA axiom ... reachableStateAxiom_73: CSA axiom reachableStateAxiom_73 found
% ---- Iteration 11 (30 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_72: CSA axiom reachableStateAxiom_72 found
% Looking for CSA axiom ... reachableStateAxiom_71: CSA axiom reachableStateAxiom_71 found
% Looking for CSA axiom ... reachableStateAxiom_70: CSA axiom reachableStateAxiom_70 found
% ---- Iteration 12 (33 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_69: CSA axiom reachableStateAxiom_69 found
% Looking for CSA axiom ... reachableStateAxiom_68: CSA axiom reachableStateAxiom_68 found
% Looking for CSA axiom ... reachableStateAxiom_67: CSA axiom reachableStateAxiom_67 found
% ---- Iteration 13 (36 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_66: CSA axiom reachableStateAxiom_66 found
% Looking for CSA axiom ... reachableStateAxiom_65: CSA axiom reachableStateAxiom_65 found
% Looking for CSA axiom ... reachableStateAxiom_64: CSA axiom reachableStateAxiom_64 found
% ---- Iteration 14 (39 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_63: CSA axiom reachableStateAxiom_63 found
% Looking for CSA axiom ... reachableStateAxiom_62: CSA axiom reachableStateAxiom_62 found
% Looking for CSA axiom ... reachableStateAxiom_61: CSA axiom reachableStateAxiom_61 found
% ---- Iteration 15 (42 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_60: CSA axiom reachableStateAxiom_60 found
% Looking for CSA axiom ... reachableStateAxiom_59:
% 
%------------------------------------------------------------------------------