Iterations
| Barrier | Reachability set | Antecedent set | Intersection set | Level |
|---|---|---|---|---|
| Iteration 1 | ||||
| 1 | 1 | 1,6 | 1 | I |
| 2 | 2,5 | 2,3,4,5,6 | 2 | |
| 3 | 2,3,4,5,6,7 | 3,4,5,6 | 3,4,5,6 | |
| 4 | 2,3,4,6,7 | 3,4,5,6 | 3,4,6 | |
| 5 | 2,3,4,5,6,7 | 2,3,5,6 | 2,3,5,6 | |
| 6 | 1,2,3,4,5,6,7 | 3,4,5,6 | 3,4,5,6 | |
| 7 | 7 | 3,4,5,6,7 | 7 | I |
| 8 | 8 | 8,9,10 | 8 | I |
| 9 | 8,9 | 9 | 9 | |
| 10 | 8,10 | 10 | 10 | |
| Iteration 2 | ||||
| 2 | 2,5 | 2,3,4,5,6 | 2,5 | II |
| 3 | 2,3,4,5,6 | 3,4,5,6 | 3,4,5,6 | |
| 4 | 2,3,4,6 | 3,4,5,6 | 3,4,6 | |
| 5 | 2,3,4,5,6 | 2,3,5,6 | 2,3,5,6 | |
| 6 | 2,3,4,5,6 | 3,4,5,6 | 3,4,5,6 | |
| 9 | 9 | 9 | 9 | II |
| 10 | 10 | 10 | 10 | II |
| Iteration 3 | ||||
| 3 | 3,4,6 | 3,4,6 | 3,4,6 | III |
| 4 | 3,4,6 | 3,4,6 | 3,4,6 | III |
| 6 | 3,4,6 | 3,4,6 | 3,4,6 | III |
| Barrier | Reachability set | Antecedent set | Intersection set | Level |
|---|---|---|---|---|
| Iteration 1 | ||||
| 1 | 1 | 1,6 | 1 | I |
| 2 | 2,5 | 2,3,4,5,6 | 2 | |
| 3 | 2,3,4,5,6,7 | 3,4,5,6 | 3,4,5,6 | |
| 4 | 2,3,4,6,7 | 3,4,5,6 | 3,4,6 | |
| 5 | 2,3,4,5,6,7 | 2,3,5,6 | 2,3,5,6 | |
| 6 | 1,2,3,4,5,6,7 | 3,4,5,6 | 3,4,5,6 | |
| 7 | 7 | 3,4,5,6,7 | 7 | I |
| 8 | 8 | 8,9,10 | 8 | I |
| 9 | 8,9 | 9 | 9 | |
| 10 | 8,10 | 10 | 10 | |
| Iteration 2 | ||||
| 2 | 2,5 | 2,3,4,5,6 | 2,5 | II |
| 3 | 2,3,4,5,6 | 3,4,5,6 | 3,4,5,6 | |
| 4 | 2,3,4,6 | 3,4,5,6 | 3,4,6 | |
| 5 | 2,3,4,5,6 | 2,3,5,6 | 2,3,5,6 | |
| 6 | 2,3,4,5,6 | 3,4,5,6 | 3,4,5,6 | |
| 9 | 9 | 9 | 9 | II |
| 10 | 10 | 10 | 10 | II |
| Iteration 3 | ||||
| 3 | 3,4,6 | 3,4,6 | 3,4,6 | III |
| 4 | 3,4,6 | 3,4,6 | 3,4,6 | III |
| 6 | 3,4,6 | 3,4,6 | 3,4,6 | III |