Brief Announcement: Round eliminator: a tool for automatic speedup simulation