Specifications PyCSP3 Tools Instances Competitions About

XCSP Competitions

Since 2022, all editions of the XCSP competition are organized by compiling models developed with the library PyCSP3 into XCSP3.

🟢 2025

The website http://xcsp25.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 indicate the type(s) : Benchmark, CSP, COP, Fast COP, // COP, Mini CSP, Mini COP. Also, indicate what is the line command to use to run the solver. The deadlines of the competition are defined below:

Events Dates
Opening of the registration site at http://xcsp25.cril.fr/ April 2025
Pre-registration of contestants May 10, 2025
Final registration (submission of solvers and benchmarks) May 30, 2025
Test of solvers conformance June
Position paper (2 pages) end June
Competition running June-July
Final results available during CP'25

🟢 2024

  Main CSP Main COP Fast COP Parallel COP Mini CSP Mini COP
gold Picat CPMpy_ortools Picat CPMpy_ortools CPMpy_chuffed Exchequer
silver CPMpy-ortools Picat CoSoCo Choco miniBTD miniRBO
bronze Fun-sCOP CoSoCo Choco Toulbar2 Nacre Toulbar2


🟢 2023

  Main CSP Main COP Fast COP Parallel COP Mini CSP Mini COP
gold Picat Mistral Choco Choco Exchequer toulbar2
silver Fun-sCOP (kissat) Choco Mistral toulbar2 miniBTD Exchequer
bronze Choco CoSoCo CoSoCo   Nacre Sat4j-both


🟢 2022

  Main CSP Main COP Fast COP Parallel COP Mini CSP Mini COP
gold Picat Picat CoSoCo Choco Exchequer Mistral
silver Fun-sCOP (cadical) CoSoCo Picat toulbar2 miniBTD toulbar2
bronze Choco Mistral Mistral   Sar4j-res miniRBO


The three first editions of the XCSP competition using the format XCSP3 were organized from 2017 to 2019.

🔵 2019

  Main CSP Main COP Fast COP Parallel CSP Parallel COP Mini CSP
gold PicatSAT PicatSAT AbsCon PicatSAT PicatSAT NACRE (hybrid)
silver Fun-sCOP (Crypto) choco PicatSAT Fun-sCOP (hybrid) Choco // miniBTD
bronze Fun-sCOP (Glucose) AbsCon choco Fun-sCOP (order) AbsCon CoSoCo


🔵 2018

  Main CSP Main COP Fast COP Parallel CSP Mini CSP Mini COP
gold scop (order-maple) PicatSAT Concrete scop (order-syrup) NACRE CoSoCo
silver scop (both-maple) Concrete Choco 4 scop (both-syrup)) miniBTD_12 Schul & Mal
bronze PicatSAT Choco 4 OscaR Choco 4 // miniBTD GG’s minicp


🔵 2017

  • Organizers: Christophe Lecoutre, Olivier Roussel, Cédric Piette, Pierre Schaus, Arnaud Malapert, and Charles Prud’homme
  • Slides
  • Results (Tables, Traces)
  • Instances
  Main CSP Main COP Fast COP Parallel CSP Parallel COP Mini CSP Mini COP
gold Choco 4 Mistral 2 Oscar Choco 4 // Choco 4 // CoSoCo CoSoCo
silver Choco 5 Oscar Mistral 2 Choco 4 Oscar // miniBTD Naxos
bronze AbsCon AbsCon Choco 4 Choco 5 Mistral 2 Naxos  


The two first editions of the XCSP Competition were organized in 2005 and 2006 using the format XCSP 1.1. The two next ones were organized in 2008 and 2009 with the format XCSP 2.1. These format versions are now deprecated.

🟡 2009

  • Organizers: Marc van Dongen, Christophe Lecoutre and Olivier Roussel
  • Slides
  • Results (Tables, Traces)
  • Instances

🟡 2008

🟡 2006

🟡 2005

🟡 2004