On some difficult linear programs coming from set partitioning