Ingalls–Kuznetsov equivalence conjecture for Artin–Mumford quartic double solids

Let $Y$ be a general Artin–Mumford quartic double solid, let $Y'$ be its blow-up at its $10$ singular points, and let $X$ be the Enriques surface associated to $Y$. Let ${\mathcal A}_{Y'}$ denote the residual category associated to $Y'$. Ingalls–Kuznetsov conjecture. There is an equivalence

$${\mathcal A}_{Y'}\cong\mathrm{D}^{\mathrm{b}}(X).$$

This conjecture proposes a categorical counterpart to the correspondence between general Artin–Mumford quartic double solids and their associated Enriques surfaces. It was proved by Hosono and Takagi.