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


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


(error "line 46 column 9914: unknown constant v_ULTIMATE.start_main_#t~nondet17_3")
(error "line 47 column 9910: unknown constant v_#memory_int_8")
(error "line 53 column 7583: unknown constant v_~someBinaryArithmeticFLOAToperation_4")
(error "line 56 column 7093: unknown constant v_#memory_int_29")
(error "line 58 column 9918: unknown constant v_#memory_real_11")
(error "line 60 column 10036: unknown constant v_~bitwiseAnd_7")
(error "line 61 column 6884: unknown constant v_~bitwiseAnd_10")
(error "line 64 column 9592: unknown constant v_#memory_real_34")
(error "line 69 column 7060: unknown constant v_#memory_int_17")
(error "line 71 column 7068: unknown constant v_#memory_real_24")
(error "line 79 column 6892: unknown constant v_#memory_real_20")
(error "line 84 column 7093: unknown constant v_#memory_int_36")
(error "line 99 column 7060: unknown constant v_#memory_int_4")
(error "line 107 column 6955: unknown constant v_~bitwiseAnd_2")
sat