there's a small section on perf in the paper (under implementation). the current implementation has poor asymptotic behavior when there are lots of reachable states. this is somewhat intrinsic to the approach. we've talked about various ideas for better behavior in a lot of common cases, but i think that ultimately for cases with more than a few hundred reachable states, a bespoke implementation may be the way to go