HWMCC'07 |
ResultsThe results of the competition have been presented at CAV'07 (slides). The winners are:
All details are listed in hwmcc07results.csv. Run time information alone is given in hwmcc07time.csv, which is also available as hwmcc07time.xls. For more information on the set-up please consult the slides of the CAV presentation. |