There is this new project that does not apear here yet.
http://evil.podzone.org/decs/
However i do not know it it exports stats yet adn if the admin of the site is ok with it being added.
################################
The Generic Distributed Exact Cover Solver (DECS) project uses Internet-connected computers to solve exact cover problems. Exact cover is a general type of problem which can be used to solve problems including, but not limited to, n-queens, Latin Square puzzles, Sudoku, polyomino tiling, set packing and set partitioning. A modified version of Donald Knuth's Dancing Links algorithm is used. You can participate by downloading and running a free program on your computer.
DECS was developed by Jan Magne Tjensvold at the University of Stavanger. DECS is an open source project and the source code is released under the GNU General Public Licence version 2. The source code accessible from a Subversion repository which is available from the project web site at Google Code.
The project is currently in alpha stage so expect some complications.