Biggest Lead Ranking- Model Validation Track (experimental)

Page generated on 2019-07-23 17:57:57 +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	1.00265623	1.44376058	QF_BV

Parallel Performance

Solver	Correct Score	Time Score	Division
Boolector	1.00265623	1.44177292	QF_BV

n Non-competing.
e Experimental.