Differences
This shows you the differences between two versions of the page.
| Next revision Both sides next revision | |||
|
horn-nonrec-benchmarks [2013/03/06 15:31] hossein created |
horn-nonrec-benchmarks [2013/03/06 15:34] 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 ^ | ||