v 2.5.1
A Framework for Reliable Benchmarking and Resource Measurement
https://github.com/sosy-lab/benchexec/