Level | Â | Reachability Set | Antecedent Set | Intersection Set |
---|---|---|---|---|
1st Iteration | ||||
 | E1 | 1 4 5 6 7 8 9 12 | 1 2 3 4 5 6 7 8 9 11 12 | 1 4 5 6 7 8 9 12 |
 | E2 | 1 2 4 5 6 7 8 9 12 | 2 3 6 8 9 10 12 | 2 6 8 12 |
 | E3 | 1 2 3 5 12 | 3 6 8 10 11 12 | 3 12 |
I | E4 | 1 4 5 | 1 2 4 6 7 8 10 11 12 | 1 4 5 |
I | E5 | 1 5 12 | 1 2 3 4 5 6 7 8 9 11 12 | 1 5 12 |
 | E6 | 1 2 3 4 5 6 7 9 12 | 1 2 6 8 10 11 12 | 1 2 6 12 |
 | E7 | 1 4 5 7 | 1 2 6 7 8 10 11 12 | 1 7 |
 | E8 | 1 2 3 4 5 6 7 8 9 12 | 1 2 8 11 12 | 1 2 8 12 |
 | E9 | 1 2 5 9 12 | 1 2 6 8 9 10 11 12 | 1 2 9 12 |
 | E10 | 2 3 4 6 7 9 10 | 10 11 | 10 |
 | E11 | 1 2 3 4 5 6 7 8 9 10 11 12 | 11 | 11 |
 | E12 | 1 2 3 4 5 6 7 8 9 12 | 1 2 3 5 6 8 9 11 12 | 1 2 3 5 6 8 9 |
2nd Iteration | ||||
 | E1 | 6 8 9 | 2 3 6 7 8 9 11 | 6 8 9 |
 | E2 | 2 6 7 8 9 | 2 3 6 8 9 10 11 | 2 6 8 9 |
 | E3 | 2 3 | 3 6 8 10 11 | 3 |
 | E6 | 2 3 6 7 9 | 2 6 8 10 11 | 2 6 |
II | E7 | 7 | 2 6 7 8 10 11 | 7 |
 | E8 | 2 3 6 7 8 9 | 2 8 11 | 2 8 |
II | E9 | 2 9 | 2 6 8 9 10 11 | 2 9 |
 | E10 | 2 3 6 7 9 10 | 10 11 | 10 |
 | E11 | 2 3 6 7 8 9 10 11 | 11 | 11 |
 | E12 | 2 3 6 7 8 9 | 2 3 6 8 9 11 | 2 3 6 8 9 |
3rd Iteration | ||||
 | E1 | 6 8 | 3 6 8 11 | 6 8 |
 | E2 | 6 8 | 3 6 8 10 11 | 6 8 |
III | E3 | 3 | 3 6 8 10 11 | 3 |
 | E6 | 3 6 | 6 8 10 11 | 6 |
 | E8 | 3 6 8 | 8 11 | 8 |
 | E10 | 3 6 10 | 10 11 | 10 |
 | E11 | 3 6 8 10 11 | 11 | 11 |
 | E12 | 3 6 8 | 3 6 8 11 | 3 6 8 |
4th Iteration | ||||
 | E1 | 6 8 | 6 8 11 | 6 8 |
 | E2 | 6 8 | 6 8 10 11 | 6 8 |
IV | E6 | 6 | 6 8 10 11 | 6 |
 | E8 | 6 8 | 8 11 | 8 |
 | E10 | 6 10 | 10 11 | 10 |
 | E11 | 6 8 10 11 | 11 | 11 |
 | E12 | 6 8 | 6 8 11 | 6 8 |
5th Iteration | ||||
V | E1 | 8 | 8 11 | 8 |
V | E2 | 8 | 8 10 11 | 8 |
V | E8 | 8 | 8 11 | 8 |
V | E10 | 10 | 10 11 | 10 |
 | E11 | 8 10 11 | 11 | 11 |
V | E12 | 8 | 8 11 | 8 |
6th Iteration | ||||
VI | E11 | 11 | 11 | 11 |