BAT
Bit-level Analysis Tool, version 2

Benchmarks