PB'12 competition: satisfaction and optimization track: list of solvers

List of solvers

Details on each solver


EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterRuben Martins
Date of submission2012-04-02 17:16
Namebsolo
Version3.2
AuthorsVasco Manquinho, José Santos
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command linebsolo -l2 -tTIMEOUT BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterBenjamin Kaufmann
Date of submission2012-04-17 14:41
Nameclasp
Version2.0.6-R5325 (dec)
AuthorsBenjamin Kaufmann
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-LIN
DEC-SMALLINT-NLC
Solver command lineHOME/clasp-dec.sh BENCHNAME
Conversion script command line
CommentsINSTALL INSTRUCTIONS:
=====================
1. Extract archive
2. cp clasp-2.0.6-R5325/clasp-R5325 HOME/
3. cp clasp-2.0.6-R5325/clasp-dec.sh HOME/

NOTE:
=====
Source code is available at http://potassco.sourceforge.net/
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterBenjamin Kaufmann
Date of submission2012-04-17 14:43
Nameclasp
Version2.0.6-R5325 (opt)
AuthorsBenjamin Kaufmann
Complete/IncompleteComplete
Is able to solveOPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command lineHOME/clasp-opt.sh BENCHNAME
Conversion script command line
CommentsINSTALL INSTRUCTIONS:
=====================
1. Extract archive
2. cp clasp-2.0.6-R5325/clasp-R5325 HOME/
3. cp clasp-2.0.6-R5325/clasp-opt.sh HOME/

NOTE:
=====
Source code is available at http://potassco.sourceforge.net/
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterNorbert Manthey
Date of submission2012-05-18 22:00
NamenpSolver
Version1.0
AuthorsNorbert Manthey and Peter Steinke
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-BIGINT-NLC
DEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-BIGINT-LIN
OPT-BIGINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command lineDIR/npSolver-pbo.sh BENCHNAME RANDOMSEED TMPDIR DIR
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterNorbert Manthey
Date of submission2012-05-18 22:00
NamenpSolver
Version1.0 (fixed)
AuthorsNorbert Manthey and Peter Steinke
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-BIGINT-NLC
DEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-BIGINT-LIN
OPT-BIGINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command lineDIR/npSolver-pbo.sh BENCHNAME RANDOMSEED TMPDIR DIR
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterNorbert Manthey
Date of submission2012-05-18 22:03
NamenpSolver
Versioninc
AuthorsNorbert Manthey and Peter Steinke
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-BIGINT-NLC
DEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-BIGINT-LIN
OPT-BIGINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command lineDIR/npSolver-pbo-I.sh BENCHNAME RANDOMSEED TMPDIR DIR
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterNorbert Manthey
Date of submission2012-05-18 22:03
NamenpSolver
Versioninc (fixed)
AuthorsNorbert Manthey and Peter Steinke
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-BIGINT-NLC
DEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-BIGINT-LIN
OPT-BIGINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command lineDIR/npSolver-pbo-I.sh BENCHNAME RANDOMSEED TMPDIR DIR
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterNorbert Manthey
Date of submission2012-05-18 22:07
NamenpSolver
Versioninc-topDown
AuthorsNorbert Manthey and Peter Steinke
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-BIGINT-NLC
DEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-BIGINT-LIN
OPT-BIGINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command lineDIR/npSolver-pbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterNorbert Manthey
Date of submission2012-05-18 22:07
NamenpSolver
Versioninc-topDown (fixed)
AuthorsNorbert Manthey and Peter Steinke
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-BIGINT-NLC
DEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-BIGINT-LIN
OPT-BIGINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command lineDIR/npSolver-pbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterNorbert Manthey
Date of submission2012-05-18 21:57
NamenpSolver
Versioninc-topdown-quickBound
AuthorsNorbert Manthey and Peter Steinke
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-BIGINT-NLC
DEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-BIGINT-LIN
OPT-BIGINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command lineDIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterNorbert Manthey
Date of submission2012-05-18 21:57
NamenpSolver
Versioninc-topdown-quickBound (fixed)
AuthorsNorbert Manthey and Peter Steinke
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-BIGINT-NLC
DEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-BIGINT-LIN
OPT-BIGINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command lineDIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterVasco Manquinho
Date of submission2007-04-30 15:18
NamePB07: bsolo
Version3.0.17
AuthorsVasco Manquinho
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-BIGINT-NLC
DEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-BIGINT-LIN
OPT-BIGINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
PURE-SAT
Solver command linebsolo3.0.17 -mMEMLIMIT BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterNiklas Eén
Date of submission2007-03-28 11:34
NamePB07: minisat+
Version1.14
AuthorsNiklas Een & Niklas Sorensson
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-BIGINT-NLC
DEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-BIGINT-LIN
OPT-BIGINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
PURE-SAT
Solver command lineHOME/minisat+ BENCHNAME
Conversion script command linePBconversionToLinear BENCHNAME
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterGayathri Namasivayam
Date of submission2007-04-10 16:12
NamePB07: PB-clasp
Version2007-04-10
AuthorsGayathri Namasivayam, Miroslaw Truszczynski
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
PURE-SAT
Solver command linepbclasp BENCHNAMENOPATH TMPDIR/temp
Conversion script command linePBconversionToLinear BENCHNAME
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterHossein Sheini
Date of submission2006-06-01 09:19
NamePB07: Pueblo
Version1.4
AuthorsHossein Sheini
Complete/Incomplete?
Is able to solveDEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
PURE-SAT
Solver command linePueblo BENCHNAME
Conversion script command linePBconversionToLinear BENCHNAME
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterAnne Parrain
Date of submission2007-03-23 16:30
NamePB07: SAT4JPseudoResolution
Version2007-03-23
AuthorsDaniel Le Berre, Anne Parrain
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-BIGINT-NLC
DEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-BIGINT-LIN
OPT-BIGINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
PURE-SAT
Solver command linejava -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterVasco Manquinho
Date of submission2009-06-15 19:33
NamePB09: bsolo
Version3.1
AuthorsVasco Manquinho and José Santos
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
PURE-SAT
Solver command linebsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
Conversion script command linePBconversionToLinear BENCHNAME
CommentsCardinality Constraint Learning
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterDaniel Le Berre
Date of submission2009-06-12 10:08
NamePB09: SAT4J Pseudo Resolution
Version2.1.1
AuthorsDaniel Le Berre and Anne Parrain
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-BIGINT-NLC
DEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-BIGINT-LIN
OPT-BIGINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
PURE-SAT
Solver command linejava6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar BENCHNAME
Conversion script command line
CommentsRemoved glucose learned clause memory management.
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterStefan Heinz
Date of submission2009-04-25 21:21
NamePB09: SCIPspx
VersionSCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
AuthorsTimo Berthold, Stefan Heinz, Marc Pfetsch, and Michael Winkler
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
PURE-SAT
Solver command lineHOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
Conversion script command line
Commentshttp://scip.zib.de
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterBryan Silverthorn
Date of submission2010-05-30 23:26
NamePB10: borg-pb
Version10.05.30
AuthorsBryan Silverthorn
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-LIN
DEC-SMALLINT-NLC
Solver command linesolver BENCHNAME RANDOMSEED
Conversion script command line
CommentsThe submission tarball includes a set of a library dependencies tailored to CentOS 5.4; the solver script sets up the execution environment appropriately.
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterVasco Manquinho
Date of submission2010-06-30 00:02
NamePB10: pb_cplex
Version2010-06-29
AuthorsVasco Manquinho
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command linerun BENCHNAME
Conversion script command linePBconversionToLinear BENCHNAME
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterDaniel Le Berre
Date of submission2010-05-31 14:03
NamePB10: SAT4J PB RES // CP
Version2.2.0 2010-05-31
AuthorsDaniel Le Berre and Anne Parrain
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-BIGINT-NLC
DEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-BIGINT-LIN
OPT-BIGINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command linejava6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
Conversion script command line
CommentsRuns PB Res and PB CP in //.
Version with fixes regarding solver synchronization.
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterStefan Heinz
Date of submission2010-07-07 22:52
NamePB10: SCIPspx
VersionSCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
AuthorsStefan Heinz and Michael Winkler
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-BIGINT-NLC
DEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-BIGINT-LIN
OPT-BIGINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command lineHOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
Conversion script command line
Commentshttp://scip.zib.de
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterBryan Silverthorn
Date of submission2011-03-31 01:12
NamePB11: borg
Versionpb-dec-11.04.03
AuthorsBryan Silverthorn
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-LIN
DEC-SMALLINT-NLC
Solver command linepython DIR/solve DIR/etc/borg-mix+class.dec.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT
Conversion script command line
CommentsSetup instructions are provided in the README.
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterDaniel Le Berre
Date of submission2011-04-03 18:07
NamePB11: Sat4j Res//CP
Version2.3.0
AuthorsDaniel Le Berre and Anne Parrain
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-BIGINT-NLC
DEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-BIGINT-LIN
OPT-BIGINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command linejava -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
Conversion script command line
CommentsRun both Resolution and Cutting Planes in //.
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterStefan Heinz
Date of submission2011-06-10 18:33
NamePB11: SCIP spx E_2
Version2011-06-10 (fixed)
AuthorsStefan Heinz and Michael Winkler
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command lineHOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
Conversion script command line
Commentsn=1

If there is still a time issue, we would prefer to the following order of categories: OPT-NLC -> OPT-LIN -> DEC-NLC -> DEC-LIN

http://scip.zib.de
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
Submitter
Date of submission2012-06-01 15:07
NamePB12: minisatp
Version1.0-2-g022594c
AuthorsNiklas Een, Niklas Sorensson
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-BIGINT-NLC
DEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-BIGINT-LIN
OPT-BIGINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command lineminisat+_script BENCHNAME
Conversion script command linePBconversionToLinear BENCHNAME
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterSteinke Peter
Date of submission2012-05-19 17:51
Namepb2sat
Version2012-05-19
AuthorsSteinke Peter
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-BIGINT-NLC
DEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-BIGINT-LIN
OPT-BIGINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command lineDIR/runPb2sat.sh BENCHNAME RANDOMSEED TMPDIR DIR
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterSteinke Peter
Date of submission2012-05-19 17:53
Namepb2satCp2
Version2012-05-19
AuthorsSteinke Peter
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-BIGINT-NLC
DEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-BIGINT-LIN
OPT-BIGINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command lineDIR/runPb2satCp2.sh BENCHNAME RANDOMSEED TMPDIR DIR
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterAmir Aavani
Date of submission2012-05-28 23:49
NamePBPASSolver-CARD.DP
Version2012-05-28
AuthorsAmir Aavani
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-SMALLINT-LIN
Solver command linepython HOME/RunSolver.py BENCHNAME PrimePower CARD.DP ./CryptoMiniSat
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterAmir Aavani
Date of submission2012-05-28 23:48
NamePBPASSolver-CARD.SN
Version2012-05-28
AuthorsAmir Aavani
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-SMALLINT-LIN
Solver command linepython HOME/RunSolver.py BENCHNAME PrimePower CARD.SN ./CryptoMiniSat
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterRuben Martins
Date of submission2012-05-17 23:40
Namepwbo
Version2.0
AuthorsRuben Martins, Vasco Manquinho, Inês Lynce
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-NLC
Solver command linepwbo2.0 -file-format=opb -verbosity=0 -thread=1 BENCHNAME
Conversion script command linePBconversionToLinear BENCHNAME
CommentsDoes not support NLC input files. A parser that performs basic linearization should be run before giving the instance to the solver.
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterRuben Martins
Date of submission2012-05-17 23:44
Namepwbo
Version2.0
AuthorsRuben Martins, Vasco Manquinho, Inês Lynce
Complete/IncompleteComplete
Is able to solveOPT-SMALLINT-LIN
Solver command linepwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterRuben Martins
Date of submission2012-05-17 23:43
Namepwbo
Version2.0
AuthorsRuben Martins, Vasco Manquinho, Inês Lynce
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-LIN
Solver command linepwbo2.0 -file-format=opb -verbosity=0 -thread=1 BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterRuben Martins
Date of submission2012-05-17 23:42
Namepwbo
Version2.0
AuthorsRuben Martins, Vasco Manquinho, Inês Lynce
Complete/IncompleteComplete
Is able to solveOPT-SMALLINT-NLC
Solver command linepwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
Conversion script command linePBconversionToLinear BENCHNAME
CommentsDoes not support NLC input files. A parser that performs basic linearization should be run before giving the instance to the solver.
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterRuben Martins
Date of submission2012-06-02 00:29
Namepwbo
Version2.02
AuthorsRuben Martins, Vasco Manquinho, Inês Lynce
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-NLC
Solver command linepwbo2.02 -file-format=opb -verbosity=0 -thread=1 BENCHNAME
Conversion script command linePBconversionToLinear BENCHNAME
CommentsFixed a bug in equality constraints.

Does not support NLC input files. A parser that performs basic linearization should be run before giving the instance to the solver
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterRuben Martins
Date of submission2012-06-02 00:12
Namepwbo
Version2.02
AuthorsRuben Martins, Vasco Manquinho, Inês Lynce
Complete/IncompleteComplete
Is able to solveOPT-SMALLINT-LIN
Solver command linepwbo2.02 -file-format=opb -verbosity=0 BENCHNAME
Conversion script command line
CommentsFixed a bug in equality constraints.
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterRuben Martins
Date of submission2012-06-02 00:18
Namepwbo
Version2.02
AuthorsRuben Martins, Vasco Manquinho, Inês Lynce
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-LIN
Solver command linepwbo2.02 -file-format=opb -verbosity=0 -thread=1 BENCHNAME
Conversion script command line
CommentsFixed a bug in equality constraints.
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterRuben Martins
Date of submission2012-06-02 00:28
Namepwbo
Version2.02
AuthorsRuben Martins, Vasco Manquinho, Inês Lynce
Complete/IncompleteComplete
Is able to solveOPT-SMALLINT-NLC
Solver command linepwbo2.02 -file-format=opb -verbosity=0 BENCHNAME
Conversion script command linePBconversionToLinear BENCHNAME
CommentsFixed a bug in equality constraints.

Does not support NLC input files. A parser that performs basic linearization should be run before giving the instance to the solver
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterDaniel Le Berre
Date of submission2012-04-18 08:50
NameSAT 4j PB RES // CP
Version2.3.2 Snapshot
AuthorsDaniel Le Berre and Anne Parrain
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-BIGINT-NLC
DEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-BIGINT-LIN
OPT-BIGINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command linejava -jar HOME/sat4j-pb.jar Both BENCHNAME
Conversion script command line
CommentsRun both the resolution and cutting planes version of sat4j in //
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterDaniel Le Berre
Date of submission2012-04-18 08:48
NameSat 4j PB Resolution
Version2.3.2 Snapshot
AuthorsDaniel Le Berre and Anne Parrain
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-BIGINT-NLC
DEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-BIGINT-LIN
OPT-BIGINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command linejava -jar HOME/sat4j-pb.jar BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterDaniel Le Berre
Date of submission2012-04-18 09:01
NameSAT4J PB specific settings
Version2.3.2 snapshot
AuthorsDaniel Le Berre and Stéphanie Roussel
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-BIGINT-NLC
DEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-BIGINT-LIN
OPT-BIGINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command linejava -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
Conversion script command line
CommentsUsing specific settings discovered to be good on some optimization problems for the museum application.
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterStefan Heinz
Date of submission2012-05-20 22:16
NameSCIP spx
VersionSCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
AuthorsStefan Heinz and Marc Pfetsch and Michael Winkler
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command lineHOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
Conversion script command line
Commentshttp://scip.zib.de
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterStefan Heinz
Date of submission2012-05-20 22:15
NameSCIP spx E
VersionSCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed
AuthorsStefan Heinz and Marc Pfetsch and Michael Winkler
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command lineHOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
Conversion script command line
Commentshttp://scip.zib.de
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterStefan Heinz
Date of submission2012-05-20 22:12
NameSCIP spx standard
VersionSCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
AuthorsStefan Heinz and Marc Pfetsch and Michael Winkler
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command lineHOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
Conversion script command line
Commentshttp://scip.zib.de
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterMasahiro Sakai
Date of submission2012-05-17 16:09
Nametoysat
Version2012-05-17
AuthorsMasahiro Sakai
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-BIGINT-NLC
DEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-BIGINT-LIN
OPT-BIGINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command lineHOME/toysat --pb BENCHNAME
Conversion script command line
CommentsThis is a fixed version that do not depend on loadable modules of iconv/gconv.
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterMasahiro Sakai
Date of submission2012-06-01 17:39
Nametoysat
Version2012-06-01
AuthorsMasahiro Sakai
Complete/IncompleteComplete
Is able to solveDEC-BIGINT-LIN
DEC-BIGINT-NLC
DEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-BIGINT-LIN
OPT-BIGINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command lineHOME/toysat +RTS -K1G -RTS --pb BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterRuben Martins
Date of submission2012-05-17 23:37
Namewbo
Version1.7
AuthorsVasco Manquinho, Ruben Martins, Jordi Planes, João Marques-Silva
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-LIN
OPT-SMALLINT-LIN
Solver command linewbo1.7 -file-format=opb BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterRuben Martins
Date of submission2012-05-17 23:35
Namewbo
Version1.7
AuthorsVasco Manquinho, Ruben Martins, Jordi Planes, João Marques-Silva
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-NLC
OPT-SMALLINT-NLC
Solver command linewbo1.7 -file-format=opb BENCHNAME
Conversion script command linePBconversionToLinear BENCHNAME
CommentsDoes not support NLC input files. A parser that performs basic linearization should be run before giving the instance to the solver.
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterRuben Martins
Date of submission2012-06-02 00:34
Namewbo
Version1.72
AuthorsVasco Manquinho, Ruben Martins, Jordi Planes, João Marques-Silva
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-NLC
OPT-SMALLINT-NLC
Solver command linewbo1.72 -file-format=opb BENCHNAME
Conversion script command linePBconversionToLinear BENCHNAME
CommentsFixed a bug in equality constraints.

Does not support NLC input files. A parser that performs basic linearization should be run before giving the instance to the solver
Solver files and checksums
[Show/Hide files]

EventPB'12 competition: satisfaction and optimization track
TypePB
SubmitterRuben Martins
Date of submission2012-06-02 00:32
Namewbo
Version1.72
AuthorsVasco Manquinho, Ruben Martins, Jordi Planes, João Marques-Silva
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-LIN
OPT-SMALLINT-LIN
Solver command linewbo1.72 -file-format=opb BENCHNAME
Conversion script command line
CommentsFixed a bug in equality constraints.
Solver files and checksums
[Show/Hide files]