Competitions
2022
- Organizers: Christophe Lecoutre and Emmanuel Lonca
- All details in this Call
- A pool of instances that allow you to check your solver (in particular, parsing capability) is in this archive
The website http://xcsp22.cril.fr/ is now open. When you upload a file (archive with instances or a solver), in the description field associated with your upload, please write a line of the form:
- Type : XXX
where XXX is one value (or possibly several values) among :
- Benchmark
- CSP sequential
- COP fast (4 minutes)
- COP sequential
- COP parallel
- mini CSP
- mini COP
and write a line indicating what is the line command to run the solver.
Of course, you can indicate any other relevant information about your submission.
The deadlines of the competition are defined below:
| Events | Dates |
|---|---|
| Opening of the registration site at http://xcsp22.cril.fr/ | April 2022 |
| Pre-registration of contestants | May 1, 2022 |
| Final registration (submission of solvers and benchmarks) | May 23, 2022 |
| Test of solvers conformance | May-June |
| Position paper (2 pages) | end June |
| Competition running | June-July |
| Final results available | during CP’22 |
2019
- Organizers: Christophe Lecoutre and Olivier Roussel
- Slides
- Benchmarks
- Detailed results
- Rules
| Rank | Main CSP (CPU) | Main COP (CPU) | Fast COP (CPU) | Mini track (CPU) |
|---|---|---|---|---|
| 1st | PicatSAT | PicatSAT | AbsCon | NACRE (hybrid) |
| 2nd | Fun-Scop (hybrid + CryptoMiniSAT) | choco (parallel) | PicatSAT | miniBTD |
| 3rd | Fun-Scop (hybrid + Many Glucose) | AbsCon | choco (paralle) | cosoco |
2018
- Organizers: Christophe Lecoutre and Olivier Roussel
- Slides
- Proceedings
- Benchmarks
- Detailed results
- Rules
| Rank | Main CSP | Main COP | Fast COP | Mini solvers CSP | Mini solvers COP | parallel |
|---|---|---|---|---|---|---|
| 1st | scop order + Maple | PicatSAT | Concrete | NACRE | cosoco | scop order + syrup |
| 2nd | scop hybrid + Maple | Concrete | Choco | miniBTD_12 | Schul & Mal | scop both + syrup |
| 3rd | PicatSAT | Choco | OscaR - hybrid | miniBTD | GG’s minicp | Choco |
2017
- Organizers: Christophe Lecoutre and Olivier Roussel, Cédric Piette, Pierre Schauss, Arnaud Malapert, Charles Prudhomme
- Slides
- Benchmarks
- Detailed results
- Rules
| Rank | Main CSP | Main COP | Fast COP | Mini solvers CSP |
|---|---|---|---|---|
| 1st | Choco 4.0.5 | Mistral | Oscar (conflict) | cosoco |
| 2nd | Choco 5a | Oscar (basic) | Mistral | miniBTD |
| 3rd | AbsCon | AbsCon | Choco | Naxos |