Index of /~tptp/TPTP/Archive

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]BNFandSZSPreRelease.tgz2017-08-08 10:29 8.6K 
[   ]TPTP-Beta.tgz 2017-08-08 10:29 9.1K 
[   ]TPTP-v1.0.0.tgz 2017-08-08 10:29 1.0M 
[   ]TPTP-v1.1.1.tgz 2017-08-08 10:29 1.2M 
[   ]TPTP-v1.1.2.tgz 2017-08-08 10:29 919K 
[   ]TPTP-v1.1.3.tgz 2017-08-08 10:29 1.2M 
[   ]TPTP-v1.2.0.tgz 2017-08-08 10:29 1.1M 
[   ]TPTP-v1.2.1.tgz 2017-08-08 10:29 1.1M 
[   ]TPTP-v2.0.0.tgz 2017-08-08 10:29 911K 
[   ]TPTP-v2.1.0.tgz 2017-08-08 10:29 1.6M 
[   ]TPTP-v2.2.0.tgz 2017-08-08 10:29 1.7M 
[   ]TPTP-v2.2.1.tgz 2017-08-08 10:29 1.7M 
[   ]TPTP-v2.3.0.tgz 2017-08-08 10:29 1.6M 
[   ]TPTP-v2.4.1.tgz 2017-08-08 10:29 2.6M 
[   ]TPTP-v2.5.0.tgz 2017-08-08 10:29 176K 
[   ]TPTP-v2.6.0.tgz 2017-08-08 10:29 6.7M 
[   ]TPTP-v2.7.0.tgz 2017-08-08 10:29 7.4M 
[   ]TPTP-v3.0.0.tgz 2017-08-08 10:29 6.5M 
[   ]TPTP-v3.0.1.tgz 2017-08-08 10:29 6.5M 
[   ]TPTP-v3.1.0.tgz 2017-08-08 10:29 6.1M 
[   ]TPTP-v3.1.1.tgz 2017-08-08 10:29 6.1M 
[   ]TPTP-v3.2.0.tgz 2017-08-08 10:29 6.4M 
[   ]TPTP-v3.3.0.tgz 2017-08-08 10:29 8.7M 
[   ]TPTP-v3.4.0.tgz 2017-08-08 10:29 124M 
[   ]TPTP-v3.4.1.tgz 2017-08-08 10:29 125M 
[   ]TPTP-v3.4.2.tgz 2017-08-08 10:29 124M 
[   ]TPTP-v3.5.0.tgz 2017-08-08 10:29 125M 
[   ]TPTP-v3.6.0.tgz 2017-08-08 10:29 125M 
[   ]TPTP-v3.7.0.tgz 2017-08-08 10:30 127M 
[   ]TPTP-v4.0.0.tgz 2017-08-08 10:30 157M 
[   ]TPTP-v4.0.1.tgz 2017-08-08 10:30 158M 
[   ]TPTP-v4.1.0.tgz 2017-08-08 10:30 170M 
[   ]TPTP-v5.0.0.tgz 2017-08-08 10:30 170M 
[   ]TPTP-v5.1.0.tgz 2017-08-08 10:30 170M 
[   ]TPTP-v5.2.0.tgz 2017-08-08 10:31 191M 
[   ]TPTP-v5.3.0.tgz 2017-08-08 10:31 201M 
[   ]TPTP-v5.4.0.tgz 2017-08-08 10:31 199M 
[   ]TPTP-v5.5.0.tgz 2017-08-08 10:31 225M 
[   ]TPTP-v6.0.0.tgz 2017-08-08 10:31 228M 
[   ]TPTP-v6.1.0.tgz 2017-08-08 10:32 450M 
[   ]TPTP-v6.2.0.tgz 2017-08-08 10:32 450M 
[   ]TPTP-v6.3.0.tgz 2017-08-08 10:33 450M 
[   ]TPTP-v6.4.0.tgz 2017-08-08 10:35 536M