The archive hwmcc12-aigs.7z contains all the benchmarks used this year except for 38 Intel benchmarks from HWMCC'08, which have to be obtained separately due to license restrictions. The archive hwmcc12-aigs.7z contains only symbolic links for the 38 benchmarks from Intel.

We are working on a central complete set of collected benchmarks too.

In the meantime refer to the links below.

Older Benchmarks

Jori Dubrovin translated the explicit state model checking benchmarks from the BEEM benchmark set into our BTOR format, which were then synthesized to AIGER with Boolector. The benchmarks are available on the web page of AIGER.

The full benchmark set hwmcc11nointel.7z used in the competition of 2011 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 2011.

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