We have to emphasize here once more, that CDD does not detect overflows. However, since POLYBENCH compares the resulting constraint systems of the two implementations, we can deduce the numbers of exceptions raised: if CDD64's output is correct, compared to C3DD64's output, then CDD64 has no overflow, as shown in 6_tab:SPEC95_dual_conversion_exception_100. The numbers of exceptions come from C3DD64 and CDD64's executions on SPEC95 convex hull sampled database.
We notice that this example reveals a difference between the two implementations: an overflow exception from C3DD64. However, the convex hull sampled databases only contain fewer than tests (PerfectClub's tests do not show any difference in numbers of exceptions), thus we can conclude that the difference is not significant.