Dear all, thank you very much for active participation! The final competition result is here: http://group-mmm.org/termination/competitions/Y2019/ I will be starting the demonstration categories (one by one). Best, Akihisa