The mancoosi project has organised MISC 2010 (for Mancoosi International Solver Competition), the first international competition of solvers for package/component installation and upgrade problems during the summer of 2010. The motivation and general principles of the MISC competition are outlined here.
We have used two different optimization criteria, each of them constituting a different track of the competition. Both are lexicographic combinations of some simple integer valued utility functions of a solution, which we summarize below. A precise definition can be found here.
The timeline was:
Declaration of Participation | May 31, 2010 |
Submission of Solvers | June 13, 2010, 23h59 UT |
Announcement of Results | July 10, 2010 |
The results were announced at the International Workshop on Logics for Component Configuration (LoCoCo 2010) on July 10, 2010, in Edinburgh.
For reference, the more detailed description of the procedure was announced like this.
See here for the results of both tracks.
The full set of data used to run the 2010 edition of MISC, together with all the results for all the entrants, can be accessed here.