Index of /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 
[   ]TPTP-v7.0.0.tgz 2017-08-08 08:26 552M 
[   ]TPTP-v7.1.0.tgz 2018-03-07 10:17 553M 
[   ]TPTP-v7.2.0.tgz 2018-07-13 01:18 553M 
[   ]TPTP-v7.3.0.tgz 2019-10-22 10:49 560M 
[   ]TPTP-v7.4.0.tgz 2020-07-08 15:26 581M 
[   ]TPTP-v7.5.0.tgz 2021-07-13 13:26 589M 
[   ]TPTP-v8.0.0.tgz 2022-04-25 09:43 807M 
[   ]TPTP-v8.1.0.tgz 2022-08-09 04:25 864M 
[   ]TPTP-v8.1.1.tgz 2022-10-13 20:36 865M 
[   ]TPTP-v8.1.2.tgz 2022-10-17 15:07 865M