QF_NIA (Application Track)

Competition results for the QF_NIA division as of Fri Oct 30 12:49:29 GMT

Competition benchmarks = 10
Competition industrial benchmarks = 10

Non-Competitive division

Parallel Performance

Solver	Errors	Corrects	CPU	WALL
CVC3	0	1373	24009.06	24000.14
CVC4 (exp)	0	3974167	15743.92	15534.75
CVC4	0	3976631	15693.21	15484.24
z3 4.4.0n	0	4181657	2220.93	2086.66

Parallel Performance (industrial)

Solver	Errors	Corrects	CPU	WALL
CVC3	0	1373	24009.06	24000.14
CVC4 (exp)	0	3974167	15743.92	15534.75
CVC4	0	3976631	15693.21	15484.24
z3 4.4.0n	0	4181657	2220.93	2086.66

n. Non-competitive.