benchmarks

Performance benchmarks, profiling experiments, and quantitative comparisons of different optimization approaches.