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


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


(error "line 48 column 14414: unknown constant v_#memory_int_6")
(error "line 55 column 13712: unknown constant v_~bitwiseOr_3")
(error "line 56 column 13719: unknown constant v_~bitwiseOr_5")
(error "line 58 column 14509: unknown constant v_~bitwiseAnd_8")
(error "line 62 column 14414: unknown constant v_#memory_int_22")
(error "line 64 column 10026: unknown constant v_#memory_int_15")
(error "line 66 column 10267: unknown constant v_#memory_int_10")
(error "line 73 column 9833: unknown constant v_~bitwiseOr_15")
(error "line 76 column 9992: unknown constant v_#memory_int_27")
(error "line 89 column 13592: unknown constant v_~bitwiseOr_20")
(error "line 90 column 9506: unknown constant v_~bitwiseOr_22")
(error "line 97 column 9992: unknown constant v_#memory_real_31")
(error "line 99 column 14053: unknown constant v_#memory_int_32")
(error "line 106 column 9526: unknown constant v_~bitwiseAnd_13")
(error "line 107 column 13554: unknown constant v_~bitwiseAnd_2")
(error "line 108 column 13310: unknown constant v_~someBinaryDOUBLEComparisonOperation_4")
(error "line 109 column 13347: unknown constant v_~someBinaryDOUBLEComparisonOperation_2")
(error "line 120 column 8990: unknown constant old(#StackHeapBarrier)")
sat