[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[p2-dev] Fwd: [MISC] MISc-Live solver competition #4: results!
- From: Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>
- Date: Thu, 10 Mar 2011 20:23:09 +0100
- Delivered-to: email@example.com
- User-agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:22.214.171.124) Gecko/20110307 Mandriva/3.1.9-0.1mdv2010.2 (2010.2) Thunderbird/3.1.9
You will find enclosed a link to the results of the latest Linux package
There was only 4 solvers submitted, but we managed to perform reasonably
well considering that the other solvers are in plain C/C++.
-------- Original Message --------
Subject: [MISC] MISc-Live solver competition #4: results!
Date: Thu, 10 Mar 2011 18:50:13 +0100
From: Ralf Treinen <ralf.treinen@xxxxxxxxxxxxxx>
Ralf Treinen <ralf.treinen@xxxxxxxxxxxxxx>
the results of the 4th MiSC-live run are now available at the address
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
resultet in the same large constant added to the time of each participant.
We'll have to think about changing this for the next time.
Thanks a lot to Pietro for having again done all the work, and to all