It's designed to be, but it isn't necessarily, as it uses the size of the remaining solution set as a heuristic for how many guesses are needed to split it. The

It's designed to be, but it isn't necessarily, as it uses the size of the remaining solution set as a heuristic for how many guesses are needed to split it. There are better, more exhaustive searches of the solution space now.