Use HTML tables for benchmark output