HWMCC'08 |
ResultsThe results of the competition have been presented at CAV'08 (slides). The winners are:
A summary on how all the solvers performed is available as hwmcc08summary.txt. More details are listed in hwmcc08results.xls (hwmcc08results.txt, hwmcc08results.csv). For more information on the set-up please consult the slides of the CAV presentation. |