Minimal classifying-space dimension conjecture for virtual Artin groups

Let $\Gamma$ be a Coxeter graph, and let $\mathfrak{cl}^f(\Gamma)$ denote the spherical clique number of $\Gamma$, namely the number of vertices in a maximal spherical clique. A cocompact model of classifying space for proper actions is a cocompact model for the classifying space for proper actions of a group. Minimal classifying-space dimension conjecture. The virtual Artin group $\mathrm{VA}[\Gamma]$ admits a cocompact model of classifying space for proper actions of dimension $\mathfrak{cl}^f(\Gamma)$. The conjecture proposes the analogue, for virtual Artin groups with torsion, of the minimal-dimensional Salvetti model expected for classical Artin groups; no general resolution is stated in the source.