/storage/repos/ultimate/releaseScripts/default/adds/z3 /storage/repos/svcomp/c/float-benchs/sin_interpolated_smallrange_true-unreach-call.c.smt2 -------------------------------------------------------------------------------- (error "line 39 column 4308: unknown constant v_~someBinaryDOUBLEComparisonOperation_4") (error "line 40 column 4276: unknown constant v_~someBinaryDOUBLEComparisonOperation_8") (error "line 42 column 4208: unknown constant v_~someBinaryDOUBLEComparisonOperation_16") (error "line 43 column 5957: unknown constant v_~someBinaryDOUBLEComparisonOperation_30") (error "line 45 column 4176: unknown constant v_~someBinaryDOUBLEComparisonOperation_18") (error "line 46 column 4357: unknown constant v_~someBinaryDOUBLEComparisonOperation_24") (error "line 47 column 6170: unknown constant v_~someBinaryDOUBLEComparisonOperation_32") (error "line 48 column 6141: unknown constant v_~someBinaryDOUBLEComparisonOperation_38") (error "line 50 column 4443: unknown constant v_~someBinaryDOUBLEComparisonOperation_20") (error "line 51 column 4404: unknown constant v_~someBinaryDOUBLEComparisonOperation_22") (error "line 52 column 6318: unknown constant v_~someBinaryDOUBLEComparisonOperation_26") (error "line 53 column 4806: unknown constant v_~someBinaryDOUBLEComparisonOperation_28") (error "line 54 column 6221: unknown constant v_~someBinaryDOUBLEComparisonOperation_34") (error "line 55 column 6524: unknown constant v_~someBinaryDOUBLEComparisonOperation_36") (error "line 56 column 4668: unknown constant v_~someBinaryDOUBLEComparisonOperation_40") (error "line 57 column 6260: unknown constant v_~someBinaryDOUBLEComparisonOperation_2") (error "line 72 column 4165: unknown constant v_~someBinaryDOUBLEComparisonOperation_13") sat