Fixed bugs in solution counting

Distributed version was not working.

Also, minor updates to n-queens benchmark.