Hot: benchmarks