Hi Christopher. I wonder if you've noticed the following behavior: The SAT solver is ticking along at a normal pace, finding more and more results, maybe in parallel, maybe not. After finding all results to a particular problem, it hangs for a noticeable amount of time trying to find more solutions that don't exist. This may have just happened to me again on another calculation about Cellular Automata. I don't know if it's a bug, or is it just an unavoidable consequence of SAT difficulty? Is it more difficult to show that no additional solutions exist than to find one that does? Any thoughts? --Brad