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


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


(error "line 41 column 9715: unknown constant v_ULTIMATE.start_main_#t~nondet10_3")
(error "line 44 column 10268: unknown constant v_#memory_int_4")
(error "line 51 column 7144: unknown constant v_#memory_int_8")
(error "line 60 column 6828: unknown constant v_~bitwiseAnd_4")
(error "line 62 column 9853: unknown constant v_~someBinaryFLOATComparisonOperation_7")
(error "line 74 column 7177: unknown constant v_#memory_int_12")
(error "line 79 column 10015: unknown constant v_#memory_real_13")
(error "line 84 column 9491: unknown constant v_~bitwiseAnd_8")
(error "line 85 column 6886: unknown constant v_~bitwiseAnd_10")
(error "line 86 column 6787: unknown constant v_~someBinaryFLOATComparisonOperation_3")
(error "line 87 column 9493: unknown constant v_~someBinaryFLOATComparisonOperation_5")
sat