%------------------------------------------------------------------------------
% File     : SRASS---0.1
% Problem  : HWV115+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 : art05.cs.miami.edu
% Model    : i686 i686
% CPU      : Intel(R) Pentium(R) 4 CPU 2.80GHz
% Memory   : 2005MB
% OS       : Linux 2.6.32.26-175.fc12.i686.PAE
% CPULimit : 300s
% DateTime : Sat Apr  5 23:07:24 EDT 2014

% Result   : Timeout 300.04s
% 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/SystemOnTPTP452/HWV115+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_52: CSA axiom reachableStateAxiom_52 found
% Looking for CSA axiom ... reachableStateAxiom: CSA axiom reachableStateAxiom found
% Looking for CSA axiom ... reachableStateAxiom_50: CSA axiom reachableStateAxiom_50 found
% ---- Iteration 2 (3 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_49: CSA axiom reachableStateAxiom_49 found
% Looking for CSA axiom ... reachableStateAxiom_48: CSA axiom reachableStateAxiom_48 found
% Looking for CSA axiom ... reachableStateAxiom_47: CSA axiom reachableStateAxiom_47 found
% ---- Iteration 3 (6 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_46: CSA axiom reachableStateAxiom_46 found
% Looking for CSA axiom ... reachableStateAxiom_45: CSA axiom reachableStateAxiom_45 found
% Looking for CSA axiom ... reachableStateAxiom_44: CSA axiom reachableStateAxiom_44 found
% ---- Iteration 4 (9 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_43: CSA axiom reachableStateAxiom_43 found
% Looking for CSA axiom ... reachableStateAxiom_42: CSA axiom reachableStateAxiom_42 found
% Looking for CSA axiom ... reachableStateAxiom_41: CSA axiom reachableStateAxiom_41 found
% ---- Iteration 5 (12 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_40: CSA axiom reachableStateAxiom_40 found
% Looking for CSA axiom ... reachableStateAxiom_39: CSA axiom reachableStateAxiom_39 found
% Looking for CSA axiom ... reachableStateAxiom_38: CSA axiom reachableStateAxiom_38 found
% ---- Iteration 6 (15 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_37: CSA axiom reachableStateAxiom_37 found
% Looking for CSA axiom ... reachableStateAxiom_36: CSA axiom reachableStateAxiom_36 found
% Looking for CSA axiom ... reachableStateAxiom_35: CSA axiom reachableStateAxiom_35 found
% ---- Iteration 7 (18 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_34: CSA axiom reachableStateAxiom_34 found
% Looking for CSA axiom ... reachableStateAxiom_33: CSA axiom reachableStateAxiom_33 found
% Looking for CSA axiom ... reachableStateAxiom_32: CSA axiom reachableStateAxiom_32 found
% ---- Iteration 8 (21 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_31: CSA axiom reachableStateAxiom_31 found
% Looking for CSA axiom ... reachableStateAxiom_30: CSA axiom reachableStateAxiom_30 found
% Looking for CSA axiom ... reachableStateAxiom_29: CSA axiom reachableStateAxiom_29 found
% ---- Iteration 9 (24 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_28: CSA axiom reachableStateAxiom_28 found
% Looking for CSA axiom ... reachableStateAxiom_27: CSA axiom reachableStateAxiom_27 found
% Looking for CSA axiom ... reachableStateAxiom_26: CSA axiom reachableStateAxiom_26 found
% ---- Iteration 10 (27 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_25: CSA axiom reachableStateAxiom_25 found
% Looking for CSA axiom ... reachableStateAxiom_24: CSA axiom reachableStateAxiom_24 found
% Looking for CSA axiom ... reachableStateAxiom_23: CSA axiom reachableStateAxiom_23 found
% ---- Iteration 11 (30 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_22: CSA axiom reachableStateAxiom_22 found
% Looking for CSA axiom ... reachableStateAxiom_21: CSA axiom reachableStateAxiom_21 found
% Looking for CSA axiom ... reachableStateAxiom_20: CSA axiom reachableStateAxiom_20 found
% ---- Iteration 12 (33 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_19: CSA axiom reachableStateAxiom_19 found
% Looking for CSA axiom ... reachableStateAxiom_18: CSA axiom reachableStateAxiom_18 found
% Looking for CSA axiom ... reachableStateAxiom_17: CSA axiom reachableStateAxiom_17 found
% ---- Iteration 13 (36 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_16: CSA axiom reachableStateAxiom_16 found
% Looking for CSA axiom ... reachableStateAxiom_15: CSA axiom reachableStateAxiom_15 found
% Looking for CSA axiom ... reachableStateAxiom_14: CSA axiom reachableStateAxiom_14 found
% ---- Iteration 14 (39 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_13: CSA axiom reachableStateAxiom_13 found
% Looking for CSA axiom ... reachableStateAxiom_12: CSA axiom reachableStateAxiom_12 found
% Looking for CSA axiom ... reachableStateAxiom_11: CSA axiom reachableStateAxiom_11 found
% ---- Iteration 15 (42 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_10: CSA axiom reachableStateAxiom_10 found
% Looking for CSA axiom ... reachableStateAxiom_9: CSA axiom reachableStateAxiom_9 found
% Looking for CSA axiom ... reachableStateAxiom_8: CSA axiom reachableStateAxiom_8 found
% ---- Iteration 16 (45 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_7: CSA axiom reachableStateAxiom_7 found
% Looking for CSA axiom ... reachableStateAxiom_6: CSA axiom reachableStateAxiom_6 found
% Looking for CSA axiom ... reachableStateAxiom_5: CSA axiom reachableStateAxiom_5 found
% ---- Iteration 17 (48 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_4: CSA axiom reachableStateAxiom_4 found
% Looking for CSA axiom ... reachableStateAxiom_3: CSA axiom reachableStateAxiom_3 found
% Looking for CSA axiom ... reachableStateAxiom_2: CSA axiom reachableStateAxiom_2 found
% ---- Iteration 18 (51 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_1: CSA axiom reachableStateAxiom_1 found
% Looking for CSA axiom ... writeBinaryOperatorEqualRangesSingleBits_212: CSA axiom writeBinaryOperatorEqualRangesSingleBits_212 found
% Looking for CSA axiom ... writeUnaryOperator_83: CSA axiom writeUnaryOperator_83 found
% ---- Iteration 19 (54 axioms selected)
% Looking for TBU SAT   ... 
% 
%------------------------------------------------------------------------------