| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Competition results for the QF_NRA division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 10121 (total = 11540, unknown status = 1392, trivial = 27)
| Solver | Errors | Solved | Not Solved | Remaining | CPU Time (on solved instances) |
Weighted medal score weight = 4.005 |
| [Z3] | 0 | 9927 | 194 | 0 | 21427.89 | 3.853 |
| CVC3 | 0 | 3543 | 6578 | 0 | 33535.52 | 0.491 |
| CVC4 | 0 | 2657 | 7464 | 0 | 128.96 | 0.276 |
| raSAT | 0 | 88 | 10033 | 0 | 1.03 | 0.000 |
| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Last modified: Tue 17 Feb 2015 15:00 UTC