On 24/11/2015 12:41, Graham John wrote: > In completing the Full Monty search, SMC32 generates 232207.81 million > nodes at an average rate of 64 million per second. That's impressive, although as I don't have a copy of SMC32 I don't fully understand what happens at each generation step. -- Alan Burlison --