GitHub repository: ultimate-pa/automata-benchmarks
Created: 2017-05-19T23:29:23Z
Description: Automata benchmarks that we use to evaluate our automata library