The F-conjecture for the nef cone of the moduli space of stable pointed curves

Let $\overline{\operatorname{M}}_{0,\operatorname{n}}$ be the moduli space of stable $n$-pointed genus-zero curves. An F-conjecture. A divisor $D$ on $\overline{\operatorname{M}}_{0,\operatorname{n}}$ is nef if and only if it non-negatively intersects all F-curves, namely the one-dimensional boundary strata obtained from partitions of the markings into four nonempty subsets. This conjecture would give a complete numerical criterion for nefness on $\overline{\operatorname{M}}_{0,\operatorname{n}}$ and is part of the broader study of the cone of curves of this moduli space. Its resolution is not indicated in the supplied text.