print · login   

Overview benchmarks

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.

Per model type

DFA benchmarks

Moore machine benchmarks

Mealy machine benchmarks

Interface automata benchmarks

Register automata benchmarks

All benchmarks