PB'10 competition: WBO track: comparison of two solvers
Select two solvers that you want to compare
First solver:
pb_cplex_2010-07-01
PB/CT_0.1
PB/CT_0.1 fixed
SAT4J PB CuttingPlanes_2.2.0 2010-05-26
SAT4J PB RES // CP_2.2.0 2010-05-31
SAT4J PB Resolution_2.2.0 2010-05-26
SAT4J PB Resolution_2.2.1
SCIPclp_SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
SCIPclp_SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
SCIPnone_SCIP 1.2.1.2 without any LP solver
SCIPspx_SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
wbo_1.4a
wbo_1.4b
Second solver:
pb_cplex_2010-07-01
PB/CT_0.1
PB/CT_0.1 fixed
SAT4J PB CuttingPlanes_2.2.0 2010-05-26
SAT4J PB RES // CP_2.2.0 2010-05-31
SAT4J PB Resolution_2.2.0 2010-05-26
SAT4J PB Resolution_2.2.1
SCIPclp_SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
SCIPclp_SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
SCIPnone_SCIP 1.2.1.2 without any LP solver
SCIPspx_SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
wbo_1.4a
wbo_1.4b
No chosen solver.