HWMCC'11

Benchmarks

The full benchmark set hwmcc11nointel.7z used in the competition is available.

The sixty additional benchmarks from intel used in the single track are listed as symbolic links in the above archive and have to be obtained separately due to license restrictions.

A first set of benchmarks translated into the new AIGER 1.9 format by Siert Wieringa was made available before the competition.

The benchmark set of HWMCC'10 contains some more but rather trivial benchmarks.