Assertion list
shuffle (primary) → HasProperty
Results from Ascent++: 5
shuffle → HasProperty → small 0.58
shuffle → HasProperty → good 0.49
shuffle → HasProperty → perfect 0.27
shuffle → HasProperty → complete 0.25
shuffle → HasProperty → enough 0.25