Solver resource usage (rlimit) per commit. Lower is better. Select a point to view its commit.
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.
Changes compare with the previous recorded run. Each run records the most expensive modules, so the module list may vary.