I meant raw page generation times. With caching it was much quicker of course. I assume the PHP benchmarks are also non-cached, else you're just benchmarking the caching method.
This makes PHP much, much faster. The only time the files are recompiled are if you restart your webserver, or if you modify the .php files.
I'm not talking about static html generation, that's another thing all together.