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


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


(error "line 42 column 7841: unknown constant v_#memory_int_4")
(error "line 49 column 10620: unknown constant v_~someBinaryFLOATComparisonOperation_6")
(error "line 73 column 10598: unknown constant v_~someBinaryFLOATComparisonOperation_2")
(error "line 74 column 10791: unknown constant v_~someBinaryFLOATComparisonOperation_4")
(error "line 80 column 10962: unknown constant v_#memory_int_8")
(error "line 82 column 7808: unknown constant v_#memory_int_15")
(error "line 86 column 7653: unknown constant v_#memory_real_13")
(error "line 90 column 10888: unknown constant v_#memory_real_20")
sat