QF_FP (Main Track)

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

Benchmarks in this division : 40300
Time limit: 1200s

Winners

Sequential Performance	Parallel Performance
COLIBRI	COLIBRI

Result table¹

Sequential Performance

Solver	Error Score	Correctly Solved Score	CPU time Score	Solved	Unsolved
COLIBRI	0.000	39527.114	23.401	40224	76
CVC4	0.000	39222.445	39.125	40226	74
z3-4.7.1n	0.000	39115.122	43.583	40210	90

Parallel Performance

Solver	Error Score	Correctly Solved Score	CPU time Score	WALL time Score	Solved	Unsolved
COLIBRI	0.000	39527.114	23.402	23.403	40224	76
CVC4	0.000	39222.445	39.125	39.128	40226	74
z3-4.7.1n	0.000	39115.122	43.583	43.581	40210	90

n. Non-competing.

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