QF_AUFLIA (Application Track)

Competition results for the QF_AUFLIA division as of Jul 17 2014
Competition benchmarks = 72 (check-sat commands = 4699864)

Division COMPLETE: The winner is Yices2

Parallel Performance

Solver	Errors	Solved	Not Solved	CPU Time
Z3n	0	3244375	1455489	8564.30
MathSATn	0	377	4699487	115202.00
SMTInterpol	0	3244375	1455489	9442.86
CVC4	0	1051256	3648608	38764.30
Yices2	0	3244375	1455489	2182.63

n. Non-competitive.