Wolfgang wrote:I noticed big differences in the time i needed for solving (especially invalid) sudokus. Maybe this could be a reason.
I'm glad others have noticed it too. In case anyone is interested, here are the grids. This grid
169583427428176935357492186746238519582619743931754268815327694673941852294865371
has MCN=11 and took about 5-6 hours to search exhaustively for a 17, using checker. None found. This is faster than some grids with MCN=12.
This grid
679213485248957613513846927391568274486732159725194368834625791152379846967481532
also has MCN=11 but took about 10 times longer to search exhaustively for a 17.
If you search both for a 16 you will see a similar difference, but the times are smaller of course. I have no idea why there is such a difference in the running time. Suggestions are very welcome. Source code is there for anyone interested in looking at it. I would also be interested in hearing about other weirdness that has been observed with checker, examples of grids done, anything at all.