Assertion list
core (aspect of cpu ) → CapableOf

Results from Ascent++: 19
coreCapableOf overclock up to 3.2 ghz 0.68
coreCapableOf process two threads 0.60
coreCapableOf increase clock rates 0.55
coreCapableOf support hyperthreading 0.54
coreCapableOf operate at particular speed 0.51
coreCapableOf process various tasks 0.51
coreCapableOf handle up to four threads 0.50
coreCapableOf run at same speed 0.41
coreCapableOf handle a number of processes 0.32
coreCapableOf handle single task 0.29
coreCapableOf handle same tasks 0.26
coreCapableOf access datum 0.25
coreCapableOf execute instruction 0.25
coreCapableOf run at different vcore 0.25
coreCapableOf support hyper-threading technol… 0.25
coreCapableOf boost their overall power 0.20
coreCapableOf deal with 1 process 0.16
coreCapableOf work on two tasks 0.16
coreCapableOf run at lower frequency 0.10