Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • tombstone
  • wta
  • functor-absorbing
4 results

copar-benchmarks

  • Clone with SSH
  • Clone with HTTPS
  • user avatar
    Hans-Peter Deifel authored
    e17ff71b
    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/