ミクロコスモス (将棋)
アルゴリズムが異なることにより、1997年の「脊尾詰」で解けたのが新しい思考エンジンでは解けなくなるという不思議な現象が起こる。「ミクロコスモス」は「脊尾詰」で解けたが、「脊尾弐」では解けなかったとされている。
柿木将棋では、VIで解けたのがVIIでは解けなくなった。後のIXでは再び解けるようになった。
やねうら王詰将棋ルーチンは理論上ではあらゆる詰将棋を解けるものの、3.5TBのメモリが必要になるという。