Asynch departition is not slow anymore, but we have to find a good
heuristic to make sure it does not split the state space as fast.