Specifications PyCSP3 Tools Instances Competitions About

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