Texas(60%/20%/20% random splits)

GraphsIntroduced 2022-10-14