PB'10 competition: satisfaction and optimization track: comparison of two solvers
Select two solvers that you want to compare
First solver:
borg-pb_10.05.30
bsolo_3.2 Card
bsolo_3.2 Cl
pb_cplex_2010-06-29
PB/CT_0.1
PB/CT_0.1 fixed
PBPASSolver_2010-06-13
PB-wave_alpha 2
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
SCIPclp_SCIP 1.2.1.2 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
SCIPspx_SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
wbo_1.4a
wbo_1.4b
wbo_1.4b (fixed)
Second solver:
borg-pb_10.05.30
bsolo_3.2 Card
bsolo_3.2 Cl
pb_cplex_2010-06-29
PB/CT_0.1
PB/CT_0.1 fixed
PBPASSolver_2010-06-13
PB-wave_alpha 2
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
SCIPclp_SCIP 1.2.1.2 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
SCIPspx_SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
wbo_1.4a
wbo_1.4b
wbo_1.4b (fixed)
No chosen solver.