Assertion list
dredge (primary) → HasProperty
Results from Ascent++: 3
dredge → HasProperty → the smallest 0.34
dredge → HasProperty → efficient 0.26
dredge → HasProperty → open 0.25