ベンチマークテスト SPECint で示される評価値はどれか。