QF_BVFP (Main Track)

Competition results for the QF_BVFP division as of Fri Jul 13 00:02:11 GMT

Benchmarks in this division : 17215
Time limit: 1200s

Winners

Sequential Performance	Parallel Performance
CVC4	CVC4

Result table¹

Sequential Performance

Solver	Error Score	Correctly Solved Score	CPU time Score	Solved	Unsolved
COLIBRI	0.000	14908.021	65.172	17029	186
CVC4	0.000	17130.384	10.800	17211	4
z3-4.7.1n	0.000	17014.628	24.951	17201	14

Parallel Performance

Solver	Error Score	Correctly Solved Score	CPU time Score	WALL time Score	Solved	Unsolved
COLIBRI	0.000	14908.021	65.172	65.177	17029	186
CVC4	0.000	17130.384	10.800	10.786	17211	4
z3-4.7.1n	0.000	17014.628	24.951	24.949	17201	14

n. Non-competing.

1. Scores are computed according to Section 7 of the rules.