restyled a little the benchmarking interface