Comment 6 for bug 1052213

No progress since then; I killed the process after a while and I'm pretty much convinced that the algorithm just takes too long (although I wonder why it takes so long when LAD can figure it out almost instantly). The only thing I worry about right now is whether it is possible for the algorithm to get stuck in an infinite loop where it traverses the same part of the search tree over and over again, and I'm afraid that putting in a counter won't help with that.