QF_RDL (Main Track)

Competition results for the QF_RDL division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 132 (total = 255, unknown status = 85, trivial = 38)

Division COMPLETE: The winner is Yices2

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)	Weighted Medal Score (weight = 2.121)
Yices2	0	132	0	0	6048.28	2.121
Z3n	0	128	4	0	5343.59	1.994
veriT	0	128	4	0	9794.56	1.994
CVC4	0	127	5	0	8457.03	1.963

n. Non-competitive.