Ab-badingo one: Dfa learning competition