microprocessor models with spec cpu2017 benchmarks