| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Competition results for the UF division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 2830 (total = 5748, unknown status = 2911, trivial = 7)
| Solver | Errors | Solved | Not Solved | Remaining | CPU Time (on solved instances) |
Weighted medal score weight = 3.452 |
| CVC4 | 0 | 2732 | 98 | 0 | 87682.16 | 3.217 |
| [Z3] | 0 | 1802 | 1028 | 0 | 21936.93 | 1.400 |
| CVC3 | 0 | 1682 | 1148 | 0 | 31862.96 | 1.219 |
| veriT | 0 | 1410 | 1420 | 0 | 7880.76 | 0.857 |
| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Last modified: Tue 17 Feb 2015 15:00 UTC