Published January 27, 2023 | Version v1
Other Open

2022 XCSP3 competition: Models, Instances and Results

  • 1. Univ Artois & CNRS


International competitions of constraint solvers help us improving our knowledge about components (e.g., filtering algorithms, search heuristics, exploration strategies, encoding/reformulation techniques, learning approaches, ...) that are behind the efficiency of solving systems for combinatorial constrained problems.


All information and data concerning the fourth international XCSP3 constraint solver competition, organized in 2022, is made available to a large audience. Technically, this concerns two classical problems :

  • CSP (Constraint Satisfaction Problem)
  • COP (Constrained Optimization Problem)

For the 2022 XCSP3 solver competition, you can find in this repository:

  • the full set of models and data used to generate problem instances (XCSP3 instances)
  • the full set of XCSP3 instances on which the solvers were run
  • the detailed results obtained by all solvers (JSON file)

Other resources are available:


Files (123.1 MB)

Name Size Download all
108.7 MB Preview Download
10.3 MB Preview Download
4.1 MB Preview Download