[Termtools] Termination competition 2011 started

[René Thiemann]

Dear all,

this years international termination competition has started with 17 tools participating in 24 categories.

On the first problem there is a draw between Wanda and Thor, so it will be close. However, there are around 7500 
more problems to solve.

Everything can be viewed live, just visit 

http://termcomp.uibk.ac.at/

and click on the "Live View"

Enjoy and good luck to every participant,
René
-- 
René Thiemann                    mailto:rene.thiemann at uibk.ac.at
Computational Logic Group        http://cl-informatik.uibk.ac.at/~thiemann/
Institute of Computer Science    phone: +43 512 507-6434
University of Innsbruck