adamzsofi/benchexec

BenchExec is a framework for reliable benchmarking and resource measurement on Linux systems, designed to provide accurate, precise, and reproducible measurements of CPU time, wall time, and memory usage. It is particularly useful for benchmarking non-interactive tools and offers features like execution with resource limits, isolation using containers, and result analysis through interactive tables and plots. BenchExec is widely used in international competitions such as SMT-COMP, SV-COMP, and the Termination Competition, and is integrated into tools like CPAchecker and ESBMC.