[Termination tools] Re: competition

[Claude Marche]

Message below resent because was originally too long. The slides in
attachement may be found on the web page

http://www.lri.fr/~marche/termination-competition/2005/

>>>>> "H" == H Zantema <hzantema at win.tue.nl> writes:

    H> Dear all,
    H> The competition is over now, and I hope that just like me you look 
    H> back to a great event. At RTA I presented the results (this took some
    H> more time than the ten minutes in the schedule; I hope I did not 
    H> upset the audience too much). Attached you may find the powerpoint
    H> presentation I used; including tables summarizing the results.

    H> On Wed, 20 Apr 2005, Johannes Waldmann wrote:
    >> I am currently running an enumeration of "small but hard" TRSs
    >> and apply some of the termination provers (Aprove, Teparla, TTT, 
    >> Matchbox): http://dfa.imn.htwk-leipzig.de/~waldmann/running/

    H> Great!

    >> The nice thing is that for everyone, there's something in it :-)
    >> e. g. for each each tool T there are some TRSs
    >> that can only be handled by T.
    H> It turned out that (due to high teaching duties) Aart and Nao did not 
    H> construct examples for which TTT outperforms the other tools; now you did 
    H> this for them.

    H> Unfortunately you did not cover CiME and TPA; for a full analysis it would
    H> be nice also to apply these tools on these systems. By the way, in the mean
    H> time by repairing some bugs the total TRS score for TPA has improved to 425 
    H> (instead of 407 in the competition).

    H> An interesting issue is when to do the next competition. As a default we
    H> chose to do this just before WST / RTA. However, next year this will be
    H> in August, which would mean that running the competition and the deadlines
    H> for submitting tools and termination problems all would be in the middle
    H> of summer. I think that Spring is a better period for this, just like we 
    H> did last year and this year. What do you think?

    H> Best regards,

    H> 		Hans Zantema.

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

-- 
| Claude Marché           | mailto:Claude.Marche at lri.fr |
| LRI - Bât. 490          | http://www.lri.fr/~marche/  |
| Université de Paris-Sud | phoneto: +33 1 69 15 64 85  |
| F-91405 ORSAY Cedex     | faxto: +33 1 69 15 65 86    |