| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Competition results for the LRA division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 171 (total = 621, unknown status = 450, trivial = 0)
| Solver | Errors | Solved | Not Solved | Remaining | CPU Time (on solved instances) |
Weighted medal score weight = 2.233 |
| CVC4 | 0 | 171 | 0 | 0 | 1.10 | 2.233 |
| [Z3] | 0 | 171 | 0 | 0 | 1.14 | 2.233 |
| CVC3 | 0 | 165 | 6 | 0 | 2.25 | 2.079 |
| veriT | 0 | 66 | 105 | 0 | 0.20 | 0.333 |
| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Last modified: Tue 17 Feb 2015 15:00 UTC