Benchmarks for CoPaR
This repository contains tooling and raw results from benchmarking CoPaR.
This repo contains benchmarks for:
- Deterministic Finite Automata in
dfa/
- Adaptions of the benchmark suite of the PRISM model checker in
prism/
- Weighted Tree Automata in
wta/