I think it's time for me to stop working on the resolver code and get back to other stuff. It's not quite where I'd ideally like it to be, but it's a lot faster than it was on large problems. Maybe in the next round I can experiment with more ways of trimming down the search tree again. Daniel