Assertion list
ct scan (subgroup of scan ) → HasProperty
Results from Ascent++: 3
ct scan → HasProperty → painless 0.49
ct scan → HasProperty → useful 0.38
ct scan → HasProperty → accurate 0.21