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 | 991 | headdisjoint.zip 2.5 MB |
| Linear | 971 | linear.zip 2.6 MB |
| Linear Tree-like | 1993 | linear-tree-like.zip 4.6 MB |