| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Competition results for the AUFNIRA division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 564 (total = 1495, unknown status = 468, trivial = 463)
| Solver | Errors | Solved | Not Solved | Remaining | CPU Time (on solved instances) |
| [CVC4-with-bugfix] | 0 | 547 | 17 | 0 | 4107.47 |
| [Z3] | 0 | 541 | 23 | 0 | 303.78 |
| CVC3 | 0 | 533 | 31 | 0 | 1596.65 |
| CVC4 | 1 | 547 | 16 | 0 | 3137.72 |
| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Last modified: Tue 17 Feb 2015 15:00 UTC