[Termination tools] announcement termination competition

[H. Zantema]

On Tue, 15 Feb 2005, Aart Middeldorp wrote:

> I propose in addition to have a very short time limit
> (e.g. 1 second), in order to stimulate the quest for
> fast implementations of basic techniques as well as the
> development of efficient automatic strategies. With only
> a one minute time limit, it is very tempting to incorporate
> as many techniques as possible into one system. 

We plan to generate the same information on the result web page
as last year, including computation time. So any one interested 
in the number of systems that could be solved within one second
for each of the tools, can easily filter out this information
from the result page. I am in favor of adding some more statistics
on the result page than only the total number of systems that have been
solved, and consider the number of systems solved within one second
as a candidate. I will discuss this with Claude.

> For the
> same reasons I think it make sense to keep systems in the
> competition that were solved by all systems last year; the
> difference in the employed techniques by the participating
> systems is interesting as is any time difference between
> different implementations of the same technique.

I am in favor of keeping the `easy' systems, both for comparing 
computation time and as a fruitful test-case for new tools. 
Since most tools will deal with these systems fast, they will hardly
influence the total required computation time.

		Best regards, Hans Zantema.

+--------------------------------------+-----------------------------+
|                                      |                             |
|   Dr Hans Zantema                    |   Hoofdgebouw   kamer 6.73  |
|   Faculteit Wiskunde en Informatica  |   tel (040)2472749          |
|   Technische Universiteit Eindhoven  |   fax (040)2468508          |
|   Postbus 513     5600 MB Eindhoven  |   e-mail  H.Zantema at tue.nl  |
|   The Netherlands                    |   www.win.tue.nl/~hzantema  |
|                                      |                             |
+--------------------------------------+-----------------------------+