QF_FP (Main Track)

Competition results for the QF_FP division as of Thu Jul 7 07:24:34 GMT

Benchmarks in this division: 34413
Time Limit: 1200s

Non-Competitive division

Sequential Performance

Solver	Error Score	Correct Score	avg. CPU time
MathSat5n	0.000	28749.960	4.612

Parallel Performance

Solver	Error Score	Correct Score	avg. CPU time	avg. WALL time	Unsolved
MathSat5n	0.000	28749.960	4.614	4.614	5674

n. Non-competitive.

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