The runtime summary is nice, but parsing/sorting hours/minutes/seconds is a bit painful. Does it make sense for times to be in decimal seconds?

I agree; that would be more standard/parser-friendly. What do you think, @Amr Gouhar?

@Ahmed Ghazy, @Anton Blanchard: We can generate both, since the hms breakdown is useful as well.