BAT
Bit-level Analysis Tool, version 0.2

Benchmarks