AUFLIA (Main Track)

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

Competition benchmarks = 4
Competition industrial benchmarks = 1

The winners for this division are:

Sequential Performance

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

Division COMPLETE

Sequential Performance

Solver	Errors	Corrects	CPU
CVC3	0	3	2450.05
CVC4	0	3	2480.80
CVC4 (exp)	0	3	2400.71
z3n	0	2	4800.07
veriT	0	2	4811.28

Sequential Performance (industrial)

Solver	Errors	Corrects	CPU
CVC3	0	1	45.81
CVC4	0	1	0.02
CVC4 (exp)	0	1	0.03
z3n	0	1	0.03
veriT	0	0	2400.00

Parallel Performance

Solver	Errors	Corrects	CPU	WALL
CVC3	0	3	2453.04	2452.14
CVC4	0	3	2481.33	2480.82
CVC4 (exp)	0	3	2401.70	2400.73
z3n	0	2	4801.99	4800.09
veriT	0	2	4812.82	4811.30

Parallel Performance (industrial)

Solver	Errors	Corrects	CPU	WALL
CVC3	0	1	45.81	45.80
CVC4	0	1	0.02	0.02
CVC4 (exp)	0	1	0.03	0.03
z3n	0	1	0.03	0.03
veriT	0	0	2401.02	2400.01

Other Information

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

n. Non-competitive.