| Benchmark Name | Model | Inputs/Outputs | States | Transitions | Publications |
|---|---|---|---|---|---|
| New (small alphabet) | dot-file | 5 / 4 | 3 | 15 | [CPPR14] |
| New (random) | dot-file | 8 / 9 | 11 | 88 | [CPPR14] |
| New (W-method) | dot-file | 8 / 8 | 8 | 64 | [CPPR14] |
| Old (small alphabet) | dot-file | 5 / 4 | 4 | 20 | [CPPR14] |
| Old (random) | dot-file | 8 / 9 | 22 | 176 | [CPPR14] |