[Termtools] mail test

[Cynthia Kop]

Dear all,

To clarify: my request to move the benchmarks to a different category is 
unrelated to the current competition. I would like to see them moved in 
the /next/ version of the TPDB.

Cynthia.

On 07/13/2018 06:52 PM, 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
>
> _______________________________________________
> DTermtools mailing list
> Termtools at lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20180713/21b34fb3/attachment-0001.html>