The Termination Problems Data Base

• NEW The database 4.0 as a single tar file (May 24th 2007)
• The database 3.2 as a single tar file (June 12th 2006)
• The database 3.1 as a single tar file (May 24th 2006)
• Browse the database version 2.0 (May 23th 2005)
• The database 2.0 as a single tar file
• The Format of the files
• You may also access to the 2003 version.