| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Competition results for the QF_UFLIA division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 484 (total = 598, unknown status = 0, trivial = 114)
| Solver | Errors | Solved | Not Solved | Remaining | CPU Time (on solved instances) |
Weighted medal score weight = 2.685 |
| [Z3] | 0 | 484 | 0 | 0 | 108.14 | 2.685 |
| Yices2 | 0 | 484 | 0 | 0 | 145.15 | 2.685 |
| CVC4 | 0 | 484 | 0 | 0 | 643.48 | 2.685 |
| SMTInterpol | 0 | 484 | 0 | 0 | 1906.79 | 2.685 |
| [MathSAT] | 0 | 484 | 0 | 0 | 2054.81 | 2.685 |
| veriT | 0 | 438 | 46 | 0 | 86658.63 | 2.199 |
| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Last modified: Tue 17 Feb 2015 15:00 UTC