Largest Contribution Ranking - Model Validation Track (experimental)

Page generated on 2019-07-23 17:58:02 +0000

This track is experimental. Solvers are only ranked by performance, but no winner is selected.

Sequential Performance

Solver	Correct Score	Time Score	Division
Boolector	0.00166991	0.23520658	QF_BV

Parallel Performance

Solver	Correct Score	Time Score	Division
Boolector	0.00166922	0.23680591	QF_BV

n Non-competing.
e Experimental.