Results

The results of the competition have been presented at CAV'08 (slides).

The winners are:

ALLabcUniversity of California, Berkeley (abc-hwmcc08.pdf)
SATtipbmcChalmers Gothenburg
UNSATabcUniversity of California, Berkeley (abc-hwmcc08.pdf)

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.