[Termtools] Full run on TPDB

[René Thiemann]

Dear all,

> the full run of recent termination tools on all problems of the TPDB is finished. 

and now also the post-processing is finished. One can access all results and download
the generated certification problems from http://termcomp.uibk.ac.at/.

Main result table: 
http://termcomp.uibk.ac.at/termcomp/competition/competitionSummary.seam?comp=260918

Generated CPFs: 
http://termcomp/status/downloads/cpfs-260918.tar.gz

Best regards,
Simon and René