QF_UFNRA (Main Track)

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

Competition benchmarks = 34
Competition industrial benchmarks = 34

Non-Competitive division

Sequential Performance

Solver	Errors	Corrects	CPU
CVC3	0	21	26606.41
CVC4	0	19	67.65
CVC4 (exp)	0	19	67.27
z3n	0	30	6253.37

Sequential Performance (industrial)

Solver	Errors	Corrects	CPU
CVC3	0	21	26606.41
CVC4	0	19	67.65
CVC4 (exp)	0	19	67.27
z3n	0	30	6253.37

Parallel Performance

Solver	Errors	Corrects	CPU	WALL
CVC3	0	21	26626.37	26624.51
CVC4	0	19	67.65	67.71
CVC4 (exp)	0	19	67.27	67.32
z3n	0	30	6255.53	6252.84

Parallel Performance (industrial)

Solver	Errors	Corrects	CPU	WALL
CVC3	0	21	26626.37	26624.51
CVC4	0	19	67.65	67.71
CVC4 (exp)	0	19	67.27	67.32
z3n	0	30	6255.53	6252.84

Other Information

Solver	Not Solved	Remaining
CVC3	13	0
CVC4	15	0
CVC4 (exp)	15	0
z3n	4	0

n. Non-competitive.