Assertion list
state solution (subgroup of solution ) → HasProperty
Results from Ascent++: 2
state solution → HasProperty → possible 0.68
state solution → HasProperty → critical 0.25