PB'12 competition: WBO track: comparison of two solvers
Select two solvers that you want to compare
First solver:
clasp_2.0.6-R5325
npSolver_1.0
npSolver_1.0 (fixed)
npSolver_inc
npSolver_inc (fixed)
npSolver_inc-topDown
npSolver_inc-topDown (fixed)
npSolver_inc-topdown-quickBound
npSolver_inc-topdown-quickBound (fixed)
pwbo_2.01
pwbo_2.02
Sat4j PB _2012-05-28
SCIP spx_SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
toysat_2012-05-17
wbo_1.71
wbo_1.72
wbo2sat_2012-05-19
wbo2satCp2_2012-05-19
Second solver:
clasp_2.0.6-R5325
npSolver_1.0
npSolver_1.0 (fixed)
npSolver_inc
npSolver_inc (fixed)
npSolver_inc-topDown
npSolver_inc-topDown (fixed)
npSolver_inc-topdown-quickBound
npSolver_inc-topdown-quickBound (fixed)
pwbo_2.01
pwbo_2.02
Sat4j PB _2012-05-28
SCIP spx_SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
toysat_2012-05-17
wbo_1.71
wbo_1.72
wbo2sat_2012-05-19
wbo2satCp2_2012-05-19
No chosen solver.