The benchmarks in this directory were submitted by Alberto Griggio,
as part of an evaluation package for the software verifier Kratos.
https://es.fbk.eu/tools/kratos/