[Termtools] Medals in TermComp 2018

[Akihisa Yamada]

Dear all,

In this year's TermComp, a medal will be awarded to each of the  
following three meta-categories:

- Termination of Rewriting (purely syntactic systems)
   TRSs, SRSs, HRS, Cycles

- Termination of Programs (and integer systems)
   C, Integer C, ITSs, ITRS

- Complexity Analysis
   TRSs, Integer C

The ranking scheme is the same as that in TermComp 2014: in short, a  
tool is ranked according to the number of competitors it outperformed.

By the way the current registration status can be checked at
http://group-mmm.org/termination/registered/Y2018.

Best regards,
Akihisa