| Domain | Model | Inputs/Outputs | States | Transitions |
|---|---|---|---|---|
| 0-1 | dot-file | 10 / 2 | 4 | 40 |
| 0-2 | dot-file | 11 / 2 | 4 | 44 |
| 0-3 | dot-file | 12 / 2 | 4 | 48 |
| 0-4 | dot-file | 13 / 2 | 4 | 52 |
| 0-5 | dot-file | 14 / 2 | 4 | 56 |
| 0-6 | dot-file | 15 / 2 | 4 | 60 |
| 0-7 | dot-file | 16 / 2 | 4 | 64 |
| 0-8 | dot-file | 17 / 2 | 4 | 68 |
| 0-9 | dot-file | 18 / 2 | 4 | 72 |
| 0-10 | dot-file | 19 / 2 | 4 | 76 |
| model | Inputs/Outputs | Registers | Constants | States | Transitions |
|---|---|---|---|---|---|
| register-file | 9/2 | 0 | 3 | 5 | 48 |