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


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


(error "line 74 column 10388: unknown constant v_#memory_int_4")
(error "line 81 column 14672: unknown constant v_#memory_int_14")
(error "line 87 column 10131: unknown constant v_~bitwiseOr_2")
(error "line 88 column 10171: unknown constant v_~bitwiseOr_4")
(error "line 93 column 13988: unknown constant v_~someBinaryDOUBLEComparisonOperation_6")
(error "line 94 column 10163: unknown constant v_~someBinaryDOUBLEComparisonOperation_8")
(error "line 95 column 14672: unknown constant v_#memory_int_18")
(error "line 97 column 13915: unknown constant v_~someBinaryDOUBLEComparisonOperation_2")
(error "line 98 column 9889: unknown constant v_~someBinaryDOUBLEComparisonOperation_4")
(error "line 101 column 10144: unknown constant v_#memory_real_22")
(error "line 111 column 10144: unknown constant v_#memory_int_29")
(error "line 116 column 9887: unknown constant v_~bitwiseAnd_6")
(error "line 122 column 9873: unknown constant v_~bitwiseOr_6")
(error "line 123 column 9680: unknown constant v_~bitwiseOr_8")
(error "line 127 column 10388: unknown constant v_#memory_real_10")
(error "line 138 column 14500: unknown constant v_~bitwiseOr_13")
(error "line 141 column 10026: unknown constant v_~bitwiseAnd_17")
(error "line 144 column 10167: unknown constant v_~bitwiseAnd_8")
(error "line 146 column 14398: unknown constant v_~bitwiseAnd_22")
(error "line 147 column 14419: unknown constant v_~bitwiseOr_19")
(error "line 158 column 14474: unknown constant v_~bitwiseAnd_30")
(error "line 159 column 13778: unknown constant v_~bitwiseOr_23")
(error "line 160 column 9921: unknown constant v_~bitwiseOr_25")
(error "line 163 column 13758: unknown constant v_~someBinaryDOUBLEComparisonOperation_10")
(error "line 164 column 9672: unknown constant v_~someBinaryDOUBLEComparisonOperation_16")
(error "line 166 column 9928: unknown constant v_~bitwiseAnd_33")
(error "line 167 column 9894: unknown constant v_~bitwiseAnd_37")
(error "line 168 column 14520: unknown constant v_~bitwiseAnd_42")
(error "line 172 column 10166: unknown constant v_~bitwiseAnd_48")
(error "line 174 column 13882: unknown constant v_~someBinaryDOUBLEComparisonOperation_12")
(error "line 175 column 9794: unknown constant v_~someBinaryDOUBLEComparisonOperation_14")
(error "line 181 column 14672: unknown constant v_#memory_real_33")
(error "line 188 column 9192: unknown constant old(#StackHeapBarrier)")
sat