PB'09 competition: comparison of two solvers
Select two solvers that you want to compare
First solver:
BoolVar_2009-04-26
bsolo_3.1
bsolo_3.1 cl
bsolo_3.1 pb
pbclasp_2009-04-24
SAT4J Pseudo CP_2.1.1
SAT4J Pseudo Resolution_2.1.1
SCIPclp_SCIP 1.1.0.7 with CLP 1.8.2
SCIPspx_SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
wbo_1.0
Second solver:
BoolVar_2009-04-26
bsolo_3.1
bsolo_3.1 cl
bsolo_3.1 pb
pbclasp_2009-04-24
SAT4J Pseudo CP_2.1.1
SAT4J Pseudo Resolution_2.1.1
SCIPclp_SCIP 1.1.0.7 with CLP 1.8.2
SCIPspx_SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
wbo_1.0
No chosen solver.