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


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


(error "line 81 column 9230: unknown constant v_#memory_int_4")
(error "line 101 column 9451: unknown constant v_#memory_int_15")
(error "line 105 column 12957: unknown constant v_#memory_int_19")
(error "line 107 column 9230: unknown constant v_#memory_int_26")
(error "line 111 column 12882: unknown constant v_~bitwiseAnd_4")
(error "line 135 column 9451: unknown constant v_#memory_int_8")
(error "line 143 column 12865: unknown constant v_#memory_real_10")
(error "line 148 column 9219: unknown constant v_~bitwiseAnd_7")
(error "line 155 column 12910: unknown constant v_~bitwiseAnd_15")
(error "line 160 column 12727: unknown constant v_~bitwiseAnd_10")
(error "line 164 column 9262: unknown constant v_~bitwiseAnd_18")
(error "line 182 column 8735: unknown constant v_~someBinaryFLOATComparisonOperation_3")
(error "line 183 column 12277: unknown constant v_~someBinaryFLOATComparisonOperation_9")
(error "line 186 column 9175: unknown constant v_~someBinaryFLOATComparisonOperation_11")
(error "line 187 column 9180: unknown constant v_~someBinaryFLOATComparisonOperation_17")
(error "line 190 column 8842: unknown constant v_~someBinaryFLOATComparisonOperation_5")
(error "line 191 column 8772: unknown constant v_~someBinaryFLOATComparisonOperation_7")
(error "line 192 column 12957: unknown constant v_#memory_real_20")
(error "line 194 column 9180: unknown constant v_~someBinaryFLOATComparisonOperation_13")
(error "line 195 column 12907: unknown constant v_~someBinaryFLOATComparisonOperation_15")
(error "line 196 column 12957: unknown constant v_#memory_real_27")
sat