Reduce number of states allowed for re-run (was taking too long in test4).