2018 XCSP3 competition: parallel solvers tracks: list of solvers

List of solvers

Details on each solver


Event2018 XCSP3 competition: parallel solvers tracks
TypeCSP
SubmitterCharles Prud'homme
Date of submission2018-07-27 12:05
NameChoco-solver
Version4.0.7b par (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 22000 -p NBCORE BENCHNAME
Conversion script command line
CommentsUnzipping the archive file should be enough
Solver files and checksums
[Show/Hide files]

Event2018 XCSP3 competition: parallel solvers tracks
TypeCSP
SubmitterCharles Thomas
Date of submission2018-07-06 13:25
NameOscaR - Parallel with EPS
Version2018-07-02
AuthorsOscaR Team
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command linejava -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

Event2018 XCSP3 competition: parallel solvers tracks
TypeCSP
SubmitterCharles Thomas
Date of submission2018-08-14 16:12
NameOscaR - Parallel with EPS
Version2018-08-14
AuthorsOscaR Team
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command linejava -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

Event2018 XCSP3 competition: parallel solvers tracks
TypeCSP
SubmitterTakehide Soh
Date of submission2018-07-07 17:44
Namescop
Versionboth+glucose-syrup (2018-07-07)
AuthorsTakehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
Complete/IncompleteComplete
Is able to solveCSP
Solver command linejava -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -both -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME
Conversion script command line
CommentsPlease read README.org for details of installation and execution. Appropriate SAT solvers must be installed before running it.
Solver files and checksums
[Show/Hide files]

Event2018 XCSP3 competition: parallel solvers tracks
TypeCSP
SubmitterTakehide Soh
Date of submission2018-07-31 11:02
Namescop
Versionboth+glucose-syrup (2018-07-31)
AuthorsTakehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
Complete/IncompleteComplete
Is able to solveCSP
Solver command linescop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME
Conversion script command line
CommentsPlease read README.org for details of installation and execution. Appropriate SAT solvers must be installed before running it.
Solver files and checksums
[Show/Hide files]

Event2018 XCSP3 competition: parallel solvers tracks
TypeCSP
SubmitterTakehide Soh
Date of submission2018-07-07 17:46
Namescop
Versionorder+glucose-syrup (2018-07-07)
AuthorsTakehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
Complete/IncompleteComplete
Is able to solveCSP
Solver command linejava -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -order -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME
Conversion script command line
CommentsPlease read README.org for details of installation and execution. Appropriate SAT solvers must be installed before running it.
Solver files and checksums
[Show/Hide files]

Event2018 XCSP3 competition: parallel solvers tracks
TypeCSP
SubmitterTakehide Soh
Date of submission2018-07-31 11:07
Namescop
Versionorder+glucose-syrup (2018-07-31)
AuthorsTakehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
Complete/IncompleteComplete
Is able to solveCSP
Solver command linescop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME
Conversion script command line
CommentsPlease read README.org for details of installation and execution. Appropriate SAT solvers must be installed before running it.
Solver files and checksums
[Show/Hide files]