2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers): list of solvers

List of solvers

Details on each solver


Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterChristophe Lecoutre
Date of submission2017-06-11 10:27
NameAbsCon-basic
Version2017-06-11
AuthorsChristophe Lecoutre
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command linejava -jar HOME/AbsCon-basic.jar BENCHNAME
Conversion script command line
CommentsThis is a very basic version of AbsCon, meaning that I spent all my energy in developing tools and instances for XCSP3/MCSP3 and no energy to prepare my solver ;-)
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterCyril Terrioux
Date of submission2017-07-26 12:49
NameBTD
Version2017-07-25
AuthorsPhilippe Jégou, Hanan Kanso, Cyril Terrioux
Complete/IncompleteComplete
Is able to solveCSP
Solver command lineBTD TIMEOUT BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterCyril Terrioux
Date of submission2017-08-10 14:16
NameBTD
Version2017-08-10
AuthorsPhilippe Jégou, Hanan Kanso, Cyril Terrioux
Complete/IncompleteComplete
Is able to solveCSP
Solver command lineBTD TIMEOUT BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterCharles Prud'homme
Date of submission2017-08-09 22:43
Namechoco-solver
Version4.0.5 par (2017-08-09)
AuthorsCharles Prud'homme and Jean-Guillaume Fages
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command line./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
Conversion script command line
CommentsThe command line assumes that the jar file and the shell are in the same directory.
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterCharles Prud'homme
Date of submission2017-08-18 17:12
Namechoco-solver
Version4.0.5 par (2017-08-18)
AuthorsCharles Prud'homme and Jean-Guillaume Fages
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command line./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
Conversion script command line
CommentsThe command line assumes that the jar file and the shell are in the same directory.
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterCharles Prud'homme
Date of submission2017-08-09 22:43
Namechoco-solver
Version4.0.5 seq (2017-08-09)
AuthorsCharles Prud'homme and Jean-Guillaume Fages
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command line./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
Conversion script command line
CommentsThe command line assumes that the jar file and the shell are in the same directory.
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterCharles Prud'homme
Date of submission2017-08-18 17:12
Namechoco-solver
Version4.0.5 seq (2017-08-18)
AuthorsCharles Prud'homme and Jean-Guillaume Fages
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command line./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
Conversion script command line
CommentsThe command line assumes that the jar file and the shell are in the same directory.
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterCharles Prud'homme
Date of submission2017-07-26 22:19
Namechoco-solver
Version5a (2017-07-26)
AuthorsCharles Prud'homme and Jean-Guillaume Fages
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command line./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
Conversion script command line
CommentsThe command line assumes that the jar file and the shell are in the same directory.
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterCharles Prud'homme
Date of submission2017-08-18 17:13
Namechoco-solver
Version5a (2017-08-18)
AuthorsCharles Prud'homme and Jean-Guillaume Fages
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command line./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
Conversion script command line
CommentsThe command line assumes that the jar file and the shell are in the same directory.
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterJulien Vion
Date of submission2017-06-29 22:41
NameConcrete
Version3.4
AuthorsJulien Vion
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command linebin/concrete BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterGilles Audemard
Date of submission2017-08-10 09:54
Namecosoco
Version1.12
AuthorsGilles Audemard
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command linecosoco -lc -model -restarts BENCHNAME
Conversion script command line
Commentsbug fixed version.
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterGilles Audemard
Date of submission2017-08-10 10:07
Namecosoco-sat
Version1.12
AuthorsGilles Audemard
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command linecosoco -lc -model -restarts -sat BENCHNAME
Conversion script command line
CommentsIt is buggy :(
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterMohamed Siala
Date of submission2017-07-28 21:48
NameMistral-2.0
Version2017-07-28
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
CommentsThe README file contains all the instructions for compilation.
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterCharles Thomas
Date of submission2017-07-26 18:32
NameOscaR - ALNS
Version2017-07-26
AuthorsOscaR Team
Complete/IncompleteComplete
Is able to solveCOP
Solver command linejava -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterCharles Thomas
Date of submission2017-07-26 18:31
NameOscaR - Conflict Ordering
Version2017-07-26
AuthorsOscaR Team
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command linejava -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterCharles Thomas
Date of submission2017-07-26 18:28
NameOscaR - Hybrid
Version2017-07-26
AuthorsOscaR Team
Complete/IncompleteComplete
Is able to solveCOP
Solver command linejava -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterCharles Thomas
Date of submission2017-07-26 18:26
NameOscaR - Parallel with EPS
Version2017-07-26
AuthorsOscaR Team
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command linejava -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterCharles Thomas
Date of submission2017-08-22 12:00
NameOscaR - Parallel with EPS
Version2017-08-22
AuthorsOscaR Team
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command linejava -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterChristophe Lecoutre
Date of submission2017-06-11 10:27
NameR1: AbsCon-basic
Version2017-06-11
AuthorsChristophe Lecoutre
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command linejava -jar HOME/AbsCon-basic.jar BENCHNAME
Conversion script command line
CommentsThis is a very basic version of AbsCon, meaning that I spent all my energy in developing tools and instances for XCSP3/MCSP3 and no energy to prepare my solver ;-)
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterCyril Terrioux
Date of submission2017-06-30 17:54
NameR1: BTD
Version2017-06-30
AuthorsPhilippe Jegou, Hanan Kanso, Cyril Terrioux
Complete/IncompleteComplete
Is able to solveCSP
Solver command lineBTD TIMEOUT BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterCharles Prud'homme
Date of submission2017-07-05 11:01
NameR1: choco-solver
Version4.0.5 (2017-07-05)
AuthorsCharles Prud'homme and Jean-Guillaume Fages
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command line./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
Conversion script command line
CommentsThe command line assumes that the jar file and the shell are in the same directory.
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterCharles Prud'homme
Date of submission2017-07-05 11:03
NameR1: choco-solver
Version5a (2017-07-05)
AuthorsCharles Prud'homme and Jean-Guillaume Fages
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command line./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
Conversion script command line
CommentsThe command line assumes that the jar file and the shell are in the same directory.
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterJulien Vion
Date of submission2017-06-29 22:41
NameR1: Concrete
Version3.4
AuthorsJulien Vion
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command linebin/concrete BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterGilles Audemard
Date of submission2017-06-27 08:25
NameR1: cosoco
Version1.1
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]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterGilles Audemard
Date of submission2017-06-26 16:57
NameR1: cosoco-sat
Version1.1
AuthorsGilles Audemard
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command lineDIR/cosoco -lc -model -restarts -sat BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterMohamed Siala
Date of submission2017-06-28 17:33
NameR1: Mistral-2.0
Version2017-06-28
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
CommentsThe README file contains all the instructions for compilation.
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterCharles Thomas
Date of submission2017-06-30 14:43
NameR1: OscaR - ALNS
Version2017-06-30
AuthorsOscaR Team
Complete/IncompleteComplete
Is able to solveCOP
Solver command linejava -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
Conversion script command line
CommentsForgot to deactivate timestamping of prints
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterCharles Thomas
Date of submission2017-06-30 14:41
NameR1: OscaR - Conflict Ordering
Version2017-06-30
AuthorsOscaR Team
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command linejava -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
Conversion script command line
CommentsForgot to deactivate timestamping of prints
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterCharles Thomas
Date of submission2017-06-30 17:21
NameR1: OscaR - Hybrid
Version2017-06-30
AuthorsOscaR Team
Complete/IncompleteComplete
Is able to solveCOP
Solver command linejava -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
Conversion script command line
CommentsForgot to deactivate timestamping of prints
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterEmmanuel Lonca
Date of submission2017-07-05 16:11
NameR1: sat4j-CSP
Version2017-07-05
AuthorsDaniel Le Berre, Emmanuel Lonca
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command linejava -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]

Event2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers)
TypeCSP
SubmitterEmmanuel Lonca
Date of submission2017-07-05 16:11
Namesat4j-CSP
Version2017-07-05
AuthorsDaniel Le Berre, Emmanuel Lonca
Complete/IncompleteComplete
Is able to solveCOP
CSP
Solver command linejava -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
Conversion script command line
Comments
Solver files and checksums
[Show/Hide files]