adding strategyproof in the large (SPITL) version of tabu search all optimal sizes