Distilling the essence of proprietary workloads into miniature benchmarks