Nine-vertex 2-core conjecture for Steiner triple systems
Nine-vertex 2-core conjecture. Every sufficiently large Steiner triple system contains a 2-core on nine vertices.
MathDB