Mini benchmarks dug from SPEC 2006