Specifications PyCSP3 Tools Instances Competitions About

Competitions

2022

Forthcoming Call: XCSP3 Competition will be run in 2022, with results presented at FLoC 2022.

2019

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

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

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