XCSP Competitions
2024
The website http://xcsp24.cril.fr/ will be open in April. 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:
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://xcsp24.cril.fr/ | April 2024 |
| Pre-registration of contestants | May 10, 2024 |
| Final registration (submission of solvers and benchmarks) | May 30, 2024 |
| Test of solvers conformance | June |
| Position paper (2 pages) | end June |
| Competition running | June-July |
| Final results available | during CP’24 |
2023
| Rank | Main CSP | Main COP | Fast COP | Parallel COP | Mini CSP | Mini COP |
| 1st | Picat | Mistral | Choco | Choco | Exchequer | toulbar2 |
| 2nd | Fun-sCOP (kissat) | Choco | Mistral | toulbar2 | miniBTD | Exchequer |
| 3rd | Choco | CoSoCo | CoSoCo | | Nacre | Sat4j-both |
2022
| Rank | Main CSP | Main COP | Fast COP | Parallel COP | Mini CSP | Mini COP |
| 1st | Picat | Picat | CoSoCo | Choco | Exchequer | Mistral |
| 2nd | Fun-sCOP (cadical) | CoSoCo | Picat | toulbar2 | miniBTD | toulbar2 |
| 3rd | Choco | Mistral | Mistral | | Sar4j-res | miniRBO |
2019
| Rank | Main CSP | Main COP | Fast COP | Parallel CSP | Parallel COP | Mini CSP |
| 1st | PicatSAT | PicatSAT | AbsCon | PicatSAT | PicatSAT | NACRE (hybrid) |
| 2nd | Fun-sCOP (Crypto) | choco | PicatSAT | Fun-sCOP (hybrid) | Choco // | miniBTD |
| 3rd | Fun-sCOP (Glucose) | AbsCon | choco | Fun-sCOP (order) | AbsCon | CoSoCo |
2018
| Rank | Main CSP | Main COP | Fast COP | Parallel CSP | Mini CSP | Mini COP |
| 1st | scop (order-maple) | PicatSAT | Concrete | scop (order-syrup) | NACRE | CoSoCo |
| 2nd | scop (both-maple) | Concrete | Choco 4 | scop (both-syrup)) | miniBTD_12 | Schul & Mal |
| 3rd | PicatSAT | Choco 4 | OscaR | Choco 4 // | miniBTD | GG’s minicp |
2017
| Rank | Main CSP | Main COP | Fast COP | Parallel CSP | Parallel COP | Mini CSP | Mini COP |
| 1st | Choco 4 | Mistral 2 | Oscar | Choco 4 // | Choco 4 // | CoSoCo | CoSoCo |
| 2nd | Choco 5 | Oscar | Mistral 2 | Choco 4 | Oscar // | miniBTD | Naxos |
| 3rd | AbsCon | AbsCon | Choco 4 | Choco 5 | Mistral 2 | Naxos | |
