QF_ANIA (Application Track)

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

Competition benchmarks = 5
Competition industrial benchmarks = 5

Non-Competitive division

Parallel Performance

Solver	Errors	Corrects	CPU	WALL
CVC4 (exp)	0	48503	2616.23	2611.97
CVC4	0	48503	2616.58	2612.35
z3 4.4.0n	0	51724	47.94	45.60

Parallel Performance (industrial)

Solver	Errors	Corrects	CPU	WALL
CVC4 (exp)	0	48503	2616.23	2611.97
CVC4	0	48503	2616.58	2612.35
z3 4.4.0n	0	51724	47.94	45.60

n. Non-competitive.