Affiliated to FMCAD'13, Portland, OR, USA, October 20-23, 2013.
Previous editions HWMCC'12, HWMCC'11, HWMCC'10, HWMCC'08, and HWMCC'07.
This was the 6th competitive event for hardware model checkers.
Results were presented on Tuesday, 22nd October 2013, at FMCAD'13.
The deep bounds track award of $500 sponsored by Oski Technology was awarded to TIP by Niklas Sörensson and Koen Claessen.
Please refer to the slides of the presentation for a general overview on the results.
Here are spread sheets with more details:
[ hwmcc13-single-results-table-per-instance.csv ]
[ hwmcc13-live-results-table-per-instance.csv ]
[ hwmcc13-multi-results-table-per-solver-and-property.csv ]
Log files are available too, but will explode in space during decompression:
[ hwmcc13-single-logs.7z ] (5 MB compressed, 298MB uncompressed)
For the deep bounds track we have the following tables:
[ hwmcc13-bounds-unsolved-table.csv ]
The set of benchmarks used in HWMCC'13 is available as archive hwmcc13aigs.7z (74 MB compressed, 373 MB uncompressed). It lacks 24 Intel benchmarks used in the single track due to license restrictions. Those have to be obtained separately.
The competition was run in the same way as last year, except that we continued to work on obtaining more word-level models in our BTOR format in order to add a word-level track in the future.
For more information see also our Google group or the web-page of HWMCC'12.
HWMCC'13 was organized by Armin Biere, Keijo Heljanko, Martina Seidl, and Siert Wieringa.