QF_NIRA (Main Track)

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

Competition benchmarks = 2
Competition industrial benchmarks = 2

The winners for this division are:

Sequential Performance

Sequential Performance	Sequential Performance (industrial)	Parallel Performance	Parallel Performance (industrial)
CVC4 (exp)	CVC4 (exp)	CVC4 (exp)	CVC4 (exp)

Division COMPLETE

Sequential Performance

Solver	Errors	Corrects	CPU
CVC4	0	2	11.90
CVC4 (exp)	0	2	11.87
SMT-RAT	0	2	32.98
z3n	0	1	0.31

Sequential Performance (industrial)

Solver	Errors	Corrects	CPU
CVC4	0	2	11.90
CVC4 (exp)	0	2	11.87
SMT-RAT	0	2	32.98
z3n	0	1	0.31

Parallel Performance

Solver	Errors	Corrects	CPU	WALL
CVC4	0	2	11.90	11.90
CVC4 (exp)	0	2	11.87	11.87
SMT-RAT	0	2	32.98	32.97
z3n	0	1	0.31	0.31

Parallel Performance (industrial)

Solver	Errors	Corrects	CPU	WALL
CVC4	0	2	11.90	11.90
CVC4 (exp)	0	2	11.87	11.87
SMT-RAT	0	2	32.98	32.97
z3n	0	1	0.31	0.31

Other Information

Solver	Not Solved	Remaining
CVC4	0	0
CVC4 (exp)	0	0
SMT-RAT	0	0
z3n	1	0

n. Non-competitive.