There is a newer version of this record available.

Software Open Access

sosy-lab/benchexec: Release 3.9

Philipp Wendler; Dirk Beyer

  • Improved container mode to make it work more easily inside LXC containers.
  • The scatter plot in HTML tables produced by table-generator can now show a linear-regression graph using ordinary least squares. A tooltip shows more information such as the regression coefficient.
  • The library that is used for rendering the actual tables in the HTML tables got a major upgrade, which required some work. If you notice any regression in table behavior, please file an issue.
  • One new tool-info module.

For people using the git repository of BenchExec: Immediately after the release of BenchExec 3.9, the default branch of the repository will be renamed to main. Please adjust forks and checkouts if required.

Files (6.0 MB)
Name Size
6.0 MB Download
All versions This version
Views 1,85216
Downloads 1143
Data volume 226.2 MB18.0 MB
Unique views 1,30215
Unique downloads 583


Cite as