gsf wrote:dml wrote:And finally I found some grids that seems to hang with this setting

Then what program should be taken as reference , since it seems "gsf" can solve AL ESCARGOT and Explainer cannot.

I suppose Explainer miss a technique used by gsf and probably the opposite.

download the latest gsf solver andshould work on all of the hardest puzzles

- Code: Select all
`-q hardest`

if this solver hangs on any puzzle(s) please post the puzzle(s)

thanks

one exemple is:

060200001

900030000

000005700

300010600

700000050

002400009

001006002

000700003

050009000

I used as recommended -B -q'FNP(FNBTHWXY)V(9)-G' -f%Q

Is not it a valid way to evaluate hard sudokus?

As new in the list I expected to find a standard reference way to evaluate the sudokus.

I understand how this can be a hard problem but since many people work on that since quite a while I expected some consensus.

And logically an agreement on best program to evaluate, for me it can only be a command line program otherwise we cannot test extensively it with millions of sudokus, make statistics etc..

Is AL escargot the hardest sudoku in the world?

And why ? Just because Explainer does not find a logical solution?

Is your program exhaustif in term of know technics to solve the sudoku?

thanks