Assertion list
new method (subgroup of method ) → HasProperty
Results from Ascent++: 24
new method → HasProperty → useful 0.46
new method → HasProperty → applicable 0.45
new method → HasProperty → effective 0.35
new method → HasProperty → simple 0.32
new method → HasProperty → simpler 0.30
new method → HasProperty → efficient 0.29
new method → HasProperty → possible 0.29
new method → HasProperty → equivalent 0.28
new method → HasProperty → specific 0.28
new method → HasProperty → interesting 0.27
new method → HasProperty → robust 0.27
new method → HasProperty → fast 0.26
new method → HasProperty → helpful 0.26
new method → HasProperty → more sensitive 0.25
new method → HasProperty → accurate 0.24
new method → HasProperty → superior 0.24
new method → HasProperty → faster 0.19
new method → HasProperty → inexpensive 0.19
new method → HasProperty → safe 0.19
new method → HasProperty → successful 0.19
new method → HasProperty → competitive 0.16
new method → HasProperty → free 0.16
new method → HasProperty → reliable 0.16
new method → HasProperty → valid 0.16