>>340
>>307のシングルコアの件だけど、デバイスマネージャで
　コンピュータ → ACPI (Advanced Configuration and Power Interface) PC
になってなかったら、デバイスの選択で変更しておくことを勧める。
ベンチスコアが劇的に変化する可能性があるよ。