Assertion list
decision problem (subgroup of problem ) → HasProperty
Results from Ascent++: 2
decision problem → HasProperty → solvable 0.41
decision problem → HasProperty → np-complete 0.35