[Termtools] Timeouts and Updates of Tools

[Juergen Giesl]

Dear all,

here is some last-minute information concerning the timeouts and possible
updates of the tools for the termination competition.

As shown on the following web page, the different categories have been
organized in 4 groups
http://termination-portal.org/wiki/Termination_Competition_2016_Registration

   1. Termination of Rewriting (or Transition Systems)
   2. Complexity of Rewriting (or Transition Systems)
   3. Termination of Programs
   4. Complexity of Programs

The maximal runtime for each tool on each example in the groups 1 and 2
will be 30 seconds. The maximal runtime for each tool on each example in
the groups 3 and 4 will be 300 seconds.

In order to adapt the tools to the timeouts, the tools have the chance to
submit an update until Wednesday, August 31.

Best Regards
Juergen
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20160829/85ef562c/attachment.html>