The benchmark models are stored per benchmark and grouped within a benchmark per model type. Below we first list the benchmarks per model type and finally we list all benchmarks combined. For more details about how the benchmark models are stored within this wiki we refer to the GlobalDataStructure page in the Help section.
The wiki also support tagging of benchmarks, eg. the page Tag/Protocol lists all benchmarks tagged as protocol. See the page Tag for all defined tags.
In the Table page we list the statistics, such as number of states, for the register and mealy benchmarks.