Rewritten benchmarks to produce html output...