A Framework for Reliable Benchmarking and Resource Measurement

WWW: https://github.com/sosy-lab/benchexec
