[Termination tools] qualifying for competition, entrance fee?

[Johannes Waldmann]

Dear Claude,

Does the name "tpdb/qualif" imply that a tool
has to give correct answers on these problems
to qualify for competition? Or just no incorrect answer?

I am asking because in tpdb/qualif/*
you also have some TRSs with AC theory,
and our tool can't handle that (it will say UNKNOWN).

Of course if qualification problems are known before,
we can easily "solve" them by "pattern matching",
but that's certainly not the intention.


Oh, and by the way, could you please inform this list
if you make any changes on the competition web site
(like, publish results of test runs -
there were some, but now they seem to have disappeared.)


I guess that we (participants) are interested in test runs,
but you (as organizer) want to keep that to a minimum
(since it takes your time). I propose you collect a fee
(more or less "platonic", say 1 .. 5 EUR) for each run
(that you perform in response to a participant's request -
of course entering the competition implies at least one such run)
and that would later be the prize money.
(And you may keep some of it, to account for your expenses).

I think a (low) entrance fee to cover expenses and some prize money
is the usual procedure with any self-organized, small-scale tournament
(like, in Chess or Go), and it would be a nice gesture towards Claude.
So I invite the other tool authors to participate.


Best regards,
-- 
-- Johannes Waldmann,  Tel/Fax: (0341) 3076 6479 / 6480 --
------ http://www.imn.htwk-leipzig.de/~waldmann/ ---------