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/