ALIA (Main Track)

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

Competition benchmarks = 42
Competition industrial benchmarks = 42

The winners for this division are:

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
CVC3	0	0	0.34
CVC4	0	40	3.48
CVC4 (exp)	0	42	3.42
z3n	0	42	1.79
veriT	0	27	36000.14

Sequential Performance (industrial)

Solver	Errors	Corrects	CPU
CVC3	0	0	0.34
CVC4	0	40	3.48
CVC4 (exp)	0	42	3.42
z3n	0	42	1.79
veriT	0	27	36000.14

Parallel Performance

Solver	Errors	Corrects	CPU	WALL
CVC3	0	0	0.34	0.37
CVC4	0	40	3.48	3.63
CVC4 (exp)	0	42	3.42	3.56
z3n	0	42	1.79	1.79
veriT	0	27	36014.88	36000.44

Parallel Performance (industrial)

Solver	Errors	Corrects	CPU	WALL
CVC3	0	0	0.34	0.37
CVC4	0	40	3.48	3.63
CVC4 (exp)	0	42	3.42	3.56
z3n	0	42	1.79	1.79
veriT	0	27	36014.88	36000.44

Other Information

Solver	Not Solved	Remaining
CVC3	42	0
CVC4	2	0
CVC4 (exp)	0	0
z3n	0	0
veriT	15	0

n. Non-competitive.