vprover/benchexec

BenchExec is a framework for reliable benchmarking and resource measurement on Linux systems, designed to provide accurate, precise, and reproducible measurements for non-interactive tools. It offers features like resource usage measurement and limitation, benchmark definition and execution, and result generation in interactive tables and plots, making it particularly useful for researchers and developers in software verification and related fields.