Assertion list
processor (aspect of cpu ) → HasA
Results from Ascent++: 2
processor → HasA → 2-12 cores 0.43
processor → HasA → multiple cores 0.36