UF (Main Track)

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

Competition benchmarks = 2839
Competition industrial benchmarks = 2380

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
CVC3	0	1693	1419698.44
CVC4	0	2783	150666.01
CVC4 (exp)	0	2784	150661.68
z3n	0	1819	1872284.61
veriT	0	1504	2595201.01

Sequential Performance (industrial)

Solver	Errors	Corrects	CPU
CVC3	0	1292	1326912.69
CVC4	0	2324	147380.76
CVC4 (exp)	0	2325	147319.22
z3n	0	1371	1841726.88	0
veriT	0	1078	2531975.01	0

Parallel Performance

Solver	Errors	Corrects	CPU	WALL
CVC3	0	1693	1420976.17	1420994.62
CVC4	0	2783	151024.98	151153.59
CVC4 (exp)	0	2784	150691.89	151082.60
z3n	0	1819	1872822.41	1872692.63
veriT	0	1504	2595954.68	2596785.05

Parallel Performance (industrial)

Solver	Errors	Corrects	CPU	WALL
CVC3	0	1292	1328144.72	1328174.58
CVC4	0	2324	147739.73	147874.88
CVC4 (exp)	0	2325	147349.43	147738.12
z3n	0	1371	1842254.24	1842137.70
veriT	0	1078	2532717.62	2533290.06

Other Information

Solver	Not Solved	Remaining
CVC3	1146	0
CVC4	56	0
CVC4 (exp)	55	0
z3n	1020	0
veriT	1335	0

n. Non-competitive.