Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
horn-nonrec-benchmarks [2013/03/06 15:31] hossein created |
horn-nonrec-benchmarks [2013/03/06 15:49] hossein |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ====== Non-Recursive Horn Benchmarks ====== | ||
+ | |||
* Horn constraints generated by [[eldarica|Eldarica]], output by [[http://www.philipp.ruemmer.org/princess.shtml|Princess]] | * Horn constraints generated by [[eldarica|Eldarica]], output by [[http://www.philipp.ruemmer.org/princess.shtml|Princess]] | ||
+ | * Benchmarks are in [[http://www.smtlib.org/|SMT-LIB 2.0 ]] and can be processes by e.g. [[http://z3.codeplex.com/|Z3]] | ||
^ 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 | 991 | {{headdisjoint.zip|}} 2.5 MB | |
- | | Linear | {} | {} | | + | | Linear | 971 | {{linear.zip|}} 2.6 MB| |
- | | Linear Tree-like | {} | {} | | + | | Linear Tree-like | 1993 | {{linear-tree-like.zip|}} 4.6 MB | |