Stefán's circular-flow infimum conjecture for odd-regular class 2 graphs

Let $t$ be a positive integer, and let $\Phi^{(2)}(2t+1)$ denote the infimum of $\phi_c(G)$ over all $(2t+1)$-regular class $2$ graphs $G$, where $\phi_c(G)$ is the circular flow number.

Stefán's circular-flow infimum conjecture.

$$\Phi^{(2)}(2t+1)=2+\frac{2}{2t-1}.$$

The source explicitly states that this conjecture is proved in the paper, so the claim is resolved.