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


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


(error "line 49 column 8971: unknown constant v_#memory_int_4")
(error "line 55 column 11933: unknown constant v_~bitwiseAnd_5")
(error "line 56 column 12068: unknown constant v_~someBinaryFLOATComparisonOperation_6")
(error "line 69 column 8936: unknown constant v_#memory_int_8")
(error "line 71 column 12609: unknown constant v_~bitwiseAnd_9")
(error "line 75 column 12570: unknown constant v_#memory_real_10")
(error "line 80 column 8728: unknown constant v_#memory_int_15")
(error "line 86 column 11650: unknown constant v_~bitwiseAnd_14")
(error "line 94 column 8728: unknown constant v_#memory_int_19")
(error "line 99 column 8762: unknown constant v_#memory_real_20")
(error "line 104 column 11645: 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 11647: unknown constant v_~someBinaryFLOATComparisonOperation_4")
sat