QF_BVFP (Main Track)

Competition results for the QF_BVFP division as of Fri Jul 21 10:18:02 GMT

Benchmarks in this division: 17215
Time Limit: 1200s

Non-Competitive division

Sequential Performance

Solver	Error Score	Correct Score	CPU Time	Unsolved
COLIBRI	0.000	14806.631	54.814	216
z3-4.5.0n	0.000	17133.522	17.555	4

Parallel Performance

Solver	Error Score	Correct Score	CPU Score	WALL Score	Unsolved
COLIBRI	0.000	14806.631	54.815	54.821	216
z3-4.5.0n	0.000	17133.522	17.555	17.541	4

n. Non-competing.

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