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


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


(error "line 47 column 8971: unknown constant v_#memory_int_4")
(error "line 53 column 8509: unknown constant v_~bitwiseAnd_5")
(error "line 54 column 12035: unknown constant v_~someBinaryFLOATComparisonOperation_6")
(error "line 67 column 12605: unknown constant v_#memory_int_8")
(error "line 69 column 8975: unknown constant v_~bitwiseAnd_9")
(error "line 73 column 8971: unknown constant v_#memory_real_10")
(error "line 78 column 8762: unknown constant v_#memory_int_15")
(error "line 84 column 11650: unknown constant v_~bitwiseAnd_14")
(error "line 92 column 12257: unknown constant v_#memory_int_19")
(error "line 97 column 12257: unknown constant v_#memory_real_20")
(error "line 102 column 8326: unknown constant v_~bitwiseAnd_18")
(error "line 103 column 11623: unknown constant v_~bitwiseAnd_2")
(error "line 104 column 11642: unknown constant v_~someBinaryFLOATComparisonOperation_2")
(error "line 105 column 11615: unknown constant v_~someBinaryFLOATComparisonOperation_4")
(error "line 116 column 7202: unknown constant old(#StackHeapBarrier)")
sat