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


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


(error "line 123 column 18390: unknown constant v_#memory_int_6")
(error "line 128 column 18355: unknown constant v_#memory_int_12")
(error "line 133 column 12419: unknown constant v_~bitwiseOr_3")
(error "line 134 column 12396: unknown constant v_~bitwiseOr_7")
(error "line 136 column 12677: unknown constant v_~bitwiseOr_10")
(error "line 137 column 12415: unknown constant v_~bitwiseOr_13")
(error "line 140 column 12730: unknown constant v_#memory_int_16")
(error "line 142 column 17456: unknown constant v_~bitwiseOr_15")
(error "line 143 column 12690: unknown constant v_~bitwiseOr_17")
(error "line 144 column 18390: unknown constant v_#memory_int_72")
(error "line 153 column 17761: unknown constant v_~bitwiseOr_19")
(error "line 154 column 17766: unknown constant v_~bitwiseOr_21")
(error "line 157 column 17805: unknown constant v_~bitwiseAnd_12")
(error "line 170 column 17926: unknown constant v_#memory_int_20")
(error "line 187 column 12696: unknown constant v_#memory_int_24")
(error "line 202 column 17871: unknown constant v_~someBinaryDOUBLEComparisonOperation_2")
(error "line 203 column 12406: unknown constant v_~someBinaryDOUBLEComparisonOperation_4")
(error "line 207 column 17328: unknown constant v_#memory_int_30")
(error "line 230 column 17892: unknown constant v_#memory_int_34")
(error "line 243 column 12696: unknown constant v_#memory_int_40")
(error "line 251 column 18390: unknown constant v_#memory_int_62")
(error "line 265 column 12729: unknown constant v_#memory_real_69")
(error "line 274 column 12730: unknown constant v_#memory_int_44")
(error "line 281 column 12730: unknown constant v_#memory_int_48")
(error "line 291 column 18090: unknown constant v_#memory_int_52")
(error "line 296 column 18255: unknown constant v_~someBinaryDOUBLEComparisonOperation_6")
(error "line 297 column 17910: unknown constant v_~someBinaryDOUBLEComparisonOperation_8")
(error "line 301 column 17892: unknown constant v_#memory_real_56")
sat