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

List of solvers

Details on each solver


EventPB'11 competition: satisfaction and optimization track
TypePB
SubmitterBryan Silverthorn
Date of submission2011-03-31 01:12
Nameborg
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'11 competition: satisfaction and optimization track
TypePB
SubmitterBryan Silverthorn
Date of submission2011-03-31 01:16
Nameborg
Versionpb-opt-11.04.03
AuthorsBryan Silverthorn
Complete/IncompleteComplete
Is able to solveOPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command linepython DIR/solve DIR/etc/borg-mix+class.opt.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT
Conversion script command line
CommentsSetup instructions provided in the README.
Solver files and checksums
[Show/Hide files]

EventPB'11 competition: satisfaction and optimization track
TypePB
SubmitterVasco Manquinho
Date of submission2011-03-21 23:51
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'11 competition: satisfaction and optimization track
TypePB
SubmitterBenjamin Kaufmann
Date of submission2011-04-01 09:45
Nameclasp
Version2.0-R4191
AuthorsBenjamin Kaufmann
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-SMALLINT-LIN
Solver command lineHOME/clasp BENCHNAME --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
Conversion script command line
CommentsThe archive contains sources as well as a precompiled
statically linked 32-bit binary named 'clasp' in
the directory bin/
Solver files and checksums
[Show/Hide files]

EventPB'11 competition: satisfaction and optimization track
TypePB
SubmitterBenjamin Kaufmann
Date of submission2011-04-01 09:48
Nameclasp
Version2.0-R4191
AuthorsBenjamin Kaufmann
Complete/IncompleteComplete
Is able to solveOPT-SMALLINT-NLC
Solver command lineHOME/clasp BENCHNAME --solu --heu=VSIDS
Conversion script command line
CommentsThis submission only differs in the specified command line
Solver files and checksums
[Show/Hide files]

EventPB'11 competition: satisfaction and optimization track
TypePB
SubmitterBenjamin Kaufmann
Date of submission2011-06-09 12:36
Nameclasp
Version2.0-R4191-patched (fixed)
AuthorsBenjamin Kaufmann
Complete/IncompleteComplete
Is able to solveOPT-SMALLINT-NLC
Solver command lineHOME/clasp BENCHNAME --solu --heu=VSIDS
Conversion script command line
Comments* bug fix for previous version
* high priority (=1) because of wrong solutions!

Note:

The archive contains sources, a diff-file containing
all changes, as well as a precompiled
statically linked 32-bit binary named 'clasp' in
the directory bin/
Solver files and checksums
[Show/Hide files]

EventPB'11 competition: satisfaction and optimization track
TypePB
SubmitterBroes De Cat
Date of submission2011-03-25 13:56
NameMinisatID
Version2.4.8
AuthorsBroes De Cat and Maarten Mariën
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command lineHOME/minisatid BENCHNAME --verbosity=0 --format=opb
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'11 competition: satisfaction and optimization track
TypePB
SubmitterBroes De Cat
Date of submission2011-03-25 14:04
NameMinisatID
Version2.4.8-gmp
AuthorsBroes De Cat and Maarten Mariën
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/minisatid-gmp BENCHNAME --verbosity=0 --format=opb
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'11 competition: satisfaction and optimization track
TypePB
SubmitterBroes De Cat
Date of submission2011-06-10 16:08
NameMinisatID
Version2.5.2 (fixed)
AuthorsBroes De Cat and Maarten Mariën
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command lineHOME/minisatid BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'11 competition: satisfaction and optimization track
TypePB
SubmitterBroes De Cat
Date of submission2011-06-12 22:19
NameMinisatID
Version2.5.2-gmp (fixed)
AuthorsBroes De Cat, Maarten Mariën and Marc Denecker
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/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'11 competition: satisfaction and optimization track
TypePB
SubmitterVasco Manquinho
Date of submission2011-03-21 23:45
Namepwbo
Version1.1
AuthorsRuben Martins, Vasco Manquinho, Inês Lynce
Complete/IncompleteComplete
Is able to solveOPT-SMALLINT-LIN
Solver command linepwbo1.1 -file-format=opb BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'11 competition: satisfaction and optimization track
TypePB
SubmitterDaniel Le Berre
Date of submission2011-04-03 18:06
NameSat4j CuttingPlanes
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 CuttingPlanes BENCHNAME
Conversion script command line
CommentsNo changes since last year, appart from a fix when learning cardinality constraints.
Solver files and checksums
[Show/Hide files]

EventPB'11 competition: satisfaction and optimization track
TypePB
SubmitterDaniel Le Berre
Date of submission2011-04-03 18:07
NameSat4j 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'11 competition: satisfaction and optimization track
TypePB
SubmitterDaniel Le Berre
Date of submission2011-04-03 18:04
NameSat4j Resolution
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 -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
Conversion script command line
CommentsSingle change since last year is the use of long instead of BigInteger when possible.
Solver files and checksums
[Show/Hide files]

EventPB'11 competition: satisfaction and optimization track
TypePB
SubmitterStefan Heinz
Date of submission2011-04-03 21:07
NameSCIP spx
VersionSCIP 2.0.1.4. with SoPlex 1.5.0.4
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.4.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'11 competition: satisfaction and optimization track
TypePB
SubmitterStefan Heinz
Date of submission2011-06-10 18:35
NameSCIP spx 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.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
Conversion script command line
Commentsn=2

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'11 competition: satisfaction and optimization track
TypePB
SubmitterStefan Heinz
Date of submission2011-04-03 21:10
NameSCIP spx E
VersionSCIP 2.0.1.4b with SoPlex 1.5.0.4
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.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'11 competition: satisfaction and optimization track
TypePB
SubmitterStefan Heinz
Date of submission2011-06-10 18:33
NameSCIP 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'11 competition: satisfaction and optimization track
TypePB
SubmitterVasco Manquinho
Date of submission2011-03-21 23:34
Namewbo
Version1.6
AuthorsVasco Manquinho, Jordi Planes, João Marques-Silva
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-LIN
OPT-SMALLINT-LIN
Solver command linewbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]