History misc/benchmark.pl