QF_ABVFP (Main Track)

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

Benchmarks in this division : 18129
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	5.893	15091.072	59.663	17764	365
CVC4	0.000	18038.569	14.405	18117	12

Parallel Performance

Solver	Error Score	Correctly Solved Score	CPU time Score	WALL time Score	Solved	Unsolved
COLIBRI	5.893	15091.072	59.663	59.668	17764	365
CVC4	0.000	18038.569	14.405	14.400	18117	12

n. Non-competing.

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