Hot: benchmarking