Verified integrity of phase one pruning data: -1939391245
Verified integrity of phase two pruning data: 1084146253
Solved 1000 sequences in 0.702089 seconds with 484518 probes.
Completed in 0.702104
如果要得到更短的解,则需要更多的时间作者: aubell 时间: 7 天前
解必须20步的状态,则比较慢
Solved 32625 sequences in 5261.28 seconds with 21046829056 probes.
Completed in 5261.28