dobrichev wrote:I found this puzzle has nearly perfect balance in the templates survived after direct eliminations from the given pencilmarks.
That sounds like an interesting metric. Have you found that this balance is correlated with difficulty? If so it would be interesting to explore whether this can be used as a heuristic to aid in searching for difficult puzzles.
m_b_metcalf wrote:My solver finds the solution to tdillon's sukaku in 0.45s, but has never completed the proof of uniquness.
Perhaps your solver's heuristics are tuned for minlex presentation of puzzles?