Benchmarks

Above you can download all the 645 benchmarks used in HWMCC'08 split into a publically available part and benchmarks from Intel. These benchmarks include almost all benchmarks from HWMCC'07. We simplified the naming scheme and renamed some of them. We are also working on publishing more benchmarks, particularly liveness problems.