Is there a mode to calculate the total runtime or std for a whole project?

[wpan36]

Is there a mode/option to display the sum of the mean z3 runtime / aggregated standard deviation of all files in a project? It would be more convenient for me to measure a whole project if there is such a mode.

[yizhou7]

There were scripts that plot all the CDFs in the Mariposa paper: https://github.com/secure-foundations/mariposa/releases/tag/second_experiment
I am working on bringing back these functionalities after the refactoring,
but this might be something you can do it yourself, by extending the ExprAnalyzer class.