[Termtools] termcomp 2016 solver submissions

[Johannes Waldmann]

Dear competitors,

the deadline for registration of solvers is approaching.
If you intend to participate, please do submit!
You can submit a preliminary version, and update later.

Please follow these instructions:
http://www.termination-portal.org/wiki/Termination_Competition_2016_Registration

Please adhere to the (machine-readable) format.
If you already submitted in some other form,
please re-format and send again. Until you do,
the status page shows your old configuration (if there is one).

Best regards, Johannes.