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


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


(error "line 50 column 14449: unknown constant v_#memory_int_6")
(error "line 57 column 9772: unknown constant v_~bitwiseOr_3")
(error "line 58 column 13686: unknown constant v_~bitwiseOr_5")
(error "line 60 column 14489: unknown constant v_~bitwiseAnd_8")
(error "line 64 column 10232: unknown constant v_#memory_int_22")
(error "line 66 column 10267: unknown constant v_#memory_int_15")
(error "line 68 column 14414: unknown constant v_#memory_int_10")
(error "line 75 column 13988: unknown constant v_~bitwiseOr_15")
(error "line 78 column 14053: unknown constant v_#memory_int_27")
(error "line 91 column 9654: unknown constant v_~bitwiseOr_20")
(error "line 92 column 13325: unknown constant v_~bitwiseOr_22")
(error "line 99 column 14053: unknown constant v_#memory_real_31")
(error "line 101 column 10026: unknown constant v_#memory_int_32")
(error "line 108 column 9526: unknown constant v_~bitwiseAnd_13")
(error "line 109 column 9536: unknown constant v_~bitwiseAnd_2")
(error "line 110 column 13342: unknown constant v_~someBinaryDOUBLEComparisonOperation_4")
(error "line 111 column 13347: unknown constant v_~someBinaryDOUBLEComparisonOperation_2")
sat