Re: I/O overhead in opening and writing files

On Mon, Aug 27, 2012 at 7:25 PM, J Baptist wrote:

real 0m6.053s user 0m1.480s sys 0m4.550s

Do these timings include RTS startup? -- Felipe.