Parallel Best-First Search: The Role of Abstraction