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


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


(error "line 20 column 2068: unknown constant v_~someBinaryDOUBLEComparisonOperation_6")
(error "line 21 column 2856: unknown constant v_~someBinaryDOUBLEComparisonOperation_10")
(error "line 23 column 2909: unknown constant v_~someBinaryDOUBLEComparisonOperation_14")
(error "line 24 column 2876: unknown constant v_~someBinaryDOUBLEComparisonOperation_16")
(error "line 26 column 2220: unknown constant v_~someBinaryDOUBLEComparisonOperation_19")
(error "line 30 column 3009: unknown constant v_~someBinaryDOUBLEComparisonOperation_23")
(error "line 32 column 2891: unknown constant v_~someBinaryDOUBLEComparisonOperation_3")
sat