/storage/repos/ultimate/releaseScripts/default/adds/z3 /storage/repos/svcomp/c/float-benchs/mea8000_true-unreach-call.c.smt2


--------------------------------------------------------------------------------


(error "line 113 column 24666: unknown constant v_~someBinaryDOUBLEComparisonOperation_9")
(error "line 115 column 23889: unknown constant v_~convertDOUBLEToINT_2")
(error "line 119 column 17362: unknown constant v_~someBinaryDOUBLEComparisonOperation_16")
(error "line 120 column 24671: unknown constant v_~someBinaryDOUBLEComparisonOperation_18")
(error "line 130 column 17452: unknown constant v_~convertDOUBLEToINT_4")
(error "line 136 column 17777: unknown constant v_~someBinaryDOUBLEComparisonOperation_29")
(error "line 137 column 17796: unknown constant v_~someBinaryDOUBLEComparisonOperation_34")
(error "line 145 column 24468: unknown constant ~mea8000_state~0~MEA8000_STOPPED")
(error "line 147 column 24488: unknown constant ~mea8000_state~0~MEA8000_WAIT_FIRST")
(error "line 148 column 17364: unknown constant ~mea8000_state~0~MEA8000_STOPPED")
(error "line 153 column 17395: unknown constant ~mea8000_state~0~MEA8000_STOPPED")
(error "line 155 column 25663: unknown constant v_~convertDOUBLEToINT_7")
(error "line 161 column 25325: unknown constant v_~bitwiseAnd_20")
(error "line 170 column 17471: unknown constant v_#memory_int_42")
(error "line 171 column 17448: unknown constant ~mea8000_state~0~MEA8000_WAIT_FIRST")
(error "line 172 column 25763: unknown constant v_~bitwiseAnd_24")
(error "line 180 column 25886: unknown constant v_#memory_int_54")
(error "line 182 column 17824: unknown constant ~mea8000_state~0~MEA8000_STOPPED")
(error "line 194 column 25797: unknown constant v_#memory_int_50")
(error "line 209 column 25885: unknown constant v_#memory_int_12")
(error "line 216 column 17390: unknown constant ~mea8000_state~0~MEA8000_STARTED")
(error "line 221 column 25776: unknown constant v_#memory_int_24")
(error "line 230 column 25720: unknown constant v_~someBinaryDOUBLEComparisonOperation_20")
(error "line 231 column 25760: unknown constant v_~someBinaryDOUBLEComparisonOperation_22")
(error "line 235 column 17839: unknown constant ~mea8000_state~0~MEA8000_STARTED")
(error "line 236 column 24457: unknown constant ~mea8000_state~0~MEA8000_STARTED")
(error "line 237 column 18191: unknown constant v_~someBinaryDOUBLEComparisonOperation_26")
(error "line 238 column 18196: unknown constant v_~someBinaryDOUBLEComparisonOperation_32")
(error "line 242 column 24921: unknown constant ~mea8000_state~0~MEA8000_SLOWING")
(error "line 243 column 25315: unknown constant ~mea8000_state~0~MEA8000_STOPPED")
(error "line 244 column 17331: unknown constant ~mea8000_state~0~MEA8000_SLOWING")
(error "line 262 column 18213: unknown constant v_~someBinaryDOUBLEComparisonOperation_37")
(error "line 263 column 17849: unknown constant v_~someBinaryDOUBLEComparisonOperation_40")
(error "line 264 column 17796: unknown constant v_~someBinaryDOUBLEComparisonOperation_3")
(error "line 265 column 25073: unknown constant v_~someBinaryDOUBLEComparisonOperation_6")
(error "line 267 column 24803: unknown constant v_#memory_int_6")
sat