ctimers => fixed bug, at some points, we were using set instead of multiset