splay, bruce_force