Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
The Termination Problems Data Base

The Termination Problems Data Base

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.

23/3/2005 Last modified: Mon May 3 09:49:47 CEST 2004