| Home | • | Intro | • | Rules | • | Participants | • | Results | • | Tools | • | Bench | • | Org | • | SMT-LIB |
|---|
| Solver | Score | Time | Unsat | Sat | Unknown | Wrong |
|---|---|---|---|---|---|---|
| Yices | 49 | 46.8 | 35 | 14 | 3 | 0 |
| CVC | 34 | 243.0 | 34 | 0 | 18 | 0 |
| CVC Lite | 34 | 769.3 | 28 | 6 | 18 | 0 |
| SVC | 30 | 84.3 | 30 | 0 | 22 | 0 |
| HTP | 21 | 132.0 | 25 | 1 | 26 | 1 |
| Sammy | -38 | 344.6 | 10 | 3 | 39 | 7 |
Remarks: Column Time has the accumulated time (secs) used to solve the unsat and sat instances. Column Wrong has the number of wrong answers.
| Home | • | Intro | • | Rules | • | Participants | • | Results | • | Tools | • | Bench | • | Org | • | SMT-LIB |
|---|
Last modified: Tue 17 Feb 2015 14:59 UTC