The MiniZinc Challenge

The MiniZinc Challenge is an annual competition of constraint programming solvers on a variety of benchmarks. It has been held every year since 2008, with the winners being announced at the annual International Conference on Principles and Practice of Constraint Programming.

If you use benchmarks from the MiniZinc Challenge in your publication or you want to have reference for the challenge, please refer to at least one of following publications.

  • Peter J. Stuckey, T. Feydy, A. Schutt, G. Tack, J. Fischer (2014). The MiniZinc Challenge 2008-2013. AI Magazine 35 (2), 55-60.
  • Peter J. Stuckey, R. Becket, J. Fischer (2010). Philosophy of the MiniZinc challenge. Constraints 15 (3), 307-316.

A list of all problems and MiniZinc globals used in previous challenges is available here.

Medals

MiniZinc Challenge 2016 (detailed results)

Category Gold Silver Bronze
Fixed OR-Tools JaCoP Choco
Free HaifaCSP Picat SAT iZplus
Parallel HaifaCSP Picat SAT iZplus
Open sunny-cp—— HaifaCSP Picat SAT
Best local search solver OscaR/CBLS

MiniZinc Challenge 2015 (detailed results)

Category Gold Silver Bronze
Fixed Opturion CPX OR-Tools JaCoP
Free Opturion CPX iZplus OR-Tools
Parallel OR-Tools Opturion CPX Choco
Open sunny-cp OR-Tools Opturion CPX

MiniZinc Challenge 2014 (detailed results)

Category Gold Silver Bronze
Fixed OR-Tools Opturion CPX SICStus Prolog
Free iZplus Opturion CPX Choco
Parallel OR-Tools Opturion CPX Choco
Open OR-Tools Opturion CPX Choco

MiniZinc Challenge 2013 (detailed results)

Category Gold Silver Bronze
Fixed Opturion/CPX OR-Tools Gecode
Free Opturion/CPX OR-Tools izplus
Parallel OR-Tools Choco Opturion/CPX
Open OR-Tools Choco Opturion/CPX

MiniZinc Challenge 2012 (detailed results)

Category Gold Silver Bronze
Fixed Gecode JaCoP OR-Tools
Free Gecode Fzn2smt izplus
Parallel Gecode Fzn2smt izplus

Minizinc Challenge 2011 (detailed results)

Category Gold Silver Bronze
Fixed Gecode JaCoP B-Prolog
Free Gecode fzn2smt JaCoP
Parallel Gecode fzn2smt JaCoP

Minizinc Challenge 2010 (detailed results)

Category Gold Silver Bronze
Fixed Gecode JaCoP
Free Gecode fzn2smt JaCoP
Parallel Gecode + fzn2smt JaCoP

Minizinc Challenge 2009 (detailed results)

Category Gold Silver Bronze
Fixed Gecode Sicstus Prolog
Free Gecode Sicstus Prolog

Minizinc Challenge 2008 (detailed results)

Category Gold Silver Bronze
Fixed Gecode Eclipse Prolog