| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Competition results for the UFNIA division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 1587 (total = 3351, unknown status = 1052, trivial = 712)
| Solver | Errors | Solved | Not Solved | Remaining | CPU Time (on solved instances) |
| [Z3] | 0 | 1382 | 205 | 0 | 34453.76 |
| CVC4 | 0 | 1371 | 216 | 0 | 170245.66 |
| CVC3 | 0 | 793 | 794 | 0 | 35825.90 |
| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Last modified: Tue 17 Feb 2015 15:00 UTC