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


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


(error "line 22 column 2068: unknown constant v_~someBinaryDOUBLEComparisonOperation_6")
(error "line 23 column 2856: unknown constant v_~someBinaryDOUBLEComparisonOperation_10")
(error "line 25 column 2909: unknown constant v_~someBinaryDOUBLEComparisonOperation_14")
(error "line 26 column 2876: unknown constant v_~someBinaryDOUBLEComparisonOperation_16")
(error "line 28 column 2220: unknown constant v_~someBinaryDOUBLEComparisonOperation_19")
(error "line 32 column 3009: unknown constant v_~someBinaryDOUBLEComparisonOperation_23")
(error "line 34 column 2891: unknown constant v_~someBinaryDOUBLEComparisonOperation_3")
sat