QF_FP (Main Track)

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

Benchmarks in this division : 40302
Time Limit: 1200s

Winners

Sequential Performance	Parallel Performance
COLIBRI	COLIBRI

Result table¹

Sequential Performance

Solver	Error Score	Correct Score	CPU Time	Unsolved
COLIBRI	706.419	38903.995	21.965	852
xsat	4504.850	8065.106	13.289	33652
z3-4.5.0n	0.000	39174.366	39.837	86

Parallel Performance

Solver	Error Score	Correct Score	CPU Score	WALL Score	Unsolved
COLIBRI	706.419	38903.995	21.965	21.973	852
xsat	4504.850	8081.744	18.179	7.649	33650
z3-4.5.0n	0.000	39174.366	39.837	39.854	86

n. Non-competing.

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