CSP 2008 Competition: list of solvers

List of solvers

Details on each solver


EventCSP 2008 Competition
TypeCSP
Submitterchristophe lecoutre
Date of submission2008-07-02 13:40
NameAbscon 112v4
VersionAC
Authorschristophe lecoutre and sebastien tabary
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command linejava -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
Conversion script command line
Commentscumulative is not implemented
Solver files and checksums
[Show/Hide files]

EventCSP 2008 Competition
TypeCSP
Submitterchristophe lecoutre
Date of submission2008-07-02 13:42
NameAbscon 112v4
VersionESAC
Authorschristophe lecoutre and sebastien tabary
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command linejava -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
Conversion script command line
Commentscumulative is not implemented
Solver files and checksums
[Show/Hide files]

EventCSP 2008 Competition
TypeCSP
SubmitterNeng-Fa Zhou
Date of submission2008-06-27 20:44
Namebpsolver
Version2008-06-27
AuthorsNeng-Fa Zhou
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command lineHOME/solver BENCHNAMENOEXT TIMEOUT
Conversion script command line
Commentsbpsolver version 6.27.2008

To install bpsolver, simply extract the files from bpsolver08.tar.gz
into the home directory.

To solve a problem instance named BENCHNAME.xml, use the following command:

~/solver BENCHNAME time

or

~/bpsolver BENCHNAME time

where time is the time limit in seconds. If no time limit is given, a limit
of 1800 seconds is used.
Solver files and checksums
[Show/Hide files]

EventCSP 2008 Competition
TypeCSP
SubmitterMarco Correia
Date of submission2008-07-02 02:29
Namecasper
Versionzao
AuthorsMarco Correia
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command lineHOME/casperzao BENCHNAME RANDOMSEED
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2008 Competition
TypeCSP
SubmitterMarco Correia
Date of submission2008-07-02 02:28
Namecasper
Versionzito
AuthorsMarco Correia
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command lineHOME/casperzito BENCHNAME RANDOMSEED
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2008 Competition
TypeCSP
SubmitterHadrien Cambazard
Date of submission2008-06-26 17:24
Namechoco2_dwdeg
Version2008-06-26
AuthorsNarendra Jussien, Francois Laburthe, Charles Prud'homme, Guillaume Rochart, Hadrien Cambazard
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command linejava -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2dwdeg.jar BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2008 Competition
TypeCSP
SubmitterHadrien Cambazard
Date of submission2008-06-26 17:26
Namechoco2_impwdeg
Version2008-06-26
AuthorsNarendra Jussien, Francois Laburthe, Charles Prud'homme, Guillaume Rochart, Hadrien Cambazard
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command linejava -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2impWdeg.jar BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2008 Competition
TypeCSP
SubmitterJulien Vion
Date of submission2008-05-30 22:46
NameConcrete + CPS4J
Version2008-05-30
AuthorsJulien Vion
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
N-ARY-EXT
N-ARY-INT
Solver command lineHOME/concrete.sh -c -ext 60 BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2008 Competition
TypeCSP
SubmitterJulien Vion
Date of submission2008-05-30 22:48
NameConcrete + CSP4J - Tabu Engine
Version2008-05-30
AuthorsJulien Vion
Complete/IncompleteIncomplete
Is able to solve2-ARY-EXT
2-ARY-INT
N-ARY-EXT
N-ARY-INT
Solver command lineHOME/concrete.sh -c -ext 0 -s Tabu BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2008 Competition
TypeCSP
SubmitterJulien Vion
Date of submission2008-05-30 22:47
NameConcrete + CSP4J - WMC Engine
Version2008-05-30
AuthorsJulien Vion
Complete/IncompleteIncomplete
Is able to solve2-ARY-EXT
2-ARY-INT
N-ARY-EXT
N-ARY-INT
Solver command lineHOME/concrete.sh -c -ext 0 -s WMC BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2008 Competition
TypeCSP
SubmitterEoin O'Mahony
Date of submission2008-07-01 16:28
NamecpHydra
Versionk_10
AuthorsEoin O'Mahony, Emmanuel Hebrard, Alan Holland, Conor Nugent, Barry O'Sullivan
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command lineHOME/cpHydra_k_10/hydra BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2008 Competition
TypeCSP
SubmitterEoin O'Mahony
Date of submission2008-07-01 16:27
NamecpHydra
Versionk_40
AuthorsEoin O'Mahony, Emmanuel Hebrard, Alan Holland, Conor Nugent, Barry O'Sullivan
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command lineHOME/cpHydra_k_40/hydra BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2008 Competition
TypeCSP
Submitteraudemard gilles
Date of submission2008-06-27 10:25
Namegalac
VersionE
Authorsaudemard gilles, Chmeiss Assef, Sais Lakhdar
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
N-ARY-EXT
N-ARY-INT
Solver command lineHOME/galacE.sh BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2008 Competition
TypeCSP
Submitteraudemard gilles
Date of submission2008-06-27 10:27
Namegalac
VersionM
Authorsaudemard gilles, Chmeiss Assef, Sais Lakhdar
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
N-ARY-EXT
N-ARY-INT
Solver command lineHOME/galacM.sh BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2008 Competition
TypeCSP
SubmitterKenil Cheng
Date of submission2008-06-09 10:00
Namemddc-solv
Version2008-06-09
AuthorsKenil Cheng
Complete/IncompleteComplete
Is able to solveN-ARY-EXT
Solver command lineHOME/solver BENCHNAME
Conversion script command line
Commentsmake
Solver files and checksums
[Show/Hide files]

EventCSP 2008 Competition
TypeCSP
SubmitterDiarmuid Grimes
Date of submission2008-06-27 01:42
NameMDG-noprobe
Version2008-06-27
AuthorsDiarmuid Grimes
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command lineHOME/xsolve BENCHNAME -heu dom/wdeg -res no
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2008 Competition
TypeCSP
SubmitterDiarmuid Grimes
Date of submission2008-06-27 01:43
NameMDG-probe
Version2008-06-27
AuthorsDiarmuid Grimes
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command lineHOME/xsolve BENCHNAME -v 1 -rs RANDOMSEED -probe 1 -ph 0 -heu dom/wdeg -res no
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2008 Competition
TypeCSP
SubmitterAndrea Rendl
Date of submission2008-07-04 15:58
NameMinion/Tailor
Version2008-07-04
AuthorsIan Gent, Chris Jefferson, Ian Miguel, Neil Moore, Peter Nighingale, Karen Petrie, Andrea Rendl
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command lineDIR/solve.sh BENCHNAME
Conversion script command line
CommentsWe do not support cumulative and the error messages for that might not be explicit.
Solver files and checksums
[Show/Hide files]

EventCSP 2008 Competition
TypeCSP
SubmitterEmmanuel Hebrard
Date of submission2008-06-19 09:32
NameMistral-option
Version1.314
AuthorsEmmanuel Hebrard
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command lineHOME/xsolve BENCHNAME -heu dyn -sac 3 -ds 2
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2008 Competition
TypeCSP
SubmitterEmmanuel Hebrard
Date of submission2008-06-18 21:21
NameMistral-prime
Version1.313
AuthorsEmmanuel Hebrard
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command lineHOME/xsolve BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2008 Competition
TypeCSP
SubmitterDaniel Le Berre
Date of submission2008-06-13 15:43
NameSAT4J CSP
Version2008-06-13
AuthorsDaniel Le Berre
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command linejava6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar BENCHNAME
Conversion script command line
CommentsSolver corrected to handle properly new XCSP format.
Will just quit when a non supported global constraint is met.
Solver files and checksums
[Show/Hide files]

EventCSP 2008 Competition
TypeCSP
SubmitterChavalit Likitvivatanavong
Date of submission2008-06-14 13:11
Namespider
Version2008-06-14
AuthorsChavalit Likitvivatanavong
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
N-ARY-EXT
Solver command lineHOME/run -c BENCHNAME
Conversion script command line
CommentsA resubmission. Previous version outputs error message when domains are too large. It was fixed in this version.
Solver files and checksums
[Show/Hide files]

EventCSP 2008 Competition
TypeCSP
SubmitterNaoyuki Tamura
Date of submission2008-06-25 11:25
NameSugar
Versionv1.13+minisat
AuthorsNaoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command lineDIR/sugar -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

EventCSP 2008 Competition
TypeCSP
SubmitterNaoyuki Tamura
Date of submission2008-06-25 11:27
NameSugar
Versionv1.13+picosat
AuthorsNaoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara
Complete/IncompleteComplete
Is able to solve2-ARY-EXT
2-ARY-INT
GLOBAL
N-ARY-EXT
N-ARY-INT
Solver command lineDIR/sugar -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]