B

Benchmark Definitions

Information to reproduce results from SV-COMP