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

List of solvers

Details on each solver


EventPB'10 competition: satisfaction and optimization track
TypePB
SubmitterBryan Silverthorn
Date of submission2010-05-30 23:26
Nameborg-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'10 competition: satisfaction and optimization track
TypePB
SubmitterVasco Manquinho
Date of submission2010-05-23 17:39
Namebsolo
Version3.2 Card
AuthorsVasco Manquinho and José Santos
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command linebsolo_pb10 -tTIMEOUT -l2 BENCHNAME
Conversion script command linePBconversionToLinear BENCHNAME
Comments
Solver files and checksums
[Show/Hide files]

EventPB'10 competition: satisfaction and optimization track
TypePB
SubmitterVasco Manquinho
Date of submission2010-05-23 17:55
Namebsolo
Version3.2 Cl
AuthorsVasco Manquinho and José Santos
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-LIN
DEC-SMALLINT-NLC
OPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command linebsolo_pb10 -tTIMEOUT -l1 BENCHNAME
Conversion script command linePBconversionToLinear BENCHNAME
Comments
Solver files and checksums
[Show/Hide files]

EventPB'10 competition: satisfaction and optimization track
TypePB
SubmitterVasco Manquinho
Date of submission2010-06-30 00:02
Namepb_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'10 competition: satisfaction and optimization track
TypePB
SubmitterAnders Franzen
Date of submission2010-05-29 21:12
NamePB/CT
Version0.1
AuthorsAnders Franzén, Roberto Bruttomesso
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/pbct --model BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'10 competition: satisfaction and optimization track
TypePB
SubmitterAnders Franzen
Date of submission2010-06-25 13:56
NamePB/CT
Version0.1 fixed
AuthorsAnders Franzén, Roberto Bruttomesso
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/pbct --model BENCHNAME
Conversion script command line
CommentsFixed version
Solver files and checksums
[Show/Hide files]

EventPB'10 competition: satisfaction and optimization track
TypePB
SubmitterAmir Aavani
Date of submission2010-06-13 23:52
NamePBPASSolver
Version2010-06-13
AuthorsAmir Aavani
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 linerun BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'10 competition: satisfaction and optimization track
TypePB
SubmitterCédric Piette
Date of submission2010-05-30 19:03
NamePB-wave
Versionalpha 2
AuthorsCédric Piette
Complete/IncompleteIncomplete
Is able to solveDEC-SMALLINT-LIN
DEC-SMALLINT-NLC
Solver command linerun BENCHNAME
Conversion script command linePBconversionToLinear BENCHNAME
Comments
Solver files and checksums
[Show/Hide files]

EventPB'10 competition: satisfaction and optimization track
TypePB
SubmitterDaniel Le Berre
Date of submission2010-05-26 15:01
NameSAT4J PB CuttingPlanes
Version2.2.0 2010-05-26
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 -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'10 competition: satisfaction and optimization track
TypePB
SubmitterDaniel Le Berre
Date of submission2010-05-31 14:03
NameSAT4J 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'10 competition: satisfaction and optimization track
TypePB
SubmitterDaniel Le Berre
Date of submission2010-05-26 14:57
NameSAT4J PB Resolution
Version2.2.0 2010-05-26
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 -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventPB'10 competition: satisfaction and optimization track
TypePB
SubmitterStefan Heinz
Date of submission2010-05-30 22:01
NameSCIPclp
VersionSCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
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/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
Conversion script command line
Commentshttp://scip.zib.de
Solver files and checksums
[Show/Hide files]

EventPB'10 competition: satisfaction and optimization track
TypePB
SubmitterStefan Heinz
Date of submission2010-05-30 22:02
NameSCIPnone
VersionSCIP 1.2.1.2 without any LP solver
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/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
Conversion script command line
Commentshttp://scip.zib.de
Solver files and checksums
[Show/Hide files]

EventPB'10 competition: satisfaction and optimization track
TypePB
SubmitterStefan Heinz
Date of submission2010-05-30 21:59
NameSCIPspx
VersionSCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
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/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'10 competition: satisfaction and optimization track
TypePB
SubmitterStefan Heinz
Date of submission2010-07-07 22:52
NameSCIPspx
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'10 competition: satisfaction and optimization track
TypePB
SubmitterVasco Manquinho
Date of submission2010-05-23 17:21
Namewbo
Version1.4a
AuthorsVasco Manquinho, Jordi Planes and João Marques-Silva
Complete/IncompleteComplete
Is able to solveDEC-SMALLINT-LIN
DEC-SMALLINT-NLC
Solver command linewbo1.4a -file-format=opb -time-limit=TIMEOUT BENCHNAME
Conversion script command linePBconversionToLinear BENCHNAME
Comments
Solver files and checksums
[Show/Hide files]

EventPB'10 competition: satisfaction and optimization track
TypePB
SubmitterVasco Manquinho
Date of submission2010-05-23 17:24
Namewbo
Version1.4b
AuthorsVasco Manquinho, Jordi Planes and João Marques-Silva
Complete/IncompleteComplete
Is able to solveOPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command linewbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
Conversion script command linePBconversionToLinear BENCHNAME
Comments
Solver files and checksums
[Show/Hide files]

EventPB'10 competition: satisfaction and optimization track
TypePB
SubmitterVasco Manquinho
Date of submission2010-06-24 12:00
Namewbo
Version1.4b (fixed)
AuthorsVasco Manquinho, Jordi Planes and João Marques-Silva
Complete/IncompleteComplete
Is able to solveOPT-SMALLINT-LIN
OPT-SMALLINT-NLC
Solver command linewbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
Conversion script command linePBconversionToLinear BENCHNAME
Comments
Solver files and checksums
[Show/Hide files]