QF_NIA (Main Track)

Competition results for the QF_NIA division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 8327 (total = 9359, unknown status = 927, trivial = 105)

Division COMPLETE: The winner is AProVE

Solver	Errors	Solved	Not Solved	Remaining	CPU Time (on solved instances)	Weighted Medal Score (weight = 3.920)
Z3n	0	8313	14	0	21332.20	3.907
AProVE	0	8172	155	0	8498.25	3.776
CVC3	0	148	8179	0	31.15	0.001
CVC4	0	33	8294	0	0.50	0.000

n. Non-competitive.