Results of the Abbadingo One DFA Learning Competition and a New Evidence-Driven State Merging Algorithm.