MiniZinc Challenge 2009 Results
The result of MiniZinc Challenge 2009 is presented in MiniZinc Challenge 2009 Results:
Congratulations to the Gecode team!
There were two entrants this year:
* Gecode
* SICStus
In addition, the challenge organisers entered the following three FlatZinc implementations:
* ECLiPSe
* G12/FD
* G12/LazyFD
As per the challenge rules, these entries are not eligible for prizes, but do modify the scoring results.
Summary of Results
fd_search
| sicstus | 1651.8 |
| eclipse_ic | 322.1 |
| gecode | 4008.8 |
| g12_fd | 2040.6 |
| g12_lazyfd | 1376.6 |
free_search
| sicstus | 1841.0 |
| gecode | 4535.5 |
| g12_fd | 1112.4 |
| g12_lazyfd | 2511.1 |
Congratulations to the Gecode team!