| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Competition results for the QF_NIA division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 8327 (total = 9359, unknown status = 927, trivial = 105)
| Solver | Errors | Solved | Not Solved | Remaining | CPU Time (on solved instances) |
Weighted medal score weight = 3.920 |
| [Z3] | 0 | 8313 | 14 | 0 | 21332.20 | 3.907 |
| AProVE | 0 | 8172 | 155 | 0 | 8498.25 | 3.776 |
| CVC3 | 0 | 148 | 8179 | 0 | 31.15 | 0.001 |
| CVC4 | 0 | 33 | 8294 | 0 | 0.50 | 0.000 |
| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Last modified: Tue 17 Feb 2015 15:00 UTC