QF_UFNIA (Main Track)

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

Competition benchmarks = 7
Competition industrial benchmarks = 7

Non-Competitive division

Sequential Performance

Solver	Errors	Corrects	CPU
CVC3	0	0	0.06
CVC4	0	7	0.05
CVC4 (exp)	0	7	0.04
z3n	0	7	0.24

Sequential Performance (industrial)

Solver	Errors	Corrects	CPU
CVC3	0	0	0.06
CVC4	0	7	0.05
CVC4 (exp)	0	7	0.04
z3n	0	7	0.24

Parallel Performance

Solver	Errors	Corrects	CPU	WALL
CVC3	0	0	0.06	0.06
CVC4	0	7	0.05	0.06
CVC4 (exp)	0	7	0.04	0.06
z3n	0	7	0.24	0.25

Parallel Performance (industrial)

Solver	Errors	Corrects	CPU	WALL
CVC3	0	0	0.06	0.06
CVC4	0	7	0.05	0.06
CVC4 (exp)	0	7	0.04	0.06
z3n	0	7	0.24	0.25

Other Information

Solver	Not Solved	Remaining
CVC3	7	0
CVC4	0	0
CVC4 (exp)	0	0
z3n	0	0

n. Non-competitive.