VOSTD

performance bench ← Dashboard

loading…

Total verification cost

Solver resource usage (rlimit) per commit. Lower is better. Select a point to view its commit.

Verification cost by module

The five most expensive modules in the latest run are selected initially. Use the legend to compare other modules. Gaps mean a module was not recorded in that run.

Latest measurements

Changes compare with the previous recorded run. Each run records the most expensive modules, so the module list may vary.