| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Competition results for the QF_IDL division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 1315 (total = 2189, unknown status = 537, trivial = 337)
| Solver | Errors | Solved | Not Solved | Remaining | CPU Time (on solved instances) |
Weighted medal score weight = 3.119 |
| [Z3] | 0 | 1235 | 80 | 0 | 24813.22 | 2.751 |
| Yices2 | 0 | 1212 | 103 | 0 | 14903.64 | 2.649 |
| CVC4 | 0 | 1130 | 185 | 0 | 119927.16 | 2.303 |
| veriT | 0 | 979 | 336 | 0 | 172464.50 | 1.729 |
| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Last modified: Tue 17 Feb 2015 15:00 UTC