Gecode is a regular participant in the MiniZinc Challenge, a benchmark of constraint solvers organized by the NICTA research centre.