Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
horn-nonrec-benchmarks [2013/03/06 15:34] hossein |
horn-nonrec-benchmarks [2013/03/06 15:44] hossein |
||
---|---|---|---|
Line 5: | Line 5: | ||
^ Horn Clause Type ^ Number of Benchmarks ^ Download ^ | ^ Horn Clause Type ^ Number of Benchmarks ^ Download ^ | ||
- | | General | {} | {} | | + | | General | 541 | {{general.zip|}} 1.6 MB | |
| Head-Disjoint | {} | {} | | | Head-Disjoint | {} | {} | | ||
| Linear | {} | {} | | | Linear | {} | {} | | ||
| Linear Tree-like | {} | {} | | | Linear Tree-like | {} | {} | |