Assertion list
ghz (primary) → HasProperty
Results from Ascent++: 3
ghz → HasProperty → possible 0.45
ghz → HasProperty → faster 0.40
ghz → HasProperty → stable 0.25