Davila–Henning zero-forcing conjecture for cubic graphs and total domination

Let $G$ be a connected cubic graph other than $K_4$. Let $Z(G)$ be its zero forcing number and let $\gamma_t(G)$ be its total domination number.

Davila–Henning zero-forcing conjecture.

$$Z(G)\leq\frac{3}{2}\gamma_t(G),$$

and this bound is sharp.

The source states that this conjecture was verified by Davila and Henning.