QF_ABVFP (Unsat Core Track)

Competition results for the QF_ABVFP division as of Thu Jul 12 23:54:00 GMT

Benchmarks in this division : 3934
Time limit: 2400s

Non-Competitive Division

Sequential Performance

Solver	Error Score	Reduction Score	avg. CPU time
CVC4	0.000	14029.524	8.972

Parallel Performance

Solver	Error Score	Reduction Score	avg. CPU time	avg. WALL time
CVC4	0.000	14029.524	8.972	9.169

n. Non-competing.

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