PB'12 competition: WBO track: list of solvers

List of solvers

clasp 2.0.6-R5325 (Benjamin Kaufmann)
npSolver 1.0 (Norbert Manthey and Peter Steinke)
npSolver 1.0 (fixed) (Norbert Manthey and Peter Steinke)
npSolver inc (Norbert Manthey and Peter Steinke)
npSolver inc (fixed) (Norbert Manthey and Peter Steinke)
npSolver inc-topDown (Norbert Manthey and Peter Steinke)
npSolver inc-topDown (fixed) (Norbert Manthey and Peter Steinke)
npSolver inc-topdown-quickBound (Norbert Manthey and Peter Steinke)
npSolver inc-topdown-quickBound (fixed) (Norbert Manthey and Peter Steinke)
pwbo 2.01 (Ruben Martins, Vasco Manquinho, Inês Lynce)
pwbo 2.02 (Ruben Martins, Vasco Manquinho, Inês Lynce)
Sat4j PB 2012-05-28 (Daniel Le Berre and Anne Parrain)
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (Stefan Heinz and Marc Pfetsch and Michael Winkler)
toysat 2012-05-17 (Masahiro Sakai)
wbo 1.71 (Ruben Martins, Vasco Manquinho, Inês Lynce)
wbo 1.72 (Ruben Martins, Vasco Manquinho, Inês Lynce)
wbo2sat 2012-05-19 (Steinke Peter)
wbo2satCp2 2012-05-19 (Steinke Peter)

Details on each solver

Event PB'12 competition: WBO track

Type WBO

Submitter Benjamin Kaufmann

Date of submission 2012-04-17 14:45

Name clasp

Version 2.0.6-R5325

Authors Benjamin Kaufmann

Complete/Incomplete Complete

Is able to solve PARTIAL-SMALLINT-LIN
PARTIAL-SMALLINT-NLC
SOFT-SMALLINT-LIN
SOFT-SMALLINT-NLC

Solver command line HOME/clasp-wbo.sh BENCHNAME

Conversion script command line

Comments INSTALL INSTRUCTIONS:
=====================
1. Extract archive
2. cp clasp-2.0.6-R5325/clasp-R5325 HOME/
3. cp clasp-2.0.6-R5325/clasp-wbo.sh HOME/

NOTE:
=====
Source code is available at http://potassco.sourceforge.net/

Solver files and checksums

[Show/Hide files]

Event PB'12 competition: WBO track

Type WBO

Submitter Norbert Manthey

Date of submission 2012-05-18 22:00

Name npSolver

Version 1.0

Authors Norbert Manthey and Peter Steinke

Complete/Incomplete Complete

Is able to solve PARTIAL-BIGINT-LIN
PARTIAL-BIGINT-NLC
PARTIAL-SMALLINT-LIN
PARTIAL-SMALLINT-NLC
SOFT-BIGINT-LIN
SOFT-BIGINT-NLC
SOFT-SMALLINT-LIN
SOFT-SMALLINT-NLC

Solver command line DIR/npSolver-wbo.sh BENCHNAME RANDOMSEED TMPDIR DIR

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event PB'12 competition: WBO track

Type WBO

Submitter Norbert Manthey

Date of submission 2012-05-18 22:00

Name npSolver

Version 1.0 (fixed)

Authors Norbert Manthey and Peter Steinke

Complete/Incomplete Complete

Is able to solve PARTIAL-BIGINT-LIN
PARTIAL-BIGINT-NLC
PARTIAL-SMALLINT-LIN
PARTIAL-SMALLINT-NLC
SOFT-BIGINT-LIN
SOFT-BIGINT-NLC
SOFT-SMALLINT-LIN
SOFT-SMALLINT-NLC

Solver command line DIR/npSolver-wbo.sh BENCHNAME RANDOMSEED TMPDIR DIR

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event PB'12 competition: WBO track

Type WBO

Submitter Norbert Manthey

Date of submission 2012-05-18 22:03

Name npSolver

Version inc

Authors Norbert Manthey and Peter Steinke

Complete/Incomplete Complete

Is able to solve PARTIAL-BIGINT-LIN
PARTIAL-BIGINT-NLC
PARTIAL-SMALLINT-LIN
PARTIAL-SMALLINT-NLC
SOFT-BIGINT-LIN
SOFT-BIGINT-NLC
SOFT-SMALLINT-LIN
SOFT-SMALLINT-NLC

Solver command line DIR/npSolver-wbo-I.sh BENCHNAME RANDOMSEED TMPDIR DIR

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event PB'12 competition: WBO track

Type WBO

Submitter Norbert Manthey

Date of submission 2012-05-18 22:03

Name npSolver

Version inc (fixed)

Authors Norbert Manthey and Peter Steinke

Complete/Incomplete Complete

Is able to solve PARTIAL-BIGINT-LIN
PARTIAL-BIGINT-NLC
PARTIAL-SMALLINT-LIN
PARTIAL-SMALLINT-NLC
SOFT-BIGINT-LIN
SOFT-BIGINT-NLC
SOFT-SMALLINT-LIN
SOFT-SMALLINT-NLC

Solver command line DIR/npSolver-wbo-I.sh BENCHNAME RANDOMSEED TMPDIR DIR

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event PB'12 competition: WBO track

Type WBO

Submitter Norbert Manthey

Date of submission 2012-05-18 22:08

Name npSolver

Version inc-topDown

Authors Norbert Manthey and Peter Steinke

Complete/Incomplete Complete

Is able to solve PARTIAL-BIGINT-LIN
PARTIAL-BIGINT-NLC
PARTIAL-SMALLINT-LIN
PARTIAL-SMALLINT-NLC
SOFT-BIGINT-LIN
SOFT-BIGINT-NLC
SOFT-SMALLINT-LIN
SOFT-SMALLINT-NLC

Solver command line DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event PB'12 competition: WBO track

Type WBO

Submitter Norbert Manthey

Date of submission 2012-05-18 22:08

Name npSolver

Version inc-topDown (fixed)

Authors Norbert Manthey and Peter Steinke

Complete/Incomplete Complete

Is able to solve PARTIAL-BIGINT-LIN
PARTIAL-BIGINT-NLC
PARTIAL-SMALLINT-LIN
PARTIAL-SMALLINT-NLC
SOFT-BIGINT-LIN
SOFT-BIGINT-NLC
SOFT-SMALLINT-LIN
SOFT-SMALLINT-NLC

Solver command line DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event PB'12 competition: WBO track

Type WBO

Submitter Norbert Manthey

Date of submission 2012-05-18 22:11

Name npSolver

Version inc-topdown-quickBound

Authors Norbert Manthey and Peter Steinke

Complete/Incomplete Complete

Is able to solve PARTIAL-BIGINT-LIN
PARTIAL-BIGINT-NLC
PARTIAL-SMALLINT-LIN
PARTIAL-SMALLINT-NLC
SOFT-BIGINT-LIN
SOFT-BIGINT-NLC
SOFT-SMALLINT-LIN
SOFT-SMALLINT-NLC

Solver command line DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event PB'12 competition: WBO track

Type WBO

Submitter Norbert Manthey

Date of submission 2012-05-18 22:11

Name npSolver

Version inc-topdown-quickBound (fixed)

Authors Norbert Manthey and Peter Steinke

Complete/Incomplete Complete

Is able to solve PARTIAL-BIGINT-LIN
PARTIAL-BIGINT-NLC
PARTIAL-SMALLINT-LIN
PARTIAL-SMALLINT-NLC
SOFT-BIGINT-LIN
SOFT-BIGINT-NLC
SOFT-SMALLINT-LIN
SOFT-SMALLINT-NLC

Solver command line DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event PB'12 competition: WBO track

Type WBO

Submitter Ruben Martins

Date of submission 2012-05-17 23:53

Name pwbo

Version 2.01

Authors Ruben Martins, Vasco Manquinho, Inês Lynce

Complete/Incomplete Complete

Is able to solve PARTIAL-SMALLINT-LIN
SOFT-SMALLINT-LIN

Solver command line pwbo2.01 -file-format=wbo -verbosity=0 BENCHNAME

Conversion script command line

Comments Fixed a bug in the certificate of WBO instances

Solver files and checksums

[Show/Hide files]

Event PB'12 competition: WBO track

Type WBO

Submitter Ruben Martins

Date of submission 2012-06-02 00:38

Name pwbo

Version 2.02

Authors Ruben Martins, Vasco Manquinho, Inês Lynce

Complete/Incomplete Complete

Is able to solve PARTIAL-SMALLINT-LIN
SOFT-SMALLINT-LIN

Solver command line pwbo2.02 -file-format=wbo -verbosity=0 BENCHNAME

Conversion script command line

Comments Fixed a bug in equality constraints.
Fixed a bug in the certificate of WBO instances.

Solver files and checksums

[Show/Hide files]

Event PB'12 competition: WBO track

Type WBO

Submitter Daniel Le Berre

Date of submission 2012-05-28 20:42

Name Sat4j PB

Version 2012-05-28

Authors Daniel Le Berre and Anne Parrain

Complete/Incomplete Complete

Is able to solve PARTIAL-BIGINT-LIN
PARTIAL-BIGINT-NLC
PARTIAL-SMALLINT-LIN
PARTIAL-SMALLINT-NLC
SOFT-BIGINT-LIN
SOFT-BIGINT-NLC
SOFT-SMALLINT-LIN
SOFT-SMALLINT-NLC

Solver command line java -jar HOME/sat4j-pb.jar BENCHNAME

Conversion script command line

Comments There is a small change in the solver wrt the one in PBO: the LBD of the clauses is updated during propagation.

Solver files and checksums

[Show/Hide files]

Event PB'12 competition: WBO track

Type WBO

Submitter Stefan Heinz

Date of submission 2012-05-20 22:19

Name SCIP spx

Version SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed

Authors Stefan Heinz and Marc Pfetsch and Michael Winkler

Complete/Incomplete Complete

Is able to solve PARTIAL-SMALLINT-LIN
PARTIAL-SMALLINT-NLC
SOFT-SMALLINT-LIN
SOFT-SMALLINT-NLC

Solver command line HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT

Conversion script command line

Comments http://scip.zib.de

Solver files and checksums

[Show/Hide files]

Event PB'12 competition: WBO track

Type WBO

Submitter Masahiro Sakai

Date of submission 2012-05-17 16:13

Name toysat

Version 2012-05-17

Authors Masahiro Sakai

Complete/Incomplete Complete

Is able to solve PARTIAL-BIGINT-LIN
PARTIAL-BIGINT-NLC
PARTIAL-SMALLINT-LIN
PARTIAL-SMALLINT-NLC
SOFT-BIGINT-LIN
SOFT-BIGINT-NLC
SOFT-SMALLINT-LIN
SOFT-SMALLINT-NLC

Solver command line HOME/toysat --wbo BENCHNAME

Conversion script command line

Comments This is a fixed version that do not depend on loadable modules of iconv/gconv.

Solver files and checksums

[Show/Hide files]

Event PB'12 competition: WBO track

Type WBO

Submitter Ruben Martins

Date of submission 2012-05-18 00:01

Name wbo

Version 1.71

Authors Ruben Martins, Vasco Manquinho, Inês Lynce

Complete/Incomplete Complete

Is able to solve PARTIAL-SMALLINT-LIN
SOFT-SMALLINT-LIN

Solver command line wbo1.71 -file-format=wbo BENCHNAME

Conversion script command line

Comments Fixed a bug in the certificate of WBO instances

Solver files and checksums

[Show/Hide files]

Event PB'12 competition: WBO track

Type WBO

Submitter Ruben Martins

Date of submission 2012-06-02 00:40

Name wbo

Version 1.72

Authors Ruben Martins, Vasco Manquinho, Inês Lynce

Complete/Incomplete Complete

Is able to solve PARTIAL-SMALLINT-LIN
SOFT-SMALLINT-LIN

Solver command line wbo1.72 -file-format=wbo BENCHNAME

Conversion script command line

Comments Fixed a bug in equality constraints.
Fixed a bug in the certificate of WBO instances.

Solver files and checksums

[Show/Hide files]

Event PB'12 competition: WBO track

Type WBO

Submitter Steinke Peter

Date of submission 2012-05-19 17:54

Name wbo2sat

Version 2012-05-19

Authors Steinke Peter

Complete/Incomplete Complete

Is able to solve PARTIAL-BIGINT-LIN
PARTIAL-BIGINT-NLC
PARTIAL-SMALLINT-LIN
PARTIAL-SMALLINT-NLC
SOFT-BIGINT-LIN
SOFT-BIGINT-NLC
SOFT-SMALLINT-LIN
SOFT-SMALLINT-NLC

Solver command line DIR/runWbo2sat.sh BENCHNAME RANDOMSEED TMPDIR DIR

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]

Event PB'12 competition: WBO track

Type WBO

Submitter Steinke Peter

Date of submission 2012-05-19 17:56

Name wbo2satCp2

Version 2012-05-19

Authors Steinke Peter

Complete/Incomplete Complete

Is able to solve PARTIAL-BIGINT-LIN
PARTIAL-BIGINT-NLC
PARTIAL-SMALLINT-LIN
PARTIAL-SMALLINT-NLC
SOFT-BIGINT-LIN
SOFT-BIGINT-NLC
SOFT-SMALLINT-LIN
SOFT-SMALLINT-NLC

Solver command line DIR/runWbo2satCp2.sh BENCHNAME RANDOMSEED TMPDIR DIR

Conversion script command line

Comments

Solver files and checksums

[Show/Hide files]