UFLRA (Application Track)

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

Competition benchmarks = 5358
Competition industrial benchmarks = 5358

Non-Competitive division

Parallel Performance

Solver	Errors	Corrects	CPU	WALL
CVC3	0	67793	333708.67	333565.16
CVC4 (exp)	0	65060	2877598.44	2876492.38
CVC4	0	68236	22110.81	21796.12
z3 4.4.0n	0	223385	355353.23	354990.21

Parallel Performance (industrial)

Solver	Errors	Corrects	CPU	WALL
CVC3	0	67793	333708.67	333565.16
CVC4 (exp)	0	65060	2877598.44	2876492.38
CVC4	0	68236	22110.81	21796.12
z3 4.4.0n	0	223385	355353.23	354990.21

n. Non-competitive.