For the bounded retransmission protocol (BRP) we have 1 reference model and 6 mutants:
| Benchmark Name | Inputs/Outputs | Registers | Constants | States | Transitions | Source |
|---|---|---|---|---|---|---|
| BRP reference? | TODO | |||||
| BRP mutant 1? | TODO | |||||
| BRP mutant 2? | TODO | |||||
| BRP mutant 3? | TODO | |||||
| BRP mutant 4? | TODO | |||||
| BRP mutant 5? | TODO | |||||
| BRP mutant 5? | TODO |