This is an old revision of the document!
Non-Recursive Horn Benchmarks
- Benchmarks are in SMT-LIB 2.0 and can be processes by e.g. Z3
| Horn Clause Type | Number of Benchmarks | Download |
|---|---|---|
| General | 541 | general.zip 1.6 MB |
| Head-Disjoint | {} | {} |
| Linear | {} | {} |
| Linear Tree-like | {} | {} |