| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Competition results for the QF_AUFBV division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 37 (total = 37, unknown status = 0, trivial = 0)
| Solver | Errors | Solved | Not Solved | Remaining | CPU Time (on solved instances) |
Weighted medal score weight = 1.568 |
| CVC4 | 0 | 37 | 0 | 0 | 9.44 | 1.568 |
| Yices2 | 0 | 36 | 1 | 0 | 1.30 | 1.485 |
| [Z3] | 0 | 33 | 4 | 0 | 5.95 | 1.247 |
| [MathSAT] | 3 | 34 | 0 | 0 | 3.31 | 1.324 |
| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Last modified: Tue 17 Feb 2015 15:00 UTC