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


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


(error "line 56 column 12727: unknown constant v_ULTIMATE.start_main_#t~nondet27_3")
(error "line 57 column 8802: unknown constant v_#memory_int_6")
(error "line 66 column 12779: unknown constant v_~someBinaryArithmeticDOUBLEoperation_5")
(error "line 68 column 12334: unknown constant v_#memory_real_18")
(error "line 70 column 12825: unknown constant v_~bitwiseOr_14")
(error "line 71 column 8550: unknown constant v_~bitwiseOr_16")
(error "line 72 column 8768: unknown constant v_#memory_int_45")
(error "line 74 column 12106: unknown constant v_~bitwiseAnd_18")
(error "line 75 column 12148: unknown constant v_~bitwiseAnd_2")
(error "line 79 column 12334: unknown constant v_#memory_int_26")
(error "line 81 column 8802: unknown constant v_#memory_real_45")
(error "line 85 column 11962: unknown constant v_#memory_real_58")
(error "line 87 column 12334: unknown constant v_#memory_int_56")
(error "line 89 column 12376: unknown constant v_#memory_real_10")
(error "line 94 column 8556: unknown constant v_#memory_real_37")
(error "line 104 column 11962: unknown constant v_#memory_real_70")
(error "line 109 column 12688: unknown constant v_#memory_int_19")
(error "line 119 column 12279: unknown constant v_~bitwiseOr_11")
(error "line 127 column 12653: unknown constant v_#memory_int_30")
(error "line 135 column 12295: unknown constant v_~bitwiseAnd_12")
sat