Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
Level partition (Iteration 1)
| CFFs | Reachability | Antecedent | Intersection set | Level |
|---|---|---|---|---|
| B1 | (1,3,6,7,8,9) | (1,4,5,6,7) | 1,6,7 | |
| B2 | (1,2,3,6,7,8,9) | (2,4,5) | 2 | |
| B3 | (3,8,9) | (1,2,3,4,5,6,7,8) | 3,8 | |
| B4 | (1,2,3,4,5,6,7,8,9) | (4,5) | 4,5 | |
| B5 | (1,2,3,4,5,6,7,8,9) | (4,5) | 4,5 | |
| B6 | (1,3,6,7,8,9) | (1,4,5,6,7) | 1,6,7 | |
| B7 | (1,3,6,7,8,9) | (1,4,5,6,7) | 1,6,7 | |
| B8 | (3,8,9) | (1,2,3,4,5,6,7,8) | 3,8 | |
| B9 | 9 | (1,2,3,4,5,6,7,8,9) | 9 | I |
