AUFLIRA (Main Track)

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

Competition benchmarks = 19849
Competition industrial benchmarks = 19649

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	19705	242285.89
CVC4	0	19740	309474.62
CVC4 (exp)	0	19749	291002.13
z3n	0	19845	9050.49
veriT	0	19255	1047743.30

Sequential Performance (industrial)

Solver	Errors	Corrects	CPU
CVC3	0	19634	15530.33
CVC4	0	19640	25725.69
CVC4 (exp)	0	19639	25758.58
z3n	0	19647	4078.35
veriT	0	19254	571077.57

Parallel Performance

Solver	Errors	Corrects	CPU	WALL
CVC3	0	19705	242457.33	242429.45
CVC4	0	19740	309561.57	309489.19
CVC4 (exp)	0	19749	291174.37	291022.33
z3n	0	19845	9053.54	9054.37
veriT	0	19255	1048006.43	1049405.63

Parallel Performance (industrial)

Solver	Errors	Corrects	CPU	WALL
CVC3	0	19634	15541.74	15558.53
CVC4	0	19640	25733.00	25777.01
CVC4 (exp)	0	19639	25765.35	25813.16
z3n	0	19647	4079.25	4082.26
veriT	0	19254	571149.48	572738.37

Other Information

Solver	Not Solved	Remaining
CVC3	144	0
CVC4	109	0
CVC4 (exp)	100	0
z3n	4	0
veriT	594	0

n. Non-competitive.