Static binary generation test didn't actually generate a static binary
Allowing to control the printing of times in a global way

This will allow for a much better DIFF-ing of data output by the solver