Below table list different runs of the learning algorithm used in [SMVJ15] and contain all the hypotheses. This gives a sequence of Mealy machines, growing in size (Learning runs contain in total 207 models).
| Benchmark Name | Models | Inputs/Outputs | States | Transitions |
|---|---|---|---|---|
| ESM Learning Run 1 hypotheses | Models | 78/(145-151) | 546-3410 | 42588-265980 |
| ESM Learning Run 2 hypotheses | Models | 78/(145-151) | 557-3341 | 43212-265980 |
| ESM Learning Run 3 hypotheses | Models | 78/(145-151) | 576-3413 | 44694-265980 |