I wrote: "In the machine I am using now, with -j, I get 54s for Agda (development version) and 33s for Mikan."

And in the same machine, with Agda-2.8.0, the current released version, where `-j` is not available, I get 6m15s.

So Agda-2.9.0 gives a x7 speed up, and mikan a x11.4 speed up.

@amy @de_Jong_Tom @totbwf