More benchmarks for box_filter.