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


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


(error "line 59 column 6366: unknown constant v_ULTIMATE.start_main_#t~nondet16_3")
(error "line 60 column 6245: unknown constant v_#memory_int_6")
(error "line 64 column 6097: unknown constant v_#memory_int_12")
(error "line 68 column 8478: unknown constant v_~bitwiseAnd_6")
(error "line 69 column 8448: unknown constant v_~bitwiseOr_17")
(error "line 70 column 8306: unknown constant v_~bitwiseOr_20")
(error "line 71 column 6147: unknown constant v_~someBinaryDOUBLEComparisonOperation_2")
(error "line 111 column 6139: unknown constant v_~bitwiseOr_6")
(error "line 112 column 6137: unknown constant v_~shiftLeft_7")
(error "line 116 column 8588: unknown constant v_~bitwiseOr_11")
(error "line 117 column 8705: unknown constant v_~shiftLeft_14")
(error "line 131 column 6236: unknown constant v_~bitwiseOr_27")
(error "line 132 column 6384: unknown constant v_~bitwiseOr_29")
(error "line 133 column 6377: unknown constant v_~bitwiseOr_23")
(error "line 134 column 6287: unknown constant v_~bitwiseOr_25")
(error "line 140 column 6358: unknown constant v_#memory_real_20")
(error "line 147 column 6244: unknown constant v_#memory_real_26")
sat