MagicHaskeller.GetTime

batchWrite

batchRun

time

showZero

showCPUTime

lenPrec