| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Competition results for the UFLIA division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 5766 (total = 12138, unknown status = 5499, trivial = 873)
| Solver | Errors | Solved | Not Solved | Remaining | CPU Time (on solved instances) |
Weighted medal score weight = 3.761 |
| CVC4 | 0 | 5582 | 184 | 0 | 101235.79 | 3.525 |
| [Z3] | 0 | 5145 | 621 | 0 | 45346.45 | 2.994 |
| veriT | 0 | 3985 | 1781 | 0 | 21518.67 | 1.796 |
| CVC3 | 0 | 8 | 5758 | 0 | 177.79 | 0.000 |
| Home | • | Intro | • | Tools | • | Specs | • | Thanks | • | SMT-LIB | • | Previous |
|---|
Last modified: Tue 17 Feb 2015 15:00 UTC