Specifications PyCSP3 Tools Instances Competitions About

XCSP Competitions

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

Important: see tables, cactus plots, bounds, traces, … by following this link.

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