Skip to content
Snippets Groups Projects
user avatar
Hans-Peter Deifel authored
fcffdb2b
History

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/