dobrichev wrote:I would use such file for benchmarking and agree this is a good idea that makes sense.
On the other hand I wouldn't optimize a solver for this puzzle collection because
For me this is not a file for benchmarks, but more a (partial) collection of all classical rules that a solver must use.
Perfect for a first cleaning of a code prepared to "clone" serate, but a very good start for any solver.
Many "classical" rules are missing in serate. For example
The UR analysis is relatively limited,
Basis chains as sky scrapers, kites, ... are not clearly identified
and surely this is not a sample for exotic patterns,
but knowing the difficulty to build a sample file, it is a very good tool as start.
BTW, "optimizing a solver" has surely as many definitions as "rating a puzzle".