Level partition
| Barriers | “Reachability set” | “Antecedent set” | “Intersection set” | “Level” |
|---|---|---|---|---|
| Iteration 1 | ||||
| “B1” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B1, B2, B3, B6, B7, B8, B12” | “B1, B2, B3, B6, B7, B8, B12” | |
| “B2” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B1, B2, B3, B4, B5, B7, B8, B12” | “B1, B2, B3, B4, B5, B7, B8, B12” | |
| “B3” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B11, B12” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B11, B12” | |
| “B4” | “B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B1, B2, B3, B4, B5, B7, B8, B10, B11, B12” | “B2, B3, B4, B5, B7, B8, B10, B11, B12” | |
| “B5” | “B2, B3, B4, B5, B6, B7, B9, B10, B11” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B2, B3, B4, B5, B6, B7, B9, B10, B11” | 1 |
| “B6” | “B1, B3, B5, B6, B7, B8, B9, B10, B11, B12” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B1, B3, B5, B6, B7, B8, B9, B10, B11, B12” | 1 |
| “B7” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | 1 |
| “B8” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B1, B2, B3, B4, B6, B7, B8, B10, B11, B12” | “B1, B2, B3, B4, B6, B7, B8, B10, B11, B12” | |
| “B9” | “B3, B5, B6, B7, B9, B10, B11” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B3, B5, B6, B7, B9, B10, B11” | 1 |
| “B10” | “B4, B5, B6, B7, B8, B9, B10, “B11, B12” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B4, B5, B6, B7, B8, B9, B10, B11, B12” | 1 |
| “B11” | “B3, B4, B5, B6, B7, B8, B9, B10, “B11, B12” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | 1 |
| “B12” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B1, B2, B3, B4, B6, B7, B8, B10, B11, B12” | “B1 B2, B3, B4, B6, B7, B8, B10, B11, B12” | |
| Iteration 2 | ||||
| “B1” | “B1, B2, B8, B12” | “B1, B2, B3, B8, B12” | “B1, B2, B8, B12” | 2 |
| “B2” | “B1, B2, B4, B8, B12” | “B1, B2, B3, B4, B8, B12” | “B1, B2, B4, B8, B12” | 2 |
| “B3” | “B1, B2, B3, B8, B12” | “B3” | “B3” | |
| “B4” | “B2, B4, B8, B12” | “B2, B4, B8” | “B2, B4, B8” | |
| “B8” | “B1, B2, B4, B8, B12” | “B1, B2, B3, B4, B8, B12” | “B1, B2, B4, B8, B12” | 2 |
| “B12” | “B1, B2, B8, B12” | “B1, B2, B3, B4, B8, B12” | “B1, B2, B8, B12” | 2 |
| Iteration 3 | ||||
| “B3” | “B3” | “B3” | “B3” | 3 |
| “B4” | “B4” | “B4” | “B4” | 3 |
| Barriers | “Reachability set” | “Antecedent set” | “Intersection set” | “Level” |
|---|---|---|---|---|
| “B1” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B1, B2, B3, B6, B7, B8, B12” | “B1, B2, B3, B6, B7, B8, B12” | |
| “B2” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B1, B2, B3, B4, B5, B7, B8, B12” | “B1, B2, B3, B4, B5, B7, B8, B12” | |
| “B3” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B11, B12” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B11, B12” | |
| “B4” | “B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B1, B2, B3, B4, B5, B7, B8, B10, B11, B12” | “B2, B3, B4, B5, B7, B8, B10, B11, B12” | |
| “B5” | “B2, B3, B4, B5, B6, B7, B9, B10, B11” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B2, B3, B4, B5, B6, B7, B9, B10, B11” | 1 |
| “B6” | “B1, B3, B5, B6, B7, B8, B9, B10, B11, B12” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B1, B3, B5, B6, B7, B8, B9, B10, B11, B12” | 1 |
| “B7” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | 1 |
| “B8” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B1, B2, B3, B4, B6, B7, B8, B10, B11, B12” | “B1, B2, B3, B4, B6, B7, B8, B10, B11, B12” | |
| “B9” | “B3, B5, B6, B7, B9, B10, B11” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B3, B5, B6, B7, B9, B10, B11” | 1 |
| “B10” | “B4, B5, B6, B7, B8, B9, B10, “B11, B12” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B4, B5, B6, B7, B8, B9, B10, B11, B12” | 1 |
| “B11” | “B3, B4, B5, B6, B7, B8, B9, B10, “B11, B12” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | 1 |
| “B12” | “B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12” | “B1, B2, B3, B4, B6, B7, B8, B10, B11, B12” | “B1 B2, B3, B4, B6, B7, B8, B10, B11, B12” | |
| “B1” | “B1, B2, B8, B12” | “B1, B2, B3, B8, B12” | “B1, B2, B8, B12” | 2 |
| “B2” | “B1, B2, B4, B8, B12” | “B1, B2, B3, B4, B8, B12” | “B1, B2, B4, B8, B12” | 2 |
| “B3” | “B1, B2, B3, B8, B12” | “B3” | “B3” | |
| “B4” | “B2, B4, B8, B12” | “B2, B4, B8” | “B2, B4, B8” | |
| “B8” | “B1, B2, B4, B8, B12” | “B1, B2, B3, B4, B8, B12” | “B1, B2, B4, B8, B12” | 2 |
| “B12” | “B1, B2, B8, B12” | “B1, B2, B3, B4, B8, B12” | “B1, B2, B8, B12” | 2 |
| “B3” | “B3” | “B3” | “B3” | 3 |
| “B4” | “B4” | “B4” | “B4” | 3 |
Sharing content requires targeting cookies to be enabled. Please update your cookie preferences to use this feature.