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


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


(error "line 50 column 14414: unknown constant v_#memory_int_6")
(error "line 57 column 13712: unknown constant v_~bitwiseOr_3")
(error "line 58 column 13719: unknown constant v_~bitwiseOr_5")
(error "line 60 column 14509: unknown constant v_~bitwiseAnd_8")
(error "line 64 column 14414: unknown constant v_#memory_int_22")
(error "line 66 column 10026: unknown constant v_#memory_int_15")
(error "line 68 column 10267: unknown constant v_#memory_int_10")
(error "line 75 column 9833: unknown constant v_~bitwiseOr_15")
(error "line 78 column 9992: unknown constant v_#memory_int_27")
(error "line 91 column 13592: unknown constant v_~bitwiseOr_20")
(error "line 92 column 9506: unknown constant v_~bitwiseOr_22")
(error "line 99 column 9992: unknown constant v_#memory_real_31")
(error "line 101 column 14053: unknown constant v_#memory_int_32")
(error "line 108 column 9526: unknown constant v_~bitwiseAnd_13")
(error "line 109 column 13554: unknown constant v_~bitwiseAnd_2")
(error "line 110 column 13310: unknown constant v_~someBinaryDOUBLEComparisonOperation_4")
(error "line 111 column 13347: unknown constant v_~someBinaryDOUBLEComparisonOperation_2")
sat