QF_BV (Application Track)

Competition results for the QF_BV division as of Jul 17 2014
Competition benchmarks = 18 (check-sat commands = 2141)

Division COMPLETE: The winner is Yices2

Parallel Performance

Solver	Errors	Solved	Not Solved	CPU Time
Z3n	0	1621	520	38805.80
MathSATn	0	2022	119	27302.30
CVC4	0	1706	435	36138.10
Yices2	0	1749	392	33705.30

n. Non-competitive.