ANIA (Application Track)

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

Competition benchmarks = 3
Competition industrial benchmarks = 3

Non-Competitive division

Parallel Performance

Solver	Errors	Corrects	CPU	WALL
CVC4 (exp)	0	23487	198.35	196.37
CVC4	0	23487	195.92	193.96
z3 4.4.0n	0	23488	16.79	15.65

Parallel Performance (industrial)

Solver	Errors	Corrects	CPU	WALL
CVC4 (exp)	0	23487	198.35	196.37
CVC4	0	23487	195.92	193.96
z3 4.4.0n	0	23488	16.79	15.65

n. Non-competitive.