2018 XCSP3 competition: fast COP track: list of solvers

List of solvers

Details on each solver


Event2018 XCSP3 competition: fast COP track
TypeCSP
SubmitterCharles Prud'homme
Date of submission2018-07-27 12:05
NameChoco-solver
Version4.0.7b seq (e747e1e)
AuthorsCharles Prud'homme and Jean-Guillaume Fages
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command lineHOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME
Conversion script command line
CommentsUnzipping the archive file should be enough
Solver files and checksums
[Show/Hide files]

Event2018 XCSP3 competition: fast COP track
TypeCSP
SubmitterJulien Vion
Date of submission2018-07-28 02:40
NameConcrete
Version3.9.2
AuthorsJulien Vion
Complete/IncompleteComplete
Is able to solveCOP
Solver command linebin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

Event2018 XCSP3 competition: fast COP track
TypeCSP
SubmitterJulien Vion
Date of submission2018-07-28 02:29
NameConcrete
Version3.9.2-SuperNG
AuthorsJulien Vion
Complete/IncompleteComplete
Is able to solveCOP
Solver command linebin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

Event2018 XCSP3 competition: fast COP track
TypeCSP
SubmitterGilles Audemard
Date of submission2018-04-27 12:30
Namecosoco
Version1.12
AuthorsGilles Audemard
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command lineDIR/cosoco -lc -model -restarts BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

Event2018 XCSP3 competition: fast COP track
TypeCSP
SubmitterMohamed Siala
Date of submission2018-08-01 12:38
NameMistral-2.0
Version2018-08-01
AuthorsEmmanuel Hebrard and Mohamed Siala
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command lineMistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
Conversion script command line
CommentsFrom the main directory, please use make to compile the code. This generates the binary bin/MistralXCSP
The command that we use to any XCSP3 instance is the following (it should be run from the main directory):

bin/MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
Solver files and checksums
[Show/Hide files]

Event2018 XCSP3 competition: fast COP track
TypeCSP
SubmitterCharles Thomas
Date of submission2018-08-14 16:16
NameOscaR - Conflict Ordering with restarts
Version2018-08-14
AuthorsOscaR Team
Complete/IncompleteComplete
Is able to solveCOP
Solver command linejava -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

Event2018 XCSP3 competition: fast COP track
TypeCSP
SubmitterCharles Thomas
Date of submission2018-08-17 17:16
NameOscaR - Conflict Ordering with restarts
Version2018-08-17
AuthorsOscaR Team
Complete/IncompleteComplete
Is able to solveCOP
Solver command linejava -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore 1 BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

Event2018 XCSP3 competition: fast COP track
TypeCSP
SubmitterCharles Thomas
Date of submission2018-08-14 16:14
NameOscaR - Hybrid
Version2018-08-14
AuthorsOscaR Team
Complete/IncompleteComplete
Is able to solveCOP
Solver command linejava -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

Event2018 XCSP3 competition: fast COP track
TypeCSP
SubmitterEmmanuel Lonca
Date of submission2018-07-11 11:42
NameSat4j-CSP
Version2018-07-11
AuthorsDaniel Le Berre and Emmanuel Lonca
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command linejava -DCompetitionOutput -jar DIR/sat4j-csp-final.jar BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]