Lab for Automated Reasoning and Analysis LARA

Parametric Timed Automata Benchmarks

  • Horn constraints generated by Eldarica for parametric timed automata benchmarks
  • Benchmarks are in SMT-LIB 2.0 and can be processes by e.g. Z3
Safe Benchmarks hornsmtbenchmarks-safe.zip
Unsafe Benchmarks hornsmtbenchmarks-unsafe.zip
 
horn-parametric-benchmarks.txt · Last modified: 2013/11/22 15:41 by hossein