[Termtools] Termination Competition 2014 - status of registrations

[Johannes Waldmann]

Dear all,


here is an overview of the registrations and pre-submissions so far:
http://nfa.imn.htwk-leipzig.de/termcomp-devel/registered

please check your info. you can still send solver/config pairs
(by email) if missing (yellow entries in the table).

(submission procedure, see
http://www.termination-portal.org/wiki/Termination_Competition_2014_Registration
)
(note also
http://starexec.forumotion.com/t97-no-recycling-for-things-that-are-still-referenced
)


I did some manual tests already (some authors asked me to),
and I will start automated tests (on random subsets) later this week.

For this I have exclusive access to Termination.q on starexec,
so if you want your solver tested, then pre-submit.

I will make available the test results
(probably linked from the above page).
This won't give a away the competitions's results
because I will make very limited (random) benchmark choices.

Note that solver/config ids are public (via the above page).
If you're worried about people "stealing" your solver,
then don't make it available for download.


- Johannes.