The results of the 4th run of the misc competition are [http://mancoosi.org/misc-live/20110225/results/ online !] .
The annoncement sent on the mailing list:
This time, it was quite close, and execution times had to be taken into account several times to break ties. However, looking at the different total times for each solver it looks closer than it actually was. The reason for this is the way the “total success time” is defined (see http://www.mancoosi.org/misc-live/20110225/rules/, section “Breaking Ties”). Since we had many cases without a solution, our definition resulted in the same large constant added to the time of each participant. We’ll have to think about changing this for the next time.
We still have to decide if we’re going to have another edition of misc live before the official annual competition (TBA).
enjoy !