Exhaustiveness Does Not Necessarily Mean Better: Selective Task Planning for Multi-robot Systems.