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


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


(error "line 49 column 8971: unknown constant v_#memory_int_4")
(error "line 55 column 8509: unknown constant v_~bitwiseAnd_5")
(error "line 56 column 12035: unknown constant v_~someBinaryFLOATComparisonOperation_6")
(error "line 69 column 12605: unknown constant v_#memory_int_8")
(error "line 71 column 8975: unknown constant v_~bitwiseAnd_9")
(error "line 75 column 8971: unknown constant v_#memory_real_10")
(error "line 80 column 8762: unknown constant v_#memory_int_15")
(error "line 86 column 11650: unknown constant v_~bitwiseAnd_14")
(error "line 94 column 12257: unknown constant v_#memory_int_19")
(error "line 99 column 12257: unknown constant v_#memory_real_20")
(error "line 104 column 8326: unknown constant v_~bitwiseAnd_18")
(error "line 105 column 11623: unknown constant v_~bitwiseAnd_2")
(error "line 106 column 11642: unknown constant v_~someBinaryFLOATComparisonOperation_2")
(error "line 107 column 11615: unknown constant v_~someBinaryFLOATComparisonOperation_4")
sat