| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Competition results for the QF_UFLRA division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 1176 (total = 1630, unknown status = 87, trivial = 367)
| Solver | Errors | Solved | Not Solved | Remaining | CPU Time (on solved instances) |
Weighted medal score weight = 3.070 |
| [Z3] | 0 | 1175 | 1 | 0 | 4232.16 | 3.065 |
| Yices2 | 0 | 1171 | 5 | 0 | 91.99 | 3.044 |
| [MathSAT] | 0 | 1171 | 5 | 0 | 464.54 | 3.044 |
| CVC4 | 0 | 1171 | 5 | 0 | 1461.07 | 3.044 |
| SMTInterpol | 0 | 1171 | 5 | 0 | 4124.91 | 3.044 |
| veriT | 0 | 1099 | 77 | 0 | 26850.24 | 2.681 |
| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Last modified: Tue 17 Feb 2015 15:00 UTC