“…Nevertheless, in average, CRD with zones in reduced form (reduced CRD in short) is much more space-efficient than previous data-structures [1,7,15,16]. For example, given X = {x 1 , x 2 , x 3 } and C A = 10, in figure 1(b),(c),(d), we have the representations of zone {0 -x 2 < -3, x 1 -x 3 ≤ 1, x 2 -x1 < -4} in reduced CRD ( figure 1 (b)), in CRD with zones in closure form ( figure 1(c)), and in CDD with zones in closure form (called tightened form in [7]) without FALSE terminal vertex ( figure 1(d)). It is easy to see that as the number of clocks increases, reduced CRD will perform better and better.…”