| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Competition results for the AUFLIRA division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 10791 (total = 20014, unknown status = 168, trivial = 9055)
| Solver | Errors | Solved | Not Solved | Remaining | CPU Time (on solved instances) |
Weighted medal score weight = 4.033 |
| [Z3] | 0 | 10787 | 4 | 0 | 308.31 | 4.030 |
| CVC4 | 0 | 10683 | 108 | 0 | 29122.58 | 3.953 |
| CVC3 | 0 | 10647 | 144 | 0 | 23941.17 | 3.926 |
| veriT | 0 | 10189 | 602 | 0 | 303.48 | 3.596 |
| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Last modified: Tue 17 Feb 2015 15:00 UTC