Starting from the Mancoosi meeting held in Nice on the January 7th and 8th 2010, we routinely run MiSC (for Mancoosi internal Solver Competition), with the goal of providing real-world data and benchmarks for the official Mancoosi International Solver Competition, and to test the competition infrastructure.

This web page gives access to all the input data, as well as the results found by each of the participating solvers.

Past runs

Important details