A repository for automata benchmarks

This is a collection of various automata benchmarks from various sources and for various automata models, including finite automata, tree automata, Büchi automata, etc. No need to clone the whole repository, consider using, e.g., Download directory to download only specific directories.

File Types

• .tmb - Timbuk file format
• .vtf - VATA2 file format [main format] (see the vtf/ directory)
• .hoa - Hanoi Omega Automata Format (HOA, see the HOA page)
• .ba - A format for Büchi automata used by RABIT (see the RABIT page)

[TODO: definition]