BestSearch now terminates