[Termtools] Upcoming competition

[Rene Thiemann]

Hi,

Johannes wrote about color-workshop
> 2) count YES and/or NO: generally, the idea of summing both counts
> (to determine the overall winner) was favoured.
> It was the impression that this was the original intention,
> but it had been neglected in last year's report.
>

COMMENT of Hans:
>
> I am not aware of this. We call it a termination competition, so
> obviously the results on termination proofs should be counted. Apart
> from that it was decided from the beginning in 2004 also to count 'NO'
> results. Adding 'YES' and 'NO' results, and present this as a final
> result, would be something new.
> As I said, I am not aware that this ever was an intention. In any case,
> changing this so short before the deadline should not be done.


I do not see like Hans that this is something new. Here is the corresponding 
paragraph from the termination competition website:

------SNIP---------
...
The answer must start by either YES or NO, meaning that the given rewrite 
system is terminating (respectively, not terminating) under the STRATEGY 
given in the input file.
...

On the web page a score table will be presented for each category, by giving 
one point for each (correct) answer.
------SNAP----------

So, from the above text I cannot see that YES and NO answers are something 
different and that YES and NO answers should be counted separately.

Thus, if YES and NO's are counted separately, then this should be clearly 
stated somewhere in the rules.

Best regards,
Rene
-- 
René Thiemann         mailto:thiemann at informatik.rwth-aachen.de
LuFG Informatik II    http://www-i2.informatik.rwth-aachen.de/thiemann
RWTH Aachen           phone: +49 241 80-21241