Table 6 Level partitioning of final reachability matrix.
Level partitioning | ||||
|---|---|---|---|---|
Elements (Mi) | Reachability set R (Mi) | Antecedent set A (Ni) | Intersection set R (Mi) ∩ (Ni) | Levels |
Iteration one | ||||
CR1 | 1, 2, 3, 5, 6, | 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, | 1, 2, 3, 5, 6, | 1 |
CR2 | 1, 2, 3, 5, 6, | 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, | 1, 2, 3, 5, 6, | 1 |
CR3 | 1, 2, 3, 5, 6, | 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, | 1, 2, 3, 5, 6, | 1 |
CR4 | 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 14, | 4, 7, 8, 9, 10, 11, 12, 13, 14, | 4, 7, 8, 10, 11, 14, | – |
CR5 | 1, 2, 3, 5, 6, | 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, | 1, 2, 3, 5, 6, | 1 |
CR6 | 1, 2, 3, 5, 6, | 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, | 1, 2, 3, 5, 6, | 1 |
CR7 | 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 14, | 4, 7, 8, 9, 10, 11, 12, 13, 14, | 4, 7, 8, 10, 11, 14, | – |
CR8 | 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 14, | 4, 7, 8, 9, 10, 11, 12, 13, 14, | 4, 7, 8, 10, 11, 14, | – |
CR9 | 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, | 9, 12, 13, | 9, 13, | – |
CR10 | 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 14, | 4, 7, 8, 9, 10, 11, 12, 13, 14, | 4, 7, 8, 10, 11, 14, | – |
CR11 | 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 14, | 4, 7, 8, 9, 10, 11, 12, 13, 14, | 4, 7, 8, 10, 11, 14, | – |
CR12 | 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, | 12, | 12, | – |
CR13 | 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, | 9, 12, 13, | 9, 13, | – |
CR14 | 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 14, | 4, 7, 8, 9, 10, 11, 12, 13, 14, | 4, 7, 8, 10, 11, 14, | – |
Iteration two | ||||
CR1 | – | 4, 7, 8, 9, 10, 11, 12, 13, 14, | – | 1 |
CR2 | – | 4, 7, 8, 9, 10, 11, 12, 13, 14, | – | 1 |
CR3 | – | 4, 7, 8, 9, 10, 11, 12, 13, 14, | – | 1 |
CR4 | 4, 7, 8, 10, 11, 14, | 4, 7, 8, 9, 10, 11, 12, 13, 14, | 4, 7, 8, 10, 11, 14, | 2 |
CR5 | – | 4, 7, 8, 9, 10, 11, 12, 13, 14, | – | 1 |
CR6 | – | 4, 7, 8, 9, 10, 11, 12, 13, 14, | – | 1 |
CR7 | 4, 7, 8, 10, 11, 14, | 4, 7, 8, 9, 10, 11, 12, 13, 14, | 4, 7, 8, 10, 11, 14, | 2 |
CR8 | 4, 7, 8, 10, 11, 14, | 4, 7, 8, 9, 10, 11, 12, 13, 14, | 4, 7, 8, 10, 11, 14, | 2 |
CR9 | 4, 7, 8, 9, 10, 11, 13, 14, | 9, 12, 13, | 9, 13, | – |
CR10 | 4, 7, 8, 10, 11, 14, | 4, 7, 8, 9, 10, 11, 12, 13, 14, | 4, 7, 8, 10, 11, 14, | 2 |
CR11 | 4, 7, 8, 10, 11, 14, | 4, 7, 8, 9, 10, 11, 12, 13, 14, | 4, 7, 8, 10, 11, 14, | 2 |
CR12 | 4, 7, 8, 9, 10, 11, 12, 13, 14, | 12, | 12, | – |
CR13 | 4, 7, 8, 9, 10, 11, 13, 14, | 9, 12, 13, | 9, 13, | – |
CR14 | 4, 7, 8, 10, 11, 14, | 4, 7, 8, 9, 10, 11, 12, 13, 14, | 4, 7, 8, 10, 11, 14, | 2 |
Iteration three | ||||
CR1 | – | 9, 12, 13, | – | 1 |
CR2 | – | 9, 12, 13, | – | 1 |
CR3 | – | 9, 12, 13, | – | 1 |
CR4 | – | 9, 12, 13, | – | 2 |
CR5 | – | 9, 12, 13, | – | 1 |
CR6 | – | 9, 12, 13, | – | 1 |
CR7 | – | 9, 12, 13, | – | 2 |
CR8 | – | 9, 12, 13, | – | 2 |
CR9 | 9, 13, | 9, 12, 13, | 9, 13, | 3 |
CR10 | – | 9, 12, 13, | – | 2 |
CR11 | – | 9, 12, 13, | – | 2 |
CR12 | 9, 12, 13, | 12, | 12, | – |
CR13 | 9, 13, | 9, 12, 13, | 9, 13, | 3 |
CR14 | – | 9, 12, 13, | – | 2 |
Iteration four | ||||
CR1 | Â | 12, | Â | 1 |
CR2 | Â | 12, | Â | 1 |
CR3 | Â | 12, | Â | 1 |
CR4 | Â | 12, | Â | 2 |
CR5 | Â | 12, | Â | 1 |
CR6 | Â | 12, | Â | 1 |
CR7 | Â | 12, | Â | 2 |
CR8 | Â | 12, | Â | 2 |
CR9 | Â | 12, | Â | 3 |
CR10 | Â | 12, | Â | 2 |
CR11 | Â | 12, | Â | 2 |
CR12 | 12, | 12, | 12, | 4 |
CR13 | Â | 12, | Â | 3 |
CR14 | Â | 12, | Â | 2 |