Specifications PyCSP3 Tools Instances Competitions About



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


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


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


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