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


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


(error "line 32 column 5149: unknown constant v_#memory_int_6")
(error "line 36 column 6948: unknown constant v_~bitwiseAnd_8")
(error "line 43 column 7188: unknown constant v_#memory_real_16")
(error "line 45 column 7155: unknown constant v_#memory_real_24")
(error "line 49 column 5149: unknown constant v_#memory_real_30")
(error "line 59 column 7188: unknown constant v_#memory_int_12")
(error "line 63 column 5074: unknown constant v_~bitwiseOr_11")
sat