PB'11 competition: satisfaction and optimization track: comparison of two solvers
Select two solvers that you want to compare
First solver:
borg_pb-dec-11.04.03
borg_pb-opt-11.04.03
bsolo_3.2
clasp_2.0-R4191
clasp_2.0-R4191
clasp_2.0-R4191-patched (fixed)
MinisatID_2.4.8
MinisatID_2.4.8-gmp
MinisatID_2.5.2 (fixed)
MinisatID_2.5.2-gmp (fixed)
pwbo_1.1
Sat4j CuttingPlanes_2.3.0
Sat4j Res//CP_2.3.0
Sat4j Resolution_2.3.0
SCIP spx_SCIP 2.0.1.4. with SoPlex 1.5.0.4
SCIP spx 2_2011-06-10 (fixed)
SCIP spx E_SCIP 2.0.1.4b with SoPlex 1.5.0.4
SCIP spx E_2_2011-06-10 (fixed)
wbo_1.6
Second solver:
borg_pb-dec-11.04.03
borg_pb-opt-11.04.03
bsolo_3.2
clasp_2.0-R4191
clasp_2.0-R4191
clasp_2.0-R4191-patched (fixed)
MinisatID_2.4.8
MinisatID_2.4.8-gmp
MinisatID_2.5.2 (fixed)
MinisatID_2.5.2-gmp (fixed)
pwbo_1.1
Sat4j CuttingPlanes_2.3.0
Sat4j Res//CP_2.3.0
Sat4j Resolution_2.3.0
SCIP spx_SCIP 2.0.1.4. with SoPlex 1.5.0.4
SCIP spx 2_2011-06-10 (fixed)
SCIP spx E_SCIP 2.0.1.4b with SoPlex 1.5.0.4
SCIP spx E_2_2011-06-10 (fixed)
wbo_1.6
No chosen solver.