Benchmarks in this directory are from the CPAchecker Project.

D. Beyer, M. E. Keremoglu, and P. Wendler.
Predicate Abstraction with Adjustable-Block Encoding.
Proc. FMCAD, pages 189-197, 2010. FMCAD Inc.

