QF_NRA (Main Track)

Competition results for the QF_NRA division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 10121 (total = 11540, unknown status = 1392, trivial = 27)

Division COMPLETE: The winner is CVC3

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)	Weighted Medal Score (weight = 4.005)
Z3n	0	9927	194	0	21427.89	3.853
CVC3	0	3543	6578	0	33535.52	0.491
CVC4	0	2657	7464	0	128.96	0.276
raSAT	0	88	10033	0	1.03	0.000

n. Non-competitive.