[Termination tools] Competition started

[Claude Marche]

Dear all,

The WST'2004 competition has started. You may find the current results
at

http://www.lri.fr/~marche/wst2004-competition/webform.cgi

Number of TRS pbs: 680
Number of SRS pbs: 104
Number of LP pbs : 190

The LP category is run first, then SRS, then TRS.

I set the time limit to 1 minute. May be you will find this too small,
sorry about that, but I need to be sure that the competition will
terminate (!) in reasonable time.

- Claude


-- 
| 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    |