[Termtools] mail test

[Makoto Hamana]

Please answer someone to this question.

Best Regards,
Makoto

On Sat, 14 July 2018 01:52:14 +0900, Makoto Hamana wrote:
| Dear All,
| 
| Before touching the problems on higher-order category,
| I have a question. My understanding of the case when
| a conflict happens, the incorrect one is just penalized by -10 points,
| as written in
| 
| http://termination-portal.org/wiki/Termination_Competition_2018
| ====================================================================
| For those problems where a correct answer is (partially) known, any contradictory answer will be penalized by -10 points.
| 
| For those categories devoted to prove only termination or non-termination, the score of a tool is the number of non-contradictory answers minus the given penalization (if any).
| ====================================================================
| 
| Is this my understanding correct?
| 
| Best Regards,
| Makoto