Index of /~tptp/TPTP/Archive

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[DIR]BNFandSZSPreRelease/ 2004-11-19 09:36 -  
[DIR]TPTP-Beta/ 2004-04-26 18:02 -  
[DIR]TPTP-v1.0.0/ 2004-04-26 18:02 -  
[DIR]TPTP-v1.1.1/ 2004-04-26 18:02 -  
[DIR]TPTP-v1.1.2/ 2004-04-26 18:02 -  
[DIR]TPTP-v1.1.3/ 2004-04-26 18:02 -  
[DIR]TPTP-v1.2.0/ 2004-04-26 18:02 -  
[DIR]TPTP-v1.2.1/ 2004-04-26 18:02 -  
[DIR]TPTP-v2.0.0/ 2004-04-26 18:02 -  
[DIR]TPTP-v2.1.0/ 2004-04-26 18:02 -  
[DIR]TPTP-v2.2.0/ 2004-04-26 18:02 -  
[DIR]TPTP-v2.2.1/ 2004-04-26 18:02 -  
[DIR]TPTP-v2.3.0/ 2004-04-26 18:02 -  
[DIR]TPTP-v2.4.1/ 2004-04-26 18:03 -  
[DIR]TPTP-v2.5.0/ 2007-02-20 07:51 -  
[DIR]TPTP-v2.6.0/ 2004-08-15 10:29 -  
[DIR]TPTP-v2.7.0/ 2004-11-12 16:04 -  
[DIR]TPTP-v3.0.0/ 2005-02-14 12:36 -  
[DIR]TPTP-v3.0.1/ 2005-07-25 04:30 -  
[DIR]TPTP-v3.1.0/ 2005-12-13 13:10 -  
[DIR]TPTP-v3.1.1/ 2006-08-18 12:11 -  
[DIR]TPTP-v3.2.0/ 2007-07-17 01:36 -  
[DIR]TPTP-v3.3.0/ 2008-03-04 22:01 -  
[DIR]TPTP-v3.4.0/ 2008-03-31 11:14 -  
[DIR]TPTP-v3.4.1/ 2008-05-30 12:58 -  
[DIR]TPTP-v3.4.2/ 2008-08-13 05:44 -  
[DIR]TPTP-v3.5.0/ 2008-12-25 08:57 -  
[DIR]TPTP-v3.6.0/ 2009-03-08 12:41 -  
[DIR]TPTP-v3.7.0/ 2009-08-04 08:35 -  
[DIR]TPTP-v4.0.0/ 2010-09-30 11:32 -  
[DIR]TPTP-v4.0.1/ 2010-07-17 03:31 -  
[DIR]TPTP-v4.1.0/ 2010-11-09 07:56 -  
[DIR]TPTP-v5.0.0/ 2011-01-12 09:07 -  
[DIR]TPTP-v5.1.0/ 2015-07-21 13:19 -  
[DIR]TPTP-v5.2.0/ 2015-07-21 13:22 -  
[DIR]TPTP-v5.3.0/ 2015-07-21 13:29 -  
[DIR]TPTP-v5.4.0/ 2015-07-21 13:29 -  
[DIR]TPTP-v5.5.0/ 2015-07-21 13:29 -  
[DIR]TPTP-v6.0.0/ 2015-07-21 13:29 -  
[DIR]TPTP-v6.1.0/ 2015-08-04 11:02 -  
[DIR]TPTP-v6.2.0/ 2015-11-28 16:35 -  
[DIR]TPTP-v6.3.0/ 2016-06-29 09:38 -