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 |