%------------------------------------------------------------------------------
% File     : SRASS---0.1
% Problem  : HWV050+2 : TPTP v5.3.0. Released v5.3.0.
% Transfm  : none
% Format   : tptp
% Command  : SRASS -q2 -a 0 10 10 10 -i3 -n60 %s

% Computer : art04.cs.miami.edu
% Model    : i686 i686
% CPU      : Intel(R) Pentium(R) 4 CPU 2.80GHz @ 2800MHz
% Memory   : 2005MB
% OS       : Linux 2.6.32.26-175.fc12.i686.PAE
% CPULimit : 300s
% DateTime : Fri Oct 14 01:04:44 EDT 2011

% Result   : Unknown 0s
% 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/SystemOnTPTP9358/HWV050+2.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_202:
%  CSA axiom reachableStateAxiom_202 found
% Looking for CSA axiom ... writeUnaryOperator_17:
%  CSA axiom writeUnaryOperator_17 found
% Looking for CSA axiom ... reachableStateAxiom:
%  CSA axiom reachableStateAxiom found
% ---- Iteration 2 (3 axioms selected)
% Looking for TBU SAT   ... 
% yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_200: CSA axiom reachableStateAxiom_200 found
% Looking for CSA axiom ... reachableStateAxiom_199: CSA axiom reachableStateAxiom_199 found
% Looking for CSA axiom ... reachableStateAxiom_198: CSA axiom reachableStateAxiom_198 found
% ---- Iteration 3 (6 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_197: CSA axiom reachableStateAxiom_197 found
% Looking for CSA axiom ... reachableStateAxiom_196: CSA axiom reachableStateAxiom_196 found
% Looking for CSA axiom ... reachableStateAxiom_195: CSA axiom reachableStateAxiom_195 found
% ---- Iteration 4 (9 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_194: CSA axiom reachableStateAxiom_194 found
% Looking for CSA axiom ... reachableStateAxiom_193: CSA axiom reachableStateAxiom_193 found
% Looking for CSA axiom ... reachableStateAxiom_192: CSA axiom reachableStateAxiom_192 found
% ---- Iteration 5 (12 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_191: CSA axiom reachableStateAxiom_191 found
% Looking for CSA axiom ... reachableStateAxiom_190: CSA axiom reachableStateAxiom_190 found
% Looking for CSA axiom ... reachableStateAxiom_189: CSA axiom reachableStateAxiom_189 found
% ---- Iteration 6 (15 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_188: CSA axiom reachableStateAxiom_188 found
% Looking for CSA axiom ... reachableStateAxiom_187: CSA axiom reachableStateAxiom_187 found
% Looking for CSA axiom ... reachableStateAxiom_186: CSA axiom reachableStateAxiom_186 found
% ---- Iteration 7 (18 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_185: CSA axiom reachableStateAxiom_185 found
% Looking for CSA axiom ... reachableStateAxiom_184: CSA axiom reachableStateAxiom_184 found
% Looking for CSA axiom ... reachableStateAxiom_183: CSA axiom reachableStateAxiom_183 found
% ---- Iteration 8 (21 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_182: CSA axiom reachableStateAxiom_182 found
% Looking for CSA axiom ... reachableStateAxiom_181: CSA axiom reachableStateAxiom_181 found
% Looking for CSA axiom ... reachableStateAxiom_180: CSA axiom reachableStateAxiom_180 found
% ---- Iteration 9 (24 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_179: CSA axiom reachableStateAxiom_179 found
% Looking for CSA axiom ... reachableStateAxiom_178: CSA axiom reachableStateAxiom_178 found
% Looking for CSA axiom ... reachableStateAxiom_177: CSA axiom reachableStateAxiom_177 found
% ---- Iteration 10 (27 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_176: CSA axiom reachableStateAxiom_176 found
% Looking for CSA axiom ... reachableStateAxiom_175: CSA axiom reachableStateAxiom_175 found
% Looking for CSA axiom ... reachableStateAxiom_174: CSA axiom reachableStateAxiom_174 found
% ---- Iteration 11 (30 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_173: CSA axiom reachableStateAxiom_173 found
% Looking for CSA axiom ... reachableStateAxiom_172: CSA axiom reachableStateAxiom_172 found
% Looking for CSA axiom ... reachableStateAxiom_171: CSA axiom reachableStateAxiom_171 found
% ---- Iteration 12 (33 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_170: CSA axiom reachableStateAxiom_170 found
% Looking for CSA axiom ... reachableStateAxiom_169: CSA axiom reachableStateAxiom_169 found
% Looking for CSA axiom ... reachableStateAxiom_168: CSA axiom reachableStateAxiom_168 found
% ---- Iteration 13 (36 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_167: CSA axiom reachableStateAxiom_167 found
% Looking for CSA axiom ... reachableStateAxiom_166: CSA axiom reachableStateAxiom_166 found
% Looking for CSA axiom ... reachableStateAxiom_165: CSA axiom reachableStateAxiom_165 found
% ---- Iteration 14 (39 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_164: CSA axiom reachableStateAxiom_164 found
% Looking for CSA axiom ... reachableStateAxiom_163: CSA axiom reachableStateAxiom_163 found
% Looking for CSA axiom ... reachableStateAxiom_162: CSA axiom reachableStateAxiom_162 found
% ---- Iteration 15 (42 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_161: CSA axiom reachableStateAxiom_161 found
% Looking for CSA axiom ... reachableStateAxiom_160: CSA axiom reachableStateAxiom_160 found
% Looking for CSA axiom ... reachableStateAxiom_159: CSA axiom reachableStateAxiom_159 found
% ---- Iteration 16 (45 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_158: CSA axiom reachableStateAxiom_158 found
% Looking for CSA axiom ... reachableStateAxiom_157: CSA axiom reachableStateAxiom_157 found
% Looking for CSA axiom ... reachableStateAxiom_156: CSA axiom reachableStateAxiom_156 found
% ---- Iteration 17 (48 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_155: CSA axiom reachableStateAxiom_155 found
% Looking for CSA axiom ... reachableStateAxiom_154: CSA axiom reachableStateAxiom_154 found
% Looking for CSA axiom ... reachableStateAxiom_153: CSA axiom reachableStateAxiom_153 found
% ---- Iteration 18 (51 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_152: CSA axiom reachableStateAxiom_152 found
% Looking for CSA axiom ... reachableStateAxiom_151: CSA axiom reachableStateAxiom_151 found
% Looking for CSA axiom ... reachableStateAxiom_150: CSA axiom reachableStateAxiom_150 found
% ---- Iteration 19 (54 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_149: CSA axiom reachableStateAxiom_149 found
% Looking for CSA axiom ... reachableStateAxiom_148: CSA axiom reachableStateAxiom_148 found
% Looking for CSA axiom ... reachableStateAxiom_147: CSA axiom reachableStateAxiom_147 found
% ---- Iteration 20 (57 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_146: CSA axiom reachableStateAxiom_146 found
% Looking for CSA axiom ... reachableStateAxiom_145: CSA axiom reachableStateAxiom_145 found
% Looking for CSA axiom ... reachableStateAxiom_144: CSA axiom reachableStateAxiom_144 found
% ---- Iteration 21 (60 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_143: CSA axiom reachableStateAxiom_143 found
% Looking for CSA axiom ... reachableStateAxiom_142: CSA axiom reachableStateAxiom_142 found
% Looking for CSA axiom ... reachableStateAxiom_141: CSA axiom reachableStateAxiom_141 found
% ---- Iteration 22 (63 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_140: CSA axiom reachableStateAxiom_140 found
% Looking for CSA axiom ... reachableStateAxiom_139: CSA axiom reachableStateAxiom_139 found
% Looking for CSA axiom ... reachableStateAxiom_138: CSA axiom reachableStateAxiom_138 found
% ---- Iteration 23 (66 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_137: CSA axiom reachableStateAxiom_137 found
% Looking for CSA axiom ... reachableStateAxiom_136: CSA axiom reachableStateAxiom_136 found
% Looking for CSA axiom ... reachableStateAxiom_135: CSA axiom reachableStateAxiom_135 found
% ---- Iteration 24 (69 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_134: CSA axiom reachableStateAxiom_134 found
% Looking for CSA axiom ... reachableStateAxiom_133: CSA axiom reachableStateAxiom_133 found
% Looking for CSA axiom ... reachableStateAxiom_132: CSA axiom reachableStateAxiom_132 found
% ---- Iteration 25 (72 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_131: CSA axiom reachableStateAxiom_131 found
% Looking for CSA axiom ... reachableStateAxiom_130: CSA axiom reachableStateAxiom_130 found
% Looking for CSA axiom ... reachableStateAxiom_129: CSA axiom reachableStateAxiom_129 found
% ---- Iteration 26 (75 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_128: CSA axiom reachableStateAxiom_128 found
% Looking for CSA axiom ... reachableStateAxiom_127: CSA axiom reachableStateAxiom_127 found
% Looking for CSA axiom ... reachableStateAxiom_126: CSA axiom reachableStateAxiom_126 found
% ---- Iteration 27 (78 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_125: CSA axiom reachableStateAxiom_125 found
% Looking for CSA axiom ... reachableStateAxiom_124: CSA axiom reachableStateAxiom_124 found
% Looking for CSA axiom ... reachableStateAxiom_123: CSA axiom reachableStateAxiom_123 found
% ---- Iteration 28 (81 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_122: CSA axiom reachableStateAxiom_122 found
% Looking for CSA axiom ... reachableStateAxiom_121: CSA axiom reachableStateAxiom_121 found
% Looking for CSA axiom ... reachableStateAxiom_120: CSA axiom reachableStateAxiom_120 found
% ---- Iteration 29 (84 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_119: CSA axiom reachableStateAxiom_119 found
% Looking for CSA axiom ... reachableStateAxiom_118: CSA axiom reachableStateAxiom_118 found
% Looking for CSA axiom ... reachableStateAxiom_117: CSA axiom reachableStateAxiom_117 found
% ---- Iteration 30 (87 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_116: CSA axiom reachableStateAxiom_116 found
% Looking for CSA axiom ... reachableStateAxiom_115: CSA axiom reachableStateAxiom_115 found
% Looking for CSA axiom ... reachableStateAxiom_114: CSA axiom reachableStateAxiom_114 found
% ---- Iteration 31 (90 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_113: CSA axiom reachableStateAxiom_113 found
% Looking for CSA axiom ... reachableStateAxiom_112: CSA axiom reachableStateAxiom_112 found
% Looking for CSA axiom ... reachableStateAxiom_111: CSA axiom reachableStateAxiom_111 found
% ---- Iteration 32 (93 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_110: CSA axiom reachableStateAxiom_110 found
% Looking for CSA axiom ... reachableStateAxiom_109: CSA axiom reachableStateAxiom_109 found
% Looking for CSA axiom ... reachableStateAxiom_108: CSA axiom reachableStateAxiom_108 found
% ---- Iteration 33 (96 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_107: CSA axiom reachableStateAxiom_107 found
% Looking for CSA axiom ... reachableStateAxiom_106: CSA axiom reachableStateAxiom_106 found
% Looking for CSA axiom ... reachableStateAxiom_105: CSA axiom reachableStateAxiom_105 found
% ---- Iteration 34 (99 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_104: CSA axiom reachableStateAxiom_104 found
% Looking for CSA axiom ... reachableStateAxiom_103: CSA axiom reachableStateAxiom_103 found
% Looking for CSA axiom ... reachableStateAxiom_102: CSA axiom reachableStateAxiom_102 found
% ---- Iteration 35 (102 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_101: CSA axiom reachableStateAxiom_101 found
% Looking for CSA axiom ... reachableStateAxiom_100: CSA axiom reachableStateAxiom_100 found
% Looking for CSA axiom ... reachableStateAxiom_99: CSA axiom reachableStateAxiom_99 found
% ---- Iteration 36 (105 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_98: CSA axiom reachableStateAxiom_98 found
% Looking for CSA axiom ... reachableStateAxiom_97: CSA axiom reachableStateAxiom_97 found
% Looking for CSA axiom ... reachableStateAxiom_96: CSA axiom reachableStateAxiom_96 found
% ---- Iteration 37 (108 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_95: CSA axiom reachableStateAxiom_95 found
% Looking for CSA axiom ... reachableStateAxiom_94: CSA axiom reachableStateAxiom_94 found
% Looking for CSA axiom ... reachableStateAxiom_93: CSA axiom reachableStateAxiom_93 found
% ---- Iteration 38 (111 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_92: CSA axiom reachableStateAxiom_92 found
% Looking for CSA axiom ... reachableStateAxiom_91: CSA axiom reachableStateAxiom_91 found
% Looking for CSA axiom ... reachableStateAxiom_90: CSA axiom reachableStateAxiom_90 found
% ---- Iteration 39 (114 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_89: CSA axiom reachableStateAxiom_89 found
% Looking for CSA axiom ... reachableStateAxiom_88: CSA axiom reachableStateAxiom_88 found
% Looking for CSA axiom ... reachableStateAxiom_87: CSA axiom reachableStateAxiom_87 found
% ---- Iteration 40 (117 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_86: CSA axiom reachableStateAxiom_86 found
% Looking for CSA axiom ... reachableStateAxiom_85: CSA axiom reachableStateAxiom_85 found
% Looking for CSA axiom ... reachableStateAxiom_84: CSA axiom reachableStateAxiom_84 found
% ---- Iteration 41 (120 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_83: CSA axiom reachableStateAxiom_83 found
% Looking for CSA axiom ... reachableStateAxiom_82: CSA axiom reachableStateAxiom_82 found
% Looking for CSA axiom ... reachableStateAxiom_81: CSA axiom reachableStateAxiom_81 found
% ---- Iteration 42 (123 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_80: CSA axiom reachableStateAxiom_80 found
% Looking for CSA axiom ... reachableStateAxiom_79: CSA axiom reachableStateAxiom_79 found
% Looking for CSA axiom ... reachableStateAxiom_78: CSA axiom reachableStateAxiom_78 found
% ---- Iteration 43 (126 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_77: CSA axiom reachableStateAxiom_77 found
% Looking for CSA axiom ... reachableStateAxiom_76: CSA axiom reachableStateAxiom_76 found
% Looking for CSA axiom ... reachableStateAxiom_75: CSA axiom reachableStateAxiom_75 found
% ---- Iteration 44 (129 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_74: CSA axiom reachableStateAxiom_74 found
% Looking for CSA axiom ... reachableStateAxiom_73: CSA axiom reachableStateAxiom_73 found
% Looking for CSA axiom ... reachableStateAxiom_72: CSA axiom reachableStateAxiom_72 found
% ---- Iteration 45 (132 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_71: CSA axiom reachableStateAxiom_71 found
% Looking for CSA axiom ... reachableStateAxiom_70: CSA axiom reachableStateAxiom_70 found
% Looking for CSA axiom ... reachableStateAxiom_69: CSA axiom reachableStateAxiom_69 found
% ---- Iteration 46 (135 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_68: CSA axiom reachableStateAxiom_68 found
% Looking for CSA axiom ... reachableStateAxiom_67: CSA axiom reachableStateAxiom_67 found
% Looking for CSA axiom ... reachableStateAxiom_66: CSA axiom reachableStateAxiom_66 found
% ---- Iteration 47 (138 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_65: CSA axiom reachableStateAxiom_65 found
% Looking for CSA axiom ... reachableStateAxiom_64: CSA axiom reachableStateAxiom_64 found
% Looking for CSA axiom ... reachableStateAxiom_63: CSA axiom reachableStateAxiom_63 found
% ---- Iteration 48 (141 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_62: CSA axiom reachableStateAxiom_62 found
% Looking for CSA axiom ... reachableStateAxiom_61: CSA axiom reachableStateAxiom_61 found
% Looking for CSA axiom ... reachableStateAxiom_60: CSA axiom reachableStateAxiom_60 found
% ---- Iteration 49 (144 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_59: CSA axiom reachableStateAxiom_59 found
% Looking for CSA axiom ... reachableStateAxiom_58: CSA axiom reachableStateAxiom_58 found
% Looking for CSA axiom ... reachableStateAxiom_57: CSA axiom reachableStateAxiom_57 found
% ---- Iteration 50 (147 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_56: CSA axiom reachableStateAxiom_56 found
% Looking for CSA axiom ... reachableStateAxiom_55: CSA axiom reachableStateAxiom_55 found
% Looking for CSA axiom ... reachableStateAxiom_54: CSA axiom reachableStateAxiom_54 found
% ---- Iteration 51 (150 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_53: CSA axiom reachableStateAxiom_53 found
% Looking for CSA axiom ... reachableStateAxiom_52: CSA axiom reachableStateAxiom_52 found
% Looking for CSA axiom ... reachableStateAxiom_51: CSA axiom reachableStateAxiom_51 found
% ---- Iteration 52 (153 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_50: CSA axiom reachableStateAxiom_50 found
% Looking for CSA axiom ... reachableStateAxiom_49: CSA axiom reachableStateAxiom_49 found
% Looking for CSA axiom ... reachableStateAxiom_48: CSA axiom reachableStateAxiom_48 found
% ---- Iteration 53 (156 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_47: CSA axiom reachableStateAxiom_47 found
% Looking for CSA axiom ... reachableStateAxiom_46: CSA axiom reachableStateAxiom_46 found
% Looking for CSA axiom ... reachableStateAxiom_45: CSA axiom reachableStateAxiom_45 found
% ---- Iteration 54 (159 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_44: CSA axiom reachableStateAxiom_44 found
% Looking for CSA axiom ... reachableStateAxiom_43: CSA axiom reachableStateAxiom_43 found
% Looking for CSA axiom ... reachableStateAxiom_42: CSA axiom reachableStateAxiom_42 found
% ---- Iteration 55 (162 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_41: CSA axiom reachableStateAxiom_41 found
% Looking for CSA axiom ... reachableStateAxiom_40: CSA axiom reachableStateAxiom_40 found
% Looking for CSA axiom ... reachableStateAxiom_39: CSA axiom reachableStateAxiom_39 found
% ---- Iteration 56 (165 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_38: CSA axiom reachableStateAxiom_38 found
% Looking for CSA axiom ... reachableStateAxiom_37: CSA axiom reachableStateAxiom_37 found
% Looking for CSA axiom ... reachableStateAxiom_36: CSA axiom reachableStateAxiom_36 found
% ---- Iteration 57 (168 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_35: CSA axiom reachableStateAxiom_35 found
% Looking for CSA axiom ... reachableStateAxiom_34: CSA axiom reachableStateAxiom_34 found
% Looking for CSA axiom ... reachableStateAxiom_33: CSA axiom reachableStateAxiom_33 found
% ---- Iteration 58 (171 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_32: CSA axiom reachableStateAxiom_32 found
% Looking for CSA axiom ... reachableStateAxiom_31: CSA axiom reachableStateAxiom_31 found
% Looking for CSA axiom ... reachableStateAxiom_30: CSA axiom reachableStateAxiom_30 found
% ---- Iteration 59 (174 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_29: CSA axiom reachableStateAxiom_29 found
% Looking for CSA axiom ... reachableStateAxiom_28: CSA axiom reachableStateAxiom_28 found
% Looking for CSA axiom ... reachableStateAxiom_27: CSA axiom reachableStateAxiom_27 found
% ---- Iteration 60 (177 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_26: CSA axiom reachableStateAxiom_26 found
% Looking for CSA axiom ... reachableStateAxiom_25: CSA axiom reachableStateAxiom_25 found
% Looking for CSA axiom ... reachableStateAxiom_24: CSA axiom reachableStateAxiom_24 found
% ---- Iteration 61 (180 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_23: CSA axiom reachableStateAxiom_23 found
% Looking for CSA axiom ... reachableStateAxiom_22: CSA axiom reachableStateAxiom_22 found
% Looking for CSA axiom ... reachableStateAxiom_21: CSA axiom reachableStateAxiom_21 found
% ---- Iteration 62 (183 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_20: CSA axiom reachableStateAxiom_20 found
% Looking for CSA axiom ... reachableStateAxiom_19: CSA axiom reachableStateAxiom_19 found
% Looking for CSA axiom ... reachableStateAxiom_18: CSA axiom reachableStateAxiom_18 found
% ---- Iteration 63 (186 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_17: CSA axiom reachableStateAxiom_17 found
% Looking for CSA axiom ... reachableStateAxiom_16: CSA axiom reachableStateAxiom_16 found
% Looking for CSA axiom ... reachableStateAxiom_15: CSA axiom reachableStateAxiom_15 found
% ---- Iteration 64 (189 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_14: CSA axiom reachableStateAxiom_14 found
% Looking for CSA axiom ... reachableStateAxiom_13: CSA axiom reachableStateAxiom_13 found
% Looking for CSA axiom ... reachableStateAxiom_12: CSA axiom reachableStateAxiom_12 found
% ---- Iteration 65 (192 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_11: CSA axiom reachableStateAxiom_11 found
% Looking for CSA axiom ... reachableStateAxiom_10: CSA axiom reachableStateAxiom_10 found
% Looking for CSA axiom ... reachableStateAxiom_9: CSA axiom reachableStateAxiom_9 found
% ---- Iteration 66 (195 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_8: CSA axiom reachableStateAxiom_8 found
% Looking for CSA axiom ... reachableStateAxiom_7: CSA axiom reachableStateAxiom_7 found
% Looking for CSA axiom ... reachableStateAxiom_6: CSA axiom reachableStateAxiom_6 found
% ---- Iteration 67 (198 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_5: CSA axiom reachableStateAxiom_5 found
% Looking for CSA axiom ... reachableStateAxiom_4: CSA axiom reachableStateAxiom_4 found
% Looking for CSA axiom ... reachableStateAxiom_3: CSA axiom reachableStateAxiom_3 found
% ---- Iteration 68 (201 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... reachableStateAxiom_2: CSA axiom reachableStateAxiom_2 found
% Looking for CSA axiom ... reachableStateAxiom_1: CSA axiom reachableStateAxiom_1 found
% Looking for CSA axiom ... clock_pattern_200: CSA axiom clock_pattern_200 found
% ---- Iteration 69 (204 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_199: CSA axiom clock_pattern_199 found
% Looking for CSA axiom ... clock_pattern_198: CSA axiom clock_pattern_198 found
% Looking for CSA axiom ... clock_pattern_197: CSA axiom clock_pattern_197 found
% ---- Iteration 70 (207 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_196: CSA axiom clock_pattern_196 found
% Looking for CSA axiom ... clock_pattern_195: CSA axiom clock_pattern_195 found
% Looking for CSA axiom ... clock_pattern_194: CSA axiom clock_pattern_194 found
% ---- Iteration 71 (210 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_193: CSA axiom clock_pattern_193 found
% Looking for CSA axiom ... clock_pattern_192: CSA axiom clock_pattern_192 found
% Looking for CSA axiom ... clock_pattern_191: CSA axiom clock_pattern_191 found
% ---- Iteration 72 (213 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_190: CSA axiom clock_pattern_190 found
% Looking for CSA axiom ... clock_pattern_189: CSA axiom clock_pattern_189 found
% Looking for CSA axiom ... clock_pattern_188: CSA axiom clock_pattern_188 found
% ---- Iteration 73 (216 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_187: CSA axiom clock_pattern_187 found
% Looking for CSA axiom ... clock_pattern_186: CSA axiom clock_pattern_186 found
% Looking for CSA axiom ... clock_pattern_185: CSA axiom clock_pattern_185 found
% ---- Iteration 74 (219 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_184: CSA axiom clock_pattern_184 found
% Looking for CSA axiom ... clock_pattern_183: CSA axiom clock_pattern_183 found
% Looking for CSA axiom ... clock_pattern_182: CSA axiom clock_pattern_182 found
% ---- Iteration 75 (222 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_181: CSA axiom clock_pattern_181 found
% Looking for CSA axiom ... clock_pattern_180: CSA axiom clock_pattern_180 found
% Looking for CSA axiom ... clock_pattern_179: CSA axiom clock_pattern_179 found
% ---- Iteration 76 (225 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_178: CSA axiom clock_pattern_178 found
% Looking for CSA axiom ... clock_pattern_177: CSA axiom clock_pattern_177 found
% Looking for CSA axiom ... clock_pattern_176: CSA axiom clock_pattern_176 found
% ---- Iteration 77 (228 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_175: CSA axiom clock_pattern_175 found
% Looking for CSA axiom ... clock_pattern_174: CSA axiom clock_pattern_174 found
% Looking for CSA axiom ... clock_pattern_173: CSA axiom clock_pattern_173 found
% ---- Iteration 78 (231 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_172: CSA axiom clock_pattern_172 found
% Looking for CSA axiom ... clock_pattern_171: CSA axiom clock_pattern_171 found
% Looking for CSA axiom ... clock_pattern_170: CSA axiom clock_pattern_170 found
% ---- Iteration 79 (234 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_169: CSA axiom clock_pattern_169 found
% Looking for CSA axiom ... clock_pattern_168: CSA axiom clock_pattern_168 found
% Looking for CSA axiom ... clock_pattern_167: CSA axiom clock_pattern_167 found
% ---- Iteration 80 (237 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_166: CSA axiom clock_pattern_166 found
% Looking for CSA axiom ... clock_pattern_165: CSA axiom clock_pattern_165 found
% Looking for CSA axiom ... clock_pattern_164: CSA axiom clock_pattern_164 found
% ---- Iteration 81 (240 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_163: CSA axiom clock_pattern_163 found
% Looking for CSA axiom ... clock_pattern_162: CSA axiom clock_pattern_162 found
% Looking for CSA axiom ... clock_pattern_161: CSA axiom clock_pattern_161 found
% ---- Iteration 82 (243 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_160: CSA axiom clock_pattern_160 found
% Looking for CSA axiom ... clock_pattern_159: CSA axiom clock_pattern_159 found
% Looking for CSA axiom ... clock_pattern_158: CSA axiom clock_pattern_158 found
% ---- Iteration 83 (246 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_157: CSA axiom clock_pattern_157 found
% Looking for CSA axiom ... clock_pattern_156: CSA axiom clock_pattern_156 found
% Looking for CSA axiom ... clock_pattern_155: CSA axiom clock_pattern_155 found
% ---- Iteration 84 (249 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_154: CSA axiom clock_pattern_154 found
% Looking for CSA axiom ... clock_pattern_153: CSA axiom clock_pattern_153 found
% Looking for CSA axiom ... clock_pattern_152: CSA axiom clock_pattern_152 found
% ---- Iteration 85 (252 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_151: CSA axiom clock_pattern_151 found
% Looking for CSA axiom ... clock_pattern_150: CSA axiom clock_pattern_150 found
% Looking for CSA axiom ... clock_pattern_149: CSA axiom clock_pattern_149 found
% ---- Iteration 86 (255 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_148: CSA axiom clock_pattern_148 found
% Looking for CSA axiom ... clock_pattern_147: CSA axiom clock_pattern_147 found
% Looking for CSA axiom ... clock_pattern_146: CSA axiom clock_pattern_146 found
% ---- Iteration 87 (258 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_145: CSA axiom clock_pattern_145 found
% Looking for CSA axiom ... clock_pattern_144: CSA axiom clock_pattern_144 found
% Looking for CSA axiom ... clock_pattern_143: CSA axiom clock_pattern_143 found
% ---- Iteration 88 (261 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_142: CSA axiom clock_pattern_142 found
% Looking for CSA axiom ... clock_pattern_141: CSA axiom clock_pattern_141 found
% Looking for CSA axiom ... clock_pattern_140: CSA axiom clock_pattern_140 found
% ---- Iteration 89 (264 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_139: CSA axiom clock_pattern_139 found
% Looking for CSA axiom ... clock_pattern_138: CSA axiom clock_pattern_138 found
% Looking for CSA axiom ... clock_pattern_137: CSA axiom clock_pattern_137 found
% ---- Iteration 90 (267 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_136: CSA axiom clock_pattern_136 found
% Looking for CSA axiom ... clock_pattern_135: CSA axiom clock_pattern_135 found
% Looking for CSA axiom ... clock_pattern_134: CSA axiom clock_pattern_134 found
% ---- Iteration 91 (270 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_133: CSA axiom clock_pattern_133 found
% Looking for CSA axiom ... clock_pattern_132: CSA axiom clock_pattern_132 found
% Looking for CSA axiom ... clock_pattern_131: CSA axiom clock_pattern_131 found
% ---- Iteration 92 (273 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_130: CSA axiom clock_pattern_130 found
% Looking for CSA axiom ... clock_pattern_129: CSA axiom clock_pattern_129 found
% Looking for CSA axiom ... clock_pattern_128: CSA axiom clock_pattern_128 found
% ---- Iteration 93 (276 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_127: CSA axiom clock_pattern_127 found
% Looking for CSA axiom ... clock_pattern_126: CSA axiom clock_pattern_126 found
% Looking for CSA axiom ... clock_pattern_125: CSA axiom clock_pattern_125 found
% ---- Iteration 94 (279 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_124: CSA axiom clock_pattern_124 found
% Looking for CSA axiom ... clock_pattern_123: CSA axiom clock_pattern_123 found
% Looking for CSA axiom ... clock_pattern_122: CSA axiom clock_pattern_122 found
% ---- Iteration 95 (282 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_121: CSA axiom clock_pattern_121 found
% Looking for CSA axiom ... clock_pattern_120: CSA axiom clock_pattern_120 found
% Looking for CSA axiom ... clock_pattern_119: CSA axiom clock_pattern_119 found
% ---- Iteration 96 (285 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_118: CSA axiom clock_pattern_118 found
% Looking for CSA axiom ... clock_pattern_117: CSA axiom clock_pattern_117 found
% Looking for CSA axiom ... clock_pattern_116: CSA axiom clock_pattern_116 found
% ---- Iteration 97 (288 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_115: CSA axiom clock_pattern_115 found
% Looking for CSA axiom ... clock_pattern_114: CSA axiom clock_pattern_114 found
% Looking for CSA axiom ... clock_pattern_113: CSA axiom clock_pattern_113 found
% ---- Iteration 98 (291 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_112: CSA axiom clock_pattern_112 found
% Looking for CSA axiom ... clock_pattern_111: CSA axiom clock_pattern_111 found
% Looking for CSA axiom ... clock_pattern_110: CSA axiom clock_pattern_110 found
% ---- Iteration 99 (294 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_109: CSA axiom clock_pattern_109 found
% Looking for CSA axiom ... clock_pattern_108: CSA axiom clock_pattern_108 found
% Looking for CSA axiom ... clock_pattern_107: CSA axiom clock_pattern_107 found
% ---- Iteration 100 (297 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_106: CSA axiom clock_pattern_106 found
% Looking for CSA axiom ... clock_pattern_105: CSA axiom clock_pattern_105 found
% Looking for CSA axiom ... clock_pattern_104: CSA axiom clock_pattern_104 found
% ---- Iteration 101 (300 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_103: CSA axiom clock_pattern_103 found
% Looking for CSA axiom ... clock_pattern_102: CSA axiom clock_pattern_102 found
% Looking for CSA axiom ... clock_pattern_101: CSA axiom clock_pattern_101 found
% ---- Iteration 102 (303 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_100: CSA axiom clock_pattern_100 found
% Looking for CSA axiom ... clock_pattern_99: CSA axiom clock_pattern_99 found
% Looking for CSA axiom ... clock_pattern_98: CSA axiom clock_pattern_98 found
% ---- Iteration 103 (306 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_97: CSA axiom clock_pattern_97 found
% Looking for CSA axiom ... clock_pattern_96: CSA axiom clock_pattern_96 found
% Looking for CSA axiom ... clock_pattern_95: CSA axiom clock_pattern_95 found
% ---- Iteration 104 (309 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_94: CSA axiom clock_pattern_94 found
% Looking for CSA axiom ... clock_pattern_93: CSA axiom clock_pattern_93 found
% Looking for CSA axiom ... clock_pattern_92: CSA axiom clock_pattern_92 found
% ---- Iteration 105 (312 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_91: CSA axiom clock_pattern_91 found
% Looking for CSA axiom ... clock_pattern_90: CSA axiom clock_pattern_90 found
% Looking for CSA axiom ... clock_pattern_89: CSA axiom clock_pattern_89 found
% ---- Iteration 106 (315 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_88: CSA axiom clock_pattern_88 found
% Looking for CSA axiom ... clock_pattern_87: CSA axiom clock_pattern_87 found
% Looking for CSA axiom ... clock_pattern_86: CSA axiom clock_pattern_86 found
% ---- Iteration 107 (318 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_85: CSA axiom clock_pattern_85 found
% Looking for CSA axiom ... clock_pattern_84: CSA axiom clock_pattern_84 found
% Looking for CSA axiom ... clock_pattern_83: CSA axiom clock_pattern_83 found
% ---- Iteration 108 (321 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_82: CSA axiom clock_pattern_82 found
% Looking for CSA axiom ... clock_pattern_81: CSA axiom clock_pattern_81 found
% Looking for CSA axiom ... clock_pattern_80: CSA axiom clock_pattern_80 found
% ---- Iteration 109 (324 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_79: CSA axiom clock_pattern_79 found
% Looking for CSA axiom ... clock_pattern_78: CSA axiom clock_pattern_78 found
% Looking for CSA axiom ... clock_pattern_77: CSA axiom clock_pattern_77 found
% ---- Iteration 110 (327 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_76: CSA axiom clock_pattern_76 found
% Looking for CSA axiom ... clock_pattern_75: CSA axiom clock_pattern_75 found
% Looking for CSA axiom ... clock_pattern_74: CSA axiom clock_pattern_74 found
% ---- Iteration 111 (330 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_73: CSA axiom clock_pattern_73 found
% Looking for CSA axiom ... clock_pattern_72: CSA axiom clock_pattern_72 found
% Looking for CSA axiom ... clock_pattern_71: CSA axiom clock_pattern_71 found
% ---- Iteration 112 (333 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_70: CSA axiom clock_pattern_70 found
% Looking for CSA axiom ... clock_pattern_69: CSA axiom clock_pattern_69 found
% Looking for CSA axiom ... clock_pattern_68: CSA axiom clock_pattern_68 found
% ---- Iteration 113 (336 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_67: CSA axiom clock_pattern_67 found
% Looking for CSA axiom ... clock_pattern_66: CSA axiom clock_pattern_66 found
% Looking for CSA axiom ... clock_pattern_65: CSA axiom clock_pattern_65 found
% ---- Iteration 114 (339 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_64: CSA axiom clock_pattern_64 found
% Looking for CSA axiom ... clock_pattern_63: CSA axiom clock_pattern_63 found
% Looking for CSA axiom ... clock_pattern_62: CSA axiom clock_pattern_62 found
% ---- Iteration 115 (342 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_61: CSA axiom clock_pattern_61 found
% Looking for CSA axiom ... clock_pattern_60: CSA axiom clock_pattern_60 found
% Looking for CSA axiom ... clock_pattern_59: CSA axiom clock_pattern_59 found
% ---- Iteration 116 (345 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_58: CSA axiom clock_pattern_58 found
% Looking for CSA axiom ... clock_pattern_57: CSA axiom clock_pattern_57 found
% Looking for CSA axiom ... clock_pattern_56: CSA axiom clock_pattern_56 found
% ---- Iteration 117 (348 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_55: CSA axiom clock_pattern_55 found
% Looking for CSA axiom ... clock_pattern_54: CSA axiom clock_pattern_54 found
% Looking for CSA axiom ... clock_pattern_53: CSA axiom clock_pattern_53 found
% ---- Iteration 118 (351 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_52: CSA axiom clock_pattern_52 found
% Looking for CSA axiom ... clock_pattern_51: CSA axiom clock_pattern_51 found
% Looking for CSA axiom ... clock_pattern_50: CSA axiom clock_pattern_50 found
% ---- Iteration 119 (354 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_49: CSA axiom clock_pattern_49 found
% Looking for CSA axiom ... clock_pattern_48: CSA axiom clock_pattern_48 found
% Looking for CSA axiom ... clock_pattern_47: CSA axiom clock_pattern_47 found
% ---- Iteration 120 (357 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_46: CSA axiom clock_pattern_46 found
% Looking for CSA axiom ... clock_pattern_45: CSA axiom clock_pattern_45 found
% Looking for CSA axiom ... clock_pattern_44: CSA axiom clock_pattern_44 found
% ---- Iteration 121 (360 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_43: CSA axiom clock_pattern_43 found
% Looking for CSA axiom ... clock_pattern_42: CSA axiom clock_pattern_42 found
% Looking for CSA axiom ... clock_pattern_41: CSA axiom clock_pattern_41 found
% ---- Iteration 122 (363 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_40: CSA axiom clock_pattern_40 found
% Looking for CSA axiom ... clock_pattern_39: CSA axiom clock_pattern_39 found
% Looking for CSA axiom ... clock_pattern_38: CSA axiom clock_pattern_38 found
% ---- Iteration 123 (366 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_37: CSA axiom clock_pattern_37 found
% Looking for CSA axiom ... clock_pattern_36: CSA axiom clock_pattern_36 found
% Looking for CSA axiom ... clock_pattern_35: CSA axiom clock_pattern_35 found
% ---- Iteration 124 (369 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_34: CSA axiom clock_pattern_34 found
% Looking for CSA axiom ... clock_pattern_33: CSA axiom clock_pattern_33 found
% Looking for CSA axiom ... clock_pattern_32: CSA axiom clock_pattern_32 found
% ---- Iteration 125 (372 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_31: CSA axiom clock_pattern_31 found
% Looking for CSA axiom ... clock_pattern_30: CSA axiom clock_pattern_30 found
% Looking for CSA axiom ... clock_pattern_29: CSA axiom clock_pattern_29 found
% ---- Iteration 126 (375 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_28: CSA axiom clock_pattern_28 found
% Looking for CSA axiom ... clock_pattern_27: CSA axiom clock_pattern_27 found
% Looking for CSA axiom ... clock_pattern_26: CSA axiom clock_pattern_26 found
% ---- Iteration 127 (378 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_25: CSA axiom clock_pattern_25 found
% Looking for CSA axiom ... clock_pattern_24: CSA axiom clock_pattern_24 found
% Looking for CSA axiom ... clock_pattern_23: CSA axiom clock_pattern_23 found
% ---- Iteration 128 (381 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_22: CSA axiom clock_pattern_22 found
% Looking for CSA axiom ... clock_pattern_21: CSA axiom clock_pattern_21 found
% Looking for CSA axiom ... clock_pattern_20: CSA axiom clock_pattern_20 found
% ---- Iteration 129 (384 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_19: CSA axiom clock_pattern_19 found
% Looking for CSA axiom ... clock_pattern_18: CSA axiom clock_pattern_18 found
% Looking for CSA axiom ... clock_pattern_17: CSA axiom clock_pattern_17 found
% ---- Iteration 130 (387 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_16: CSA axiom clock_pattern_16 found
% Looking for CSA axiom ... clock_pattern_15: CSA axiom clock_pattern_15 found
% Looking for CSA axiom ... clock_pattern_14: CSA axiom clock_pattern_14 found
% ---- Iteration 131 (390 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_13: CSA axiom clock_pattern_13 found
% Looking for CSA axiom ... clock_pattern_12: CSA axiom clock_pattern_12 found
% Looking for CSA axiom ... clock_pattern_11: CSA axiom clock_pattern_11 found
% ---- Iteration 132 (393 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_10: CSA axiom clock_pattern_10 found
% Looking for CSA axiom ... clock_pattern_9: CSA axiom clock_pattern_9 found
% Looking for CSA axiom ... clock_pattern_8: CSA axiom clock_pattern_8 found
% ---- Iteration 133 (396 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_7: CSA axiom clock_pattern_7 found
% Looking for CSA axiom ... clock_pattern_6: CSA axiom clock_pattern_6 found
% Looking for CSA axiom ... clock_pattern_5: CSA axiom clock_pattern_5 found
% ---- Iteration 134 (399 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_4: CSA axiom clock_pattern_4 found
% Looking for CSA axiom ... clock_pattern_3: CSA axiom clock_pattern_3 found
% Looking for CSA axiom ... clock_pattern_2: CSA axiom clock_pattern_2 found
% ---- Iteration 135 (402 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... clock_pattern_1: CSA axiom clock_pattern_1 found
% Looking for CSA axiom ... clock_pattern: CSA axiom clock_pattern found
% Looking for CSA axiom ... lessPredicateDefiningAxiom: CSA axiom lessPredicateDefiningAxiom found
% ---- Iteration 136 (405 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... addAssignmentInitValue_7: CSA axiom addAssignmentInitValue_7 found
% Looking for CSA axiom ... addAssignmentInitValue_6: CSA axiom addAssignmentInitValue_6 found
% Looking for CSA axiom ... addAssignmentInitValue_5: CSA axiom addAssignmentInitValue_5 found
% ---- Iteration 137 (408 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... addAssignmentInitValue_1: CSA axiom addAssignmentInitValue_1 found
% Looking for CSA axiom ... addAssignmentInitValue: CSA axiom addAssignmentInitValue found
% Looking for CSA axiom ... addConditionBooleanCondEqualRangesThenBranch: CSA axiom addConditionBooleanCondEqualRangesThenBranch found
% ---- Iteration 138 (411 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... addGlobalAssumption_2: CSA axiom addGlobalAssumption_2 found
% Looking for CSA axiom ... pathAxiom: CSA axiom pathAxiom found
% Looking for CSA axiom ... pathAxiom_199: CSA axiom pathAxiom_199 found
% ---- Iteration 139 (414 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_198: CSA axiom pathAxiom_198 found
% Looking for CSA axiom ... pathAxiom_197: CSA axiom pathAxiom_197 found
% Looking for CSA axiom ... pathAxiom_196: CSA axiom pathAxiom_196 found
% ---- Iteration 140 (417 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_195: CSA axiom pathAxiom_195 found
% Looking for CSA axiom ... pathAxiom_194: CSA axiom pathAxiom_194 found
% Looking for CSA axiom ... pathAxiom_193: CSA axiom pathAxiom_193 found
% ---- Iteration 141 (420 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_192: CSA axiom pathAxiom_192 found
% Looking for CSA axiom ... pathAxiom_191: CSA axiom pathAxiom_191 found
% Looking for CSA axiom ... pathAxiom_190: CSA axiom pathAxiom_190 found
% ---- Iteration 142 (423 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_189: CSA axiom pathAxiom_189 found
% Looking for CSA axiom ... pathAxiom_188: CSA axiom pathAxiom_188 found
% Looking for CSA axiom ... pathAxiom_187: CSA axiom pathAxiom_187 found
% ---- Iteration 143 (426 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_186: CSA axiom pathAxiom_186 found
% Looking for CSA axiom ... pathAxiom_185: CSA axiom pathAxiom_185 found
% Looking for CSA axiom ... pathAxiom_184: CSA axiom pathAxiom_184 found
% ---- Iteration 144 (429 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_183: CSA axiom pathAxiom_183 found
% Looking for CSA axiom ... pathAxiom_182: CSA axiom pathAxiom_182 found
% Looking for CSA axiom ... pathAxiom_181: CSA axiom pathAxiom_181 found
% ---- Iteration 145 (432 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_180: CSA axiom pathAxiom_180 found
% Looking for CSA axiom ... pathAxiom_179: CSA axiom pathAxiom_179 found
% Looking for CSA axiom ... pathAxiom_178: CSA axiom pathAxiom_178 found
% ---- Iteration 146 (435 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_177: CSA axiom pathAxiom_177 found
% Looking for CSA axiom ... pathAxiom_176: CSA axiom pathAxiom_176 found
% Looking for CSA axiom ... pathAxiom_175: CSA axiom pathAxiom_175 found
% ---- Iteration 147 (438 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_174: CSA axiom pathAxiom_174 found
% Looking for CSA axiom ... pathAxiom_173: CSA axiom pathAxiom_173 found
% Looking for CSA axiom ... pathAxiom_172: CSA axiom pathAxiom_172 found
% ---- Iteration 148 (441 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_171: CSA axiom pathAxiom_171 found
% Looking for CSA axiom ... pathAxiom_170: CSA axiom pathAxiom_170 found
% Looking for CSA axiom ... pathAxiom_169: CSA axiom pathAxiom_169 found
% ---- Iteration 149 (444 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_168: CSA axiom pathAxiom_168 found
% Looking for CSA axiom ... pathAxiom_167: CSA axiom pathAxiom_167 found
% Looking for CSA axiom ... pathAxiom_166: CSA axiom pathAxiom_166 found
% ---- Iteration 150 (447 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_165: CSA axiom pathAxiom_165 found
% Looking for CSA axiom ... pathAxiom_164: CSA axiom pathAxiom_164 found
% Looking for CSA axiom ... pathAxiom_163: CSA axiom pathAxiom_163 found
% ---- Iteration 151 (450 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_162: CSA axiom pathAxiom_162 found
% Looking for CSA axiom ... pathAxiom_161: CSA axiom pathAxiom_161 found
% Looking for CSA axiom ... pathAxiom_160: CSA axiom pathAxiom_160 found
% ---- Iteration 152 (453 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_159: CSA axiom pathAxiom_159 found
% Looking for CSA axiom ... pathAxiom_158: CSA axiom pathAxiom_158 found
% Looking for CSA axiom ... pathAxiom_157: CSA axiom pathAxiom_157 found
% ---- Iteration 153 (456 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_156: CSA axiom pathAxiom_156 found
% Looking for CSA axiom ... pathAxiom_155: CSA axiom pathAxiom_155 found
% Looking for CSA axiom ... pathAxiom_154: CSA axiom pathAxiom_154 found
% ---- Iteration 154 (459 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_153: CSA axiom pathAxiom_153 found
% Looking for CSA axiom ... pathAxiom_152: CSA axiom pathAxiom_152 found
% Looking for CSA axiom ... pathAxiom_151: CSA axiom pathAxiom_151 found
% ---- Iteration 155 (462 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_150: CSA axiom pathAxiom_150 found
% Looking for CSA axiom ... pathAxiom_149: CSA axiom pathAxiom_149 found
% Looking for CSA axiom ... pathAxiom_148: CSA axiom pathAxiom_148 found
% ---- Iteration 156 (465 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_147: CSA axiom pathAxiom_147 found
% Looking for CSA axiom ... pathAxiom_146: CSA axiom pathAxiom_146 found
% Looking for CSA axiom ... pathAxiom_145: CSA axiom pathAxiom_145 found
% ---- Iteration 157 (468 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_144: CSA axiom pathAxiom_144 found
% Looking for CSA axiom ... pathAxiom_143: CSA axiom pathAxiom_143 found
% Looking for CSA axiom ... pathAxiom_142: CSA axiom pathAxiom_142 found
% ---- Iteration 158 (471 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_141: CSA axiom pathAxiom_141 found
% Looking for CSA axiom ... pathAxiom_140: CSA axiom pathAxiom_140 found
% Looking for CSA axiom ... pathAxiom_139: CSA axiom pathAxiom_139 found
% ---- Iteration 159 (474 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_138: CSA axiom pathAxiom_138 found
% Looking for CSA axiom ... pathAxiom_137: CSA axiom pathAxiom_137 found
% Looking for CSA axiom ... pathAxiom_136: CSA axiom pathAxiom_136 found
% ---- Iteration 160 (477 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_135: CSA axiom pathAxiom_135 found
% Looking for CSA axiom ... pathAxiom_134: CSA axiom pathAxiom_134 found
% Looking for CSA axiom ... pathAxiom_133: CSA axiom pathAxiom_133 found
% ---- Iteration 161 (480 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_132: CSA axiom pathAxiom_132 found
% Looking for CSA axiom ... pathAxiom_131: CSA axiom pathAxiom_131 found
% Looking for CSA axiom ... pathAxiom_130: CSA axiom pathAxiom_130 found
% ---- Iteration 162 (483 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_129: CSA axiom pathAxiom_129 found
% Looking for CSA axiom ... pathAxiom_128: CSA axiom pathAxiom_128 found
% Looking for CSA axiom ... pathAxiom_127: CSA axiom pathAxiom_127 found
% ---- Iteration 163 (486 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_126: CSA axiom pathAxiom_126 found
% Looking for CSA axiom ... pathAxiom_125: CSA axiom pathAxiom_125 found
% Looking for CSA axiom ... pathAxiom_124: CSA axiom pathAxiom_124 found
% ---- Iteration 164 (489 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_123: CSA axiom pathAxiom_123 found
% Looking for CSA axiom ... pathAxiom_122: CSA axiom pathAxiom_122 found
% Looking for CSA axiom ... pathAxiom_121: CSA axiom pathAxiom_121 found
% ---- Iteration 165 (492 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_120: CSA axiom pathAxiom_120 found
% Looking for CSA axiom ... pathAxiom_119: CSA axiom pathAxiom_119 found
% Looking for CSA axiom ... pathAxiom_118: CSA axiom pathAxiom_118 found
% ---- Iteration 166 (495 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_117: CSA axiom pathAxiom_117 found
% Looking for CSA axiom ... pathAxiom_116: CSA axiom pathAxiom_116 found
% Looking for CSA axiom ... pathAxiom_115: CSA axiom pathAxiom_115 found
% ---- Iteration 167 (498 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_114: CSA axiom pathAxiom_114 found
% Looking for CSA axiom ... pathAxiom_113: CSA axiom pathAxiom_113 found
% Looking for CSA axiom ... pathAxiom_112: CSA axiom pathAxiom_112 found
% ---- Iteration 168 (501 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_111: CSA axiom pathAxiom_111 found
% Looking for CSA axiom ... pathAxiom_110: CSA axiom pathAxiom_110 found
% Looking for CSA axiom ... pathAxiom_109: CSA axiom pathAxiom_109 found
% ---- Iteration 169 (504 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_108: CSA axiom pathAxiom_108 found
% Looking for CSA axiom ... pathAxiom_107: CSA axiom pathAxiom_107 found
% Looking for CSA axiom ... pathAxiom_106: CSA axiom pathAxiom_106 found
% ---- Iteration 170 (507 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_105: CSA axiom pathAxiom_105 found
% Looking for CSA axiom ... pathAxiom_104: CSA axiom pathAxiom_104 found
% Looking for CSA axiom ... pathAxiom_103: CSA axiom pathAxiom_103 found
% ---- Iteration 171 (510 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_102: CSA axiom pathAxiom_102 found
% Looking for CSA axiom ... pathAxiom_101: CSA axiom pathAxiom_101 found
% Looking for CSA axiom ... pathAxiom_100: CSA axiom pathAxiom_100 found
% ---- Iteration 172 (513 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_99: CSA axiom pathAxiom_99 found
% Looking for CSA axiom ... pathAxiom_98: CSA axiom pathAxiom_98 found
% Looking for CSA axiom ... pathAxiom_97: CSA axiom pathAxiom_97 found
% ---- Iteration 173 (516 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_96: CSA axiom pathAxiom_96 found
% Looking for CSA axiom ... pathAxiom_95: CSA axiom pathAxiom_95 found
% Looking for CSA axiom ... pathAxiom_94: CSA axiom pathAxiom_94 found
% ---- Iteration 174 (519 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_93: CSA axiom pathAxiom_93 found
% Looking for CSA axiom ... pathAxiom_92: CSA axiom pathAxiom_92 found
% Looking for CSA axiom ... pathAxiom_91: CSA axiom pathAxiom_91 found
% ---- Iteration 175 (522 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_90: CSA axiom pathAxiom_90 found
% Looking for CSA axiom ... pathAxiom_89: CSA axiom pathAxiom_89 found
% Looking for CSA axiom ... pathAxiom_88: CSA axiom pathAxiom_88 found
% ---- Iteration 176 (525 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_87: CSA axiom pathAxiom_87 found
% Looking for CSA axiom ... pathAxiom_86: CSA axiom pathAxiom_86 found
% Looking for CSA axiom ... pathAxiom_85: CSA axiom pathAxiom_85 found
% ---- Iteration 177 (528 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_84: CSA axiom pathAxiom_84 found
% Looking for CSA axiom ... pathAxiom_83: CSA axiom pathAxiom_83 found
% Looking for CSA axiom ... pathAxiom_82: CSA axiom pathAxiom_82 found
% ---- Iteration 178 (531 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_81: CSA axiom pathAxiom_81 found
% Looking for CSA axiom ... pathAxiom_80: CSA axiom pathAxiom_80 found
% Looking for CSA axiom ... pathAxiom_79: CSA axiom pathAxiom_79 found
% ---- Iteration 179 (534 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_78: CSA axiom pathAxiom_78 found
% Looking for CSA axiom ... pathAxiom_77: CSA axiom pathAxiom_77 found
% Looking for CSA axiom ... pathAxiom_76: CSA axiom pathAxiom_76 found
% ---- Iteration 180 (537 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_75: CSA axiom pathAxiom_75 found
% Looking for CSA axiom ... pathAxiom_74: CSA axiom pathAxiom_74 found
% Looking for CSA axiom ... pathAxiom_73: CSA axiom pathAxiom_73 found
% ---- Iteration 181 (540 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_72: CSA axiom pathAxiom_72 found
% Looking for CSA axiom ... pathAxiom_71: CSA axiom pathAxiom_71 found
% Looking for CSA axiom ... pathAxiom_70: CSA axiom pathAxiom_70 found
% ---- Iteration 182 (543 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_69: CSA axiom pathAxiom_69 found
% Looking for CSA axiom ... pathAxiom_68: CSA axiom pathAxiom_68 found
% Looking for CSA axiom ... pathAxiom_67: CSA axiom pathAxiom_67 found
% ---- Iteration 183 (546 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_66: CSA axiom pathAxiom_66 found
% Looking for CSA axiom ... pathAxiom_65: CSA axiom pathAxiom_65 found
% Looking for CSA axiom ... pathAxiom_64: CSA axiom pathAxiom_64 found
% ---- Iteration 184 (549 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_63: CSA axiom pathAxiom_63 found
% Looking for CSA axiom ... pathAxiom_62: CSA axiom pathAxiom_62 found
% Looking for CSA axiom ... pathAxiom_61: CSA axiom pathAxiom_61 found
% ---- Iteration 185 (552 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_60: CSA axiom pathAxiom_60 found
% Looking for CSA axiom ... pathAxiom_59: CSA axiom pathAxiom_59 found
% Looking for CSA axiom ... pathAxiom_58: CSA axiom pathAxiom_58 found
% ---- Iteration 186 (555 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_57: CSA axiom pathAxiom_57 found
% Looking for CSA axiom ... pathAxiom_56: CSA axiom pathAxiom_56 found
% Looking for CSA axiom ... pathAxiom_55: CSA axiom pathAxiom_55 found
% ---- Iteration 187 (558 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_54: CSA axiom pathAxiom_54 found
% Looking for CSA axiom ... pathAxiom_53: CSA axiom pathAxiom_53 found
% Looking for CSA axiom ... pathAxiom_52: CSA axiom pathAxiom_52 found
% ---- Iteration 188 (561 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_51: CSA axiom pathAxiom_51 found
% Looking for CSA axiom ... pathAxiom_50: CSA axiom pathAxiom_50 found
% Looking for CSA axiom ... pathAxiom_49: CSA axiom pathAxiom_49 found
% ---- Iteration 189 (564 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_48: CSA axiom pathAxiom_48 found
% Looking for CSA axiom ... pathAxiom_47: CSA axiom pathAxiom_47 found
% Looking for CSA axiom ... pathAxiom_46: CSA axiom pathAxiom_46 found
% ---- Iteration 190 (567 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_45: CSA axiom pathAxiom_45 found
% Looking for CSA axiom ... pathAxiom_44: CSA axiom pathAxiom_44 found
% Looking for CSA axiom ... pathAxiom_43: CSA axiom pathAxiom_43 found
% ---- Iteration 191 (570 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_42: CSA axiom pathAxiom_42 found
% Looking for CSA axiom ... pathAxiom_41: CSA axiom pathAxiom_41 found
% Looking for CSA axiom ... pathAxiom_40: CSA axiom pathAxiom_40 found
% ---- Iteration 192 (573 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_39: CSA axiom pathAxiom_39 found
% Looking for CSA axiom ... pathAxiom_38: CSA axiom pathAxiom_38 found
% Looking for CSA axiom ... pathAxiom_37: CSA axiom pathAxiom_37 found
% ---- Iteration 193 (576 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_36: CSA axiom pathAxiom_36 found
% Looking for CSA axiom ... pathAxiom_35: CSA axiom pathAxiom_35 found
% Looking for CSA axiom ... pathAxiom_34: CSA axiom pathAxiom_34 found
% ---- Iteration 194 (579 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_33: CSA axiom pathAxiom_33 found
% Looking for CSA axiom ... pathAxiom_32: CSA axiom pathAxiom_32 found
% Looking for CSA axiom ... pathAxiom_31: CSA axiom pathAxiom_31 found
% ---- Iteration 195 (582 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_30: CSA axiom pathAxiom_30 found
% Looking for CSA axiom ... pathAxiom_29: CSA axiom pathAxiom_29 found
% Looking for CSA axiom ... pathAxiom_28: CSA axiom pathAxiom_28 found
% ---- Iteration 196 (585 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_27: CSA axiom pathAxiom_27 found
% Looking for CSA axiom ... pathAxiom_26: CSA axiom pathAxiom_26 found
% Looking for CSA axiom ... pathAxiom_25: CSA axiom pathAxiom_25 found
% ---- Iteration 197 (588 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_24: CSA axiom pathAxiom_24 found
% Looking for CSA axiom ... pathAxiom_23: CSA axiom pathAxiom_23 found
% Looking for CSA axiom ... pathAxiom_22: CSA axiom pathAxiom_22 found
% ---- Iteration 198 (591 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_21: CSA axiom pathAxiom_21 found
% Looking for CSA axiom ... pathAxiom_20: CSA axiom pathAxiom_20 found
% Looking for CSA axiom ... pathAxiom_19: CSA axiom pathAxiom_19 found
% ---- Iteration 199 (594 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_18: CSA axiom pathAxiom_18 found
% Looking for CSA axiom ... pathAxiom_17: CSA axiom pathAxiom_17 found
% Looking for CSA axiom ... pathAxiom_16: CSA axiom pathAxiom_16 found
% ---- Iteration 200 (597 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_15: CSA axiom pathAxiom_15 found
% Looking for CSA axiom ... pathAxiom_14: CSA axiom pathAxiom_14 found
% Looking for CSA axiom ... pathAxiom_13: CSA axiom pathAxiom_13 found
% ---- Iteration 201 (600 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_12: CSA axiom pathAxiom_12 found
% Looking for CSA axiom ... pathAxiom_11: CSA axiom pathAxiom_11 found
% Looking for CSA axiom ... pathAxiom_10: CSA axiom pathAxiom_10 found
% ---- Iteration 202 (603 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_9: CSA axiom pathAxiom_9 found
% Looking for CSA axiom ... pathAxiom_8: CSA axiom pathAxiom_8 found
% Looking for CSA axiom ... pathAxiom_7: CSA axiom pathAxiom_7 found
% ---- Iteration 203 (606 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_6: CSA axiom pathAxiom_6 found
% Looking for CSA axiom ... pathAxiom_5: CSA axiom pathAxiom_5 found
% Looking for CSA axiom ... pathAxiom_4: CSA axiom pathAxiom_4 found
% ---- Iteration 204 (609 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... pathAxiom_3: CSA axiom pathAxiom_3 found
% Looking for CSA axiom ... pathAxiom_2: CSA axiom pathAxiom_2 found
% Looking for CSA axiom ... pathAxiom_1: CSA axiom pathAxiom_1 found
% ---- Iteration 205 (612 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... lessPredicateGroundAxiom_5: CSA axiom lessPredicateGroundAxiom_5 found
% Looking for CSA axiom ... lessPredicateGroundAxiom_4: CSA axiom lessPredicateGroundAxiom_4 found
% Looking for CSA axiom ... lessPredicateGroundAxiom_3: CSA axiom lessPredicateGroundAxiom_3 found
% ---- Iteration 206 (615 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... writeBinaryOperatorEqualRangesSingleBits_43: CSA axiom writeBinaryOperatorEqualRangesSingleBits_43 found
% Looking for CSA axiom ... addAssignmentInitValue_4: CSA axiom addAssignmentInitValue_4 found
% Looking for CSA axiom ... addAssignmentInitValue_3: CSA axiom addAssignmentInitValue_3 found
% ---- Iteration 207 (618 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... addAssignmentInitValue_2: CSA axiom addAssignmentInitValue_2 found
% Looking for CSA axiom ... writeUnaryOperator_10: CSA axiom writeUnaryOperator_10 found
% Looking for CSA axiom ... writeUnaryOperator_5: CSA axiom writeUnaryOperator_5 found
% ---- Iteration 208 (621 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... writeUnaryOperator_1: CSA axiom writeUnaryOperator_1 found
% Looking for CSA axiom ... lessPredicateGroundAxiom_2:lessPredicateGroundAxiom_1:lessPredicateGroundAxiom:bitBlastConstant_20: CSA axiom bitBlastConstant_20 found
% Looking for CSA axiom ... bitBlastConstant_19: CSA axiom bitBlastConstant_19 found
% ---- Iteration 209 (624 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... lessPredicateGroundAxiom_2:lessPredicateGroundAxiom_1:lessPredicateGroundAxiom:bitBlastConstant_18: CSA axiom bitBlastConstant_18 found
% Looking for CSA axiom ... bitBlastConstant_17: CSA axiom bitBlastConstant_17 found
% Looking for CSA axiom ... bitBlastConstant_16: CSA axiom bitBlastConstant_16 found
% ---- Iteration 210 (627 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... lessPredicateGroundAxiom_2:lessPredicateGroundAxiom_1:lessPredicateGroundAxiom:bitBlastConstant_15: CSA axiom bitBlastConstant_15 found
% Looking for CSA axiom ... bitBlastConstant_14: CSA axiom bitBlastConstant_14 found
% Looking for CSA axiom ... bitBlastConstant_13: CSA axiom bitBlastConstant_13 found
% ---- Iteration 211 (630 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... lessPredicateGroundAxiom_2:lessPredicateGroundAxiom_1:lessPredicateGroundAxiom:bitBlastConstant_12: CSA axiom bitBlastConstant_12 found
% Looking for CSA axiom ... bitBlastConstant_11: CSA axiom bitBlastConstant_11 found
% Looking for CSA axiom ... bitBlastConstant_10: CSA axiom bitBlastConstant_10 found
% ---- Iteration 212 (633 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... lessPredicateGroundAxiom_2:lessPredicateGroundAxiom_1:lessPredicateGroundAxiom:bitBlastConstant_9: CSA axiom bitBlastConstant_9 found
% Looking for CSA axiom ... bitBlastConstant_8: CSA axiom bitBlastConstant_8 found
% Looking for CSA axiom ... bitBlastConstant_7: CSA axiom bitBlastConstant_7 found
% ---- Iteration 213 (636 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... lessPredicateGroundAxiom_2:lessPredicateGroundAxiom_1:lessPredicateGroundAxiom:bitBlastConstant_6: CSA axiom bitBlastConstant_6 found
% Looking for CSA axiom ... bitBlastConstant_5: CSA axiom bitBlastConstant_5 found
% Looking for CSA axiom ... bitBlastConstant_4: CSA axiom bitBlastConstant_4 found
% ---- Iteration 214 (639 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... lessPredicateGroundAxiom_2:lessPredicateGroundAxiom_1:lessPredicateGroundAxiom:bitBlastConstant_3: CSA axiom bitBlastConstant_3 found
% Looking for CSA axiom ... bitBlastConstant_2: CSA axiom bitBlastConstant_2 found
% Looking for CSA axiom ... bitBlastConstant_1: CSA axiom bitBlastConstant_1 found
% ---- Iteration 215 (642 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... lessPredicateGroundAxiom_2:lessPredicateGroundAxiom_1:lessPredicateGroundAxiom:bitBlastConstant: CSA axiom bitBlastConstant found
% Looking for CSA axiom ... writeBinaryOperatorEqualRangesSingleBits_27: CSA axiom writeBinaryOperatorEqualRangesSingleBits_27 found
% Looking for CSA axiom ... addAssignment_5: CSA axiom addAssignment_5 found
% ---- Iteration 216 (645 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... lessPredicateGroundAxiom_2:lessPredicateGroundAxiom_1:lessPredicateGroundAxiom:addGlobalAssumption_1: CSA axiom addGlobalAssumption_1 found
% Looking for CSA axiom ... addGlobalAssumption: CSA axiom addGlobalAssumption found
% Looking for CSA axiom ... writeBinaryOperatorEqualRangesSingleBits_18: CSA axiom writeBinaryOperatorEqualRangesSingleBits_18 found
% ---- Iteration 217 (648 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... lessPredicateGroundAxiom_2:lessPredicateGroundAxiom_1:lessPredicateGroundAxiom:writeUnaryOperator_9: CSA axiom writeUnaryOperator_9 found
% Looking for CSA axiom ... writeUnaryOperator_3: CSA axiom writeUnaryOperator_3 found
% Looking for CSA axiom ... writeUnaryOperator: CSA axiom writeUnaryOperator found
% ---- Iteration 218 (651 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... lessPredicateGroundAxiom_2:lessPredicateGroundAxiom_1:lessPredicateGroundAxiom:addAssignment_10: CSA axiom addAssignment_10 found
% Looking for CSA axiom ... addAssignment_9: CSA axiom addAssignment_9 found
% Looking for CSA axiom ... addAssignment_8: CSA axiom addAssignment_8 found
% ---- Iteration 219 (654 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... lessPredicateGroundAxiom_2:lessPredicateGroundAxiom_1:lessPredicateGroundAxiom:writeUnaryOperator_15: CSA axiom writeUnaryOperator_15 found
% Looking for CSA axiom ... addAssignment_6: CSA axiom addAssignment_6 found
% Looking for CSA axiom ... writeUnaryOperator_12: CSA axiom writeUnaryOperator_12 found
% ---- Iteration 220 (657 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... lessPredicateGroundAxiom_2:lessPredicateGroundAxiom_1:lessPredicateGroundAxiom:aaddConditionBooleanCondEqualRangesElseBranch_3:addAssignment_4:addAssignment_3:addAssignment_2:writeUnaryOperator_4:aaddConditionBooleanCondEqualRangesElseBranch:addAssignment: CSA axiom addAssignment found
% Looking for CSA axiom ... writeUnaryOperator_16:aaddConditionBooleanCondEqualRangesElseBranch_6:aaddConditionBooleanCondEqualRangesElseBranch_5:aaddConditionBooleanCondEqualRangesElseBranch_4:writeUnaryOperator_14:writeUnaryOperator_13:writeUnaryOperator_7: CSA axiom writeUnaryOperator_7 found
% Looking for CSA axiom ... aaddConditionBooleanCondEqualRangesElseBranch_2:aaddConditionBooleanCondEqualRangesElseBranch_1:addAssignment_1: CSA axiom addAssignment_1 found
% ---- Iteration 221 (660 axioms selected)
% Looking for TBU SAT   ... yes
% Looking for TBU model ... not found
% Looking for CSA axiom ... lessPredicateGroundAxiom_2:lessPredicateGroundAxiom_1:lessPredicateGroundAxiom:aaddConditionBooleanCondEqualRangesElseBranch_3:addAssignment_4:addAssignment_3:addAssignment_2:writeUnaryOperator_4:aaddConditionBooleanCondEqualRangesElseBranch:writeUnaryOperator_16: CSA axiom not found
% Looking for TOP axiom ... lessPredicateGroundAxiom_2: TOP axiom lessPredicateGroundAxiom_2 found
% SZS status GUP for /tmp/SystemOnTPTP9358/HWV050+2.tptp : TOP
% 
%------------------------------------------------------------------------------