HWMCC'08
Results
The results of the competition have been presented at CAV'08 (slides).
The winners are:
| ALL | abc | University of California, Berkeley (abc-hwmcc08.pdf) |
| SAT | tipbmc | Chalmers Gothenburg |
| UNSAT | abc | University 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.