Evaluating Performance of Automaton University Checking Algorithms