[default time of 0.0001s for runtimes below time precision
martin.hofmann@uni-bamberg.de**20091019065547] hunk ./src/UI/UIStarter.hs 284
-    return $ (a , text (printf "%6.5fs" t) <>linebreak)
+    return $ (a , text (printf "%6.4fs" $ if t == 0 then 0.0001 else t) <>linebreak)