We classified in arXiv:2201.04152 certain 10d supergravity solutions with a
4d de Sitter, Minkowski or anti-de Sitter spacetime. We then found new
solutions in previously unexplored classes. In this paper we study their
properties, compare them to swampland conjectures, and make new observations.
Using new numerical tools, we first identify all Lie algebras underlying the
6d group manifolds, allowing us to discuss their compactness. We then
investigate scale separation, and prove related no-go theorems. Last but not
least, we automatize and analyze the stability of all solutions. This leads us
to propose the Massless Minkowski Conjecture, claiming the systematic presence
of a 4d massless scalar field.
