print · source · login   

Overview benchmarks

The benchmark models are stored per benchmark and grouped within a benchmark per model type. The following model types are supported :

DFA
Deterministic finite acceptor syntax benchmarks
NFA
Non-deterministic finite acceptor syntax benchmarks
Interface
Interface automaton syntax benchmarks
Moore
Moore machine syntax benchmarks
Mealy
Mealy machine syntax benchmarks
Register
Register automaton syntax benchmarks

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.

Per model type

DFA benchmarks

NFA benchmarks

Interface benchmarks

Moore benchmarks

Mealy benchmarks

Register benchmarks

All benchmarks