2 problems

Locally valid-cut conjecture. The intersection of $\mathcal{R}_{\mathrm{shor}} \cap \mathcal{R}_{\mathrm{ksoc}}$ with the locally valid cuts captures $\mathcal{G}$.

Tightness conjecture. The intersection