23日のエントリで書いた通り、「24パズル」をBurr Toolsという、ソルバを使って26時間かけて解いたところですが、 同じソルバを使って8.6分で解いたと言う知らせをいただきました（ここでの「解く」とは全部の解を数え上げるという意味）。 CPUの違いは無視…