| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Competition results for the QF_RDL division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 132 (total = 255, unknown status = 85, trivial = 38)
| Solver | Errors | Solved | Not Solved | Remaining | CPU Time (on solved instances) |
Weighted medal score weight = 2.121 |
| Yices2 | 0 | 132 | 0 | 0 | 6048.28 | 2.121 |
| [Z3] | 0 | 128 | 4 | 0 | 5343.59 | 1.994 |
| veriT | 0 | 128 | 4 | 0 | 9794.56 | 1.994 |
| CVC4 | 0 | 127 | 5 | 0 | 8457.03 | 1.963 |
| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Last modified: Tue 17 Feb 2015 15:00 UTC