Results MiniZinc Challenge 2012
The result from
MiniZinc Challenge 2012
was presented this Friday (the last day of CP2012,
18th International Conference on Principles and Practice of Constraint Programming ).
The official contestants (solvers) this year was:
I took the results from the "Selection" section of the result page and for each categories selected "Select all problems", "Compute results" and then sorted on the points (most is best). The result is quite interesting since it shows that Chuffed and G12 CPX got most points in all the three categories, and G12 Lazy FD also got good places.
Note: The mixing in the categories is explained by the management: entries in the FD search category were automatically included in the free search category, while entries in the free search category (including promoted FD entries) were automatically included in the parallel search category. The official winners (gold, silver, bronze) has been embolded.
Also see: MiniZinc Challenge Medals 2008-2012
The official contestants (solvers) this year was:
- BProlog (description)
- Choco (description)
- Fzn2smt (description). Translates to SMT, uses Yices.
- Gecode (description)
- izplus (description) (note: the site is in Japanese)
- JaCoP (description)
- Mistral 2.0 (description)
- OR-Tools (description)
Official results
The official results are:- Fixed search:
- Gold medal: Gecode
- Silver medal: Jacop
- Bronze medal: OR-Tools
- Free search:
- Gold medal: Gecode
- Silver medal: Fzn2smt
- Bronze medal: izplus
- Parallel search:
- Gold medal: Gecode
- Silver medal: Fzn2smt
- Bronze medal: izplus
Result including all solvers
It can be interesting to see the results for all solvers in the Challenge, including the G12's internal solvers such as Chuffed and CPX (which "are not eligible for prizes, but do modify the scoring results"). For a short description of these non-eligible solvers, see the short description at the result page.I took the results from the "Selection" section of the result page and for each categories selected "Select all problems", "Compute results" and then sorted on the points (most is best). The result is quite interesting since it shows that Chuffed and G12 CPX got most points in all the three categories, and G12 Lazy FD also got good places.
Note: The mixing in the categories is explained by the management: entries in the FD search category were automatically included in the free search category, while entries in the free search category (including promoted FD entries) were automatically included in the parallel search category. The official winners (gold, silver, bronze) has been embolded.
- Fixed search ("FD category solvers")
chuffed-fd 1136 g12_cpx-fd 1060 gecode-fd 881 g12_lazyfd-fd 783 jacop-fd 548 g12_fd-fd 525 or_tools-fd 488 choco-fd 430 bprolog-fd 265
- Free category ("Free category solvers")
chuffed-free 2359 g12_cpx-free 1915 g12_lazyfd-free 1782 gecode-free 1620 fzn2smt-free 1522 gurobi-free 1481 izplus-free 1413 cplex-free 1367 jacop-free 1326 bprolog-free 1203 mistral-free 1199 g12_fd-free 998 choco-free 805 or_tools-free 692 minisatid-free 648 cbc-free 222
- Par category ("Par category solvers")
chuffed-free 2341 g12_cpx-free 1897 gecode-par 1846 g12_lazyfd-free 1758 fzn2smt-free 1504 gurobi-par 1499 izplus-free 1380 cplex-par 1351 jacop-free 1293 bprolog-free 1178 mistral-free 1173 g12_fd-free 974 or_tools-par 810 choco-free 789 minisatid-free 627 cbc-free 222
Also see: MiniZinc Challenge Medals 2008-2012