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


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


(error "line 65 column 10480: unknown constant v_#memory_int_4")
(error "line 79 column 10268: unknown constant v_#memory_int_29")
(error "line 88 column 10020: unknown constant v_~bitwiseAnd_13")
(error "line 92 column 10074: unknown constant v_~someBinaryFLOATComparisonOperation_2")
(error "line 93 column 14537: unknown constant v_~someBinaryFLOATComparisonOperation_4")
(error "line 94 column 10234: unknown constant v_#memory_int_8")
(error "line 100 column 10020: unknown constant v_#memory_real_10")
(error "line 106 column 10268: unknown constant v_#memory_int_15")
(error "line 122 column 14801: unknown constant v_#memory_int_22")
(error "line 128 column 14325: unknown constant v_#memory_real_24")
(error "line 131 column 10223: unknown constant v_~bitwiseAnd_5")
(error "line 139 column 10016: unknown constant v_~bitwiseAnd_8")
(error "line 149 column 13635: unknown constant v_~someBinaryFLOATComparisonOperation_6")
(error "line 150 column 9726: unknown constant v_~someBinaryFLOATComparisonOperation_12")
(error "line 153 column 9828: unknown constant v_~someBinaryFLOATComparisonOperation_8")
(error "line 154 column 13672: unknown constant v_~someBinaryFLOATComparisonOperation_10")
(error "line 155 column 10268: unknown constant v_#memory_real_17")
sat