[Termtools] Competition rerun finished

[René Thiemann]

Dear all,

after the official end of this years termination competition, now also the reruns of buggy tools has been finished.
The detailed results are available at termcomp. Here, one can also download an archive of all certificates that 
have been generated by non-buggy tools during the competition.

Thanks again to all participants.
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