Largest Contribution Ranking - Cloud Track

Page generated on 2021-07-18 17:32:04 +0000

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

Parallel Performance

Solver	Correct Score	Time Score	Division
SMTS cube-and-conquer	0.05	0.0134623	QF_LinearIntArith
SMTS portfolio	0.0	0.01419125	QF_LinearRealArith

SAT Performance

Solver	Correct Score	Time Score	Division
SMTS cube-and-conquer	0.05	0.0134623	QF_LinearIntArith
SMTS portfolio	0.0	0.00246139	QF_LinearRealArith

UNSAT Performance

Solver	Correct Score	Time Score	Division
SMTS portfolio	0.0	0.00967248	QF_LinearRealArith

24s Performance

Solver	Correct Score	Time Score	Division
SMTS cube-and-conquer	0.25	0.01638045	QF_LinearIntArith
SMTS cube-and-conquer	0.0	8.481e-05	QF_LinearRealArith

n Non-competing.
e Experimental.