Including results for automation design.
Do you want results only for Automaton Design?