| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Competition results for the QF_LRA division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 1343 (total = 1682, unknown status = 208, trivial = 131)
| Solver | Errors | Solved | Not Solved | Remaining | CPU Time (on solved instances) |
Weighted medal score weight = 3.128 |
| CVC4 | 0 | 1333 | 10 | 0 | 69426.83 | 3.082 |
| Yices2 | 0 | 1313 | 30 | 0 | 28691.25 | 2.990 |
| [MathSAT] | 0 | 1305 | 38 | 0 | 88009.83 | 2.954 |
| SMTInterpol | 0 | 1298 | 45 | 0 | 88941.60 | 2.922 |
| veriT | 0 | 1295 | 48 | 0 | 73697.95 | 2.908 |
| [Z3] | 0 | 1222 | 121 | 0 | 108486.36 | 2.590 |
| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Last modified: Tue 17 Feb 2015 15:00 UTC