champagne wrote:Just to compare, It seems to me that the proof that no 16 exists took about 3 second per solution grid, which is
5472730538*3 /3600 /24 /365= 521 core.years.
I refreshed that value.
In Gary McGuire's article, it is writtencomputation actually took only about 800 processor-years
What is missing is the processor speed.
So the average run time per grid seems to be between 4 and 5 seconds using a processor likely in the range 3-4 Ghz.
Blue tried to extend the Gary McGuire process to the search of 17 clue puzzles. In a pm, he announced an average 20 seconds per solution grid, which seems very low compared to the above data for the proof that no 16 exists.