And the Winner is ...

See here for the results of all tracks.

The full set of data used to run the 2012 edition of MISC, together with all the results for all the entrants, can be accessed here.

IRILL, the Center for Research and Innovation on Free Software, organizes the 2012 edition of the Mancoosi International Solver Competition. The results of the competition will be announced on September 8, 2012.

This is the third time that this competition is held, after two competitions organized by the Mancoosi project in 2010 (Edinburgh) and 2011 (Perugia). The motivation and general principles of the MISC competition are outlined here.

Optimization criteria

We have three tracks. All three tracks use as optimization criterion a lexicographic combination of some simple integer valued utility functions of a solution. The first track is similar to the first track of the MISC 2011 competition. In the first track the criterion is fixed, while for the second and third track the precise criterion is part of the problem instance. A precise definition can be found here.

  • paranoid (1st track): we want to answer the user request, minimizing the number of packages removed in the solution, and also the packages changed by the solution;
  • basic user (2nd track) and full user (3rd track): we want to answer the user request, and look for an optimal solution according to an optimization criterion provided by the user. The criterion is given by a list of utility functions taken from a fixed list of possible functions, together with a polarity (maximize or minimize) for each of them.

Execution environment

This has been updated since MISC 2011. In particular, solvers run now in a virtual machine emulating a 64-bit PC. Please consult the exact description.


Important dates:

Declaration of ParticipationAugust 1, 2012, 23h59 UTC
Submission of SolversAugust 17, 2012, 23h59 UTC (extended!)
Announcement of ResultsSeptember 8, 2012

The guidelines for submitting solvers are the same as for MISC 2011. We insist on both a one-line short description of the solver, and the URL of an existing web page describing the solver. Participants not providing either of these will not be included in the MISC run.

The organizers can be contacted by email to

The results will be announced on September 8, 2012.

Links and resources