[Termtools] Termination Competition 2016: Call for Participation

[Johannes Waldmann]

On 08/18/2016 02:08 PM, Christian Sternagel wrote:

> http://www.termination-portal.org/wiki/Termination_and_Complexity_Competition_2016
>
> lists 30 seconds as timeout. Is this intentional or a typo?

That's intended.

Competition should run during a few hours
(morning to noon on Tuesday September 6)

The SC will determine actual timeouts and problem selection,
possibly depending on (meta) category, but this is still in the works.

(Not their fault - I need to do some  more tests
and computations and come up with a proposal.)

- Johannes.