Use hashed execution splay for all scheduling