PB'12 competition: satisfaction and optimization track: comparison of two solvers
Select two solvers that you want to compare
First solver:
bsolo_3.2
clasp_2.0.6-R5325 (dec)
clasp_2.0.6-R5325 (opt)
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)
PB07: bsolo_3.0.17
PB07: minisat+_1.14
PB07: PB-clasp_2007-04-10
PB07: Pueblo_1.4
PB07: SAT4JPseudoResolution_2007-03-23
PB09: bsolo_3.1
PB09: SAT4J Pseudo Resolution_2.1.1
PB09: SCIPspx_SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
PB10: borg-pb_10.05.30
PB10: pb_cplex_2010-06-29
PB10: SAT4J PB RES // CP_2.2.0 2010-05-31
PB10: SCIPspx_SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
PB11: borg_pb-dec-11.04.03
PB11: Sat4j Res//CP_2.3.0
PB11: SCIP spx E_2_2011-06-10 (fixed)
PB12: minisatp_1.0-2-g022594c
pb2sat_2012-05-19
pb2satCp2_2012-05-19
PBPASSolver-CARD.DP_2012-05-28
PBPASSolver-CARD.SN_2012-05-28
pwbo_2.0
pwbo_2.0
pwbo_2.0
pwbo_2.0
pwbo_2.02
pwbo_2.02
pwbo_2.02
pwbo_2.02
SAT 4j PB RES // CP_2.3.2 Snapshot
Sat 4j PB Resolution_2.3.2 Snapshot
SAT4J PB specific settings_2.3.2 snapshot
SCIP spx_SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
SCIP spx E_SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed
SCIP spx standard_SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
toysat_2012-05-17
toysat_2012-06-01
wbo_1.7
wbo_1.7
wbo_1.72
wbo_1.72
Second solver:
bsolo_3.2
clasp_2.0.6-R5325 (dec)
clasp_2.0.6-R5325 (opt)
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)
PB07: bsolo_3.0.17
PB07: minisat+_1.14
PB07: PB-clasp_2007-04-10
PB07: Pueblo_1.4
PB07: SAT4JPseudoResolution_2007-03-23
PB09: bsolo_3.1
PB09: SAT4J Pseudo Resolution_2.1.1
PB09: SCIPspx_SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
PB10: borg-pb_10.05.30
PB10: pb_cplex_2010-06-29
PB10: SAT4J PB RES // CP_2.2.0 2010-05-31
PB10: SCIPspx_SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
PB11: borg_pb-dec-11.04.03
PB11: Sat4j Res//CP_2.3.0
PB11: SCIP spx E_2_2011-06-10 (fixed)
PB12: minisatp_1.0-2-g022594c
pb2sat_2012-05-19
pb2satCp2_2012-05-19
PBPASSolver-CARD.DP_2012-05-28
PBPASSolver-CARD.SN_2012-05-28
pwbo_2.0
pwbo_2.0
pwbo_2.0
pwbo_2.0
pwbo_2.02
pwbo_2.02
pwbo_2.02
pwbo_2.02
SAT 4j PB RES // CP_2.3.2 Snapshot
Sat 4j PB Resolution_2.3.2 Snapshot
SAT4J PB specific settings_2.3.2 snapshot
SCIP spx_SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
SCIP spx E_SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed
SCIP spx standard_SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
toysat_2012-05-17
toysat_2012-06-01
wbo_1.7
wbo_1.7
wbo_1.72
wbo_1.72
No chosen solver.