The test suite generation problem: Optimal instances and their implications