UFLIA (Main Track)

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

Competition benchmarks = 8404
Competition industrial benchmarks = 8017

The winners for this division are:

Sequential Performance

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

Division COMPLETE

Sequential Performance

Solver	Errors	Corrects	CPU
CVC3	0	8	92.21
CVC4	0	8280	300609.18
CVC4 (exp)	0	8280	302426.62
z3n	0	7779	1192775.34
veriT	0	6696	3976595.29

Sequential Performance (industrial)

Solver	Errors	Corrects	CPU
CVC3	0	0	66.89
CVC4	0	7905	259480.39
CVC4 (exp)	0	7905	261029.18
z3n	0	7413	1136406.38
veriT	0	6359	3878022.55

Parallel Performance

Solver	Errors	Corrects	CPU	WALL
CVC3	0	8	92.21	99.34
CVC4	0	8280	300720.02	300682.99
CVC4 (exp)	0	8280	302876.28	302481.89
z3n	0	7779	1193076.88	1192710.15
veriT	0	6696	3977979.17	3976902.92

Parallel Performance (industrial)

Solver	Errors	Corrects	CPU	WALL
CVC3	0	0	66.89	73.56
CVC4	0	7905	259524.40	259551.97
CVC4 (exp)	0	7905	261472.23	261077.58
z3n	0	7413	1136688.58	1136342.98
veriT	0	6359	3879380.93	3878160.54

Other Information

Solver	Not Solved	Remaining
CVC3	8396	0
CVC4	124	0
CVC4 (exp)	124	0
z3n	625	0
veriT	1708	0

n. Non-competitive.