Assertion list
turing machine (subgroup of machine ) → HasProperty
Results from Ascent++: 3
turing machine → HasProperty → equivalent 0.65
turing machine → HasProperty → universal 0.46
turing machine → HasProperty → used false bound 0.25