Assertion list
gridlock (primary) → HasProperty
Results from Ascent++: 2
gridlock → HasProperty → good 0.59
gridlock → HasProperty → bad 0.16