[  download ]

Miters

This page provides access to miter benchmarks.

Download

• hwmcc12miters-aigs.7z (89 MB), README.original, README.aigs, generate.log
• hwmcc12miters-cnfs.7z (562 MB), README.cnfs
• hwmcc12miters-opt-cnfs.7z (274 MB), optimized only, README.cnfs
• hwmcc12miters-nonopt-cnfs.7z (295 MB), trivial non-optimized only, README.cnfs