On the register automata page of this benchmark there are also mutants listed. You can find Mealy machine versions of these in the archive file containing all benchmarks at the top.
| Benchmark Name | Domain | Model | Inputs/Outputs | States | Transitions | Publications |
|---|---|---|---|---|---|---|
| BRP | 0-1 | dot-file | 10 / 16 | 156 | 1560 | [DKRT97][HSV93] |
| BRP | 0-2 | dot-file | 29 / 22 | 418 | 12122 | [DKRT97][HSV93] |
| BRP | 0-3 | dot-file | 66 / 28 | 884 | 58344 | [DKRT97][HSV93] |
| BRP | 0-4 | dot-file | 127 / 34 | 1614 | 204978 | [DKRT97][HSV93] |
| BRP | 0-5 | dot-file | 218 / 40 | 2668 | 581624 | [DKRT97][HSV93] |