Assertion list
annealing (primary) → HasProperty
Results from Ascent++: 2
annealing → HasProperty → possible 0.39
annealing → HasProperty → necessary 0.38