![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | FutureForEver.jpg | 2019-07-22 01:57 | 1.0M | |
![]() | Progress.jpg | 2019-07-22 00:52 | 1.0M | |
![]() | FutureModern.jpg | 2019-07-22 08:07 | 813K | |
![]() | Growth.jpg | 2019-07-18 02:22 | 585K | |
![]() | RatingsDecline.jpg | 2019-07-22 00:54 | 532K | |
![]() | RatingsDistribution.jpg | 2019-07-22 00:10 | 406K | |
![]() | Tools.jpg | 2014-11-26 09:42 | 228K | |
![]() | GoodNewDays.jpg | 2019-07-22 01:13 | 209K | |
![]() | Ratings.jpg | 2019-07-21 23:55 | 189K | |
![]() | ProblemSources.jpg | 2019-07-18 10:27 | 179K | |
![]() | GeoffAndChris.jpg | 2019-07-18 00:07 | 125K | |
![]() | FutureDeath.jpg | 2019-07-22 01:59 | 118K | |
![]() | Domains.jpg | 2019-07-18 22:13 | 92K | |
![]() | Future.jpg | 2019-07-22 01:53 | 84K | |
![]() | BadOldDays.jpg | 2019-07-17 23:07 | 72K | |
![]() | History.jpg | 2019-07-18 00:20 | 51K | |
![]() | Samples.jpg | 2019-07-18 09:04 | 45K | |
![]() | RedIndian.jpg | 2014-11-26 09:42 | 41K | |
![]() | 2X4X.GIF | 2014-11-26 09:42 | 37K | |
![]() | Statistics.jpg | 2019-07-18 09:15 | 37K | |
![]() | Axiomatizations.jpg | 2019-07-22 01:42 | 30K | |
![]() | Teepee.GIF | 2014-11-26 09:42 | 26K | |
![]() | Include.gif | 2014-11-26 09:42 | 20K | |
![]() | Tick.GIF | 2014-11-26 09:42 | 18K | |
![]() | ReleaseHistory.html | 2019-07-18 09:06 | 15K | |
![]() | Documents.jpg | 2019-07-21 22:25 | 12K | |
![]() | Axe.GIF | 2014-11-26 09:42 | 12K | |
![]() | Synopsis.html | 2024-07-04 11:49 | 5.8K | |
![]() | TPTPPL.png | 2024-05-14 14:03 | 5.1K | |
![]() | Statistics.html | 2019-07-22 00:02 | 4.5K | |
![]() | Domains.html | 2019-07-22 01:18 | 3.9K | |
![]() | tptp2X.html | 2014-11-26 09:42 | 3.1K | |
![]() | GoodNewDays.html | 2019-07-22 01:25 | 2.6K | |
![]() | SPCs.html | 2019-07-21 23:02 | 2.5K | |
![]() | Ratings.html | 2019-07-22 07:59 | 2.4K | |
![]() | SET817+4.p.html | 2018-06-04 02:49 | 2.3K | |
![]() | PAGLists.html | 2014-11-26 09:42 | 2.1K | |
![]() | Progress.html | 2019-07-22 07:59 | 2.0K | |
![]() | ToolSummary.html | 2014-11-26 09:42 | 2.0K | |
![]() | StatList.html | 2019-07-21 23:59 | 1.8K | |
![]() | Summary.html | 2024-06-19 07:12 | 1.8K | |
![]() | CNFHead.html | 2014-11-26 09:42 | 1.8K | |
![]() | FOFHead.html | 2014-11-26 09:42 | 1.6K | |
![]() | Future.html | 2019-07-22 08:10 | 1.5K | |
![]() | Inside.html | 2024-03-19 09:22 | 1.5K | |
![]() | Documents.html | 2019-07-21 22:55 | 1.5K | |
![]() | TPTPNX.html | 2014-11-26 09:42 | 1.5K | |
![]() | ProbAx.html | 2014-11-26 09:42 | 1.5K | |
![]() | History.html | 2019-07-18 00:21 | 1.4K | |
![]() | TPTPGet.html | 2024-03-19 09:22 | 1.4K | |
![]() | Contents.html | 2024-05-14 14:04 | 1.4K | |
![]() | RefDocs.html | 2014-11-26 09:42 | 1.3K | |
![]() | Formula.html | 2014-11-26 09:42 | 1.1K | |
![]() | SynoList.html | 2021-05-25 12:40 | 1.1K | |
![]() | Results.html | 2024-03-19 09:22 | 1.1K | |
![]() | Abstract.html | 2019-07-17 22:38 | 1.0K | |
![]() | Clauses.html | 2014-11-26 09:42 | 1.0K | |
![]() | TPTP.html | 2019-07-18 22:05 | 1.0K | |
![]() | BadOldDays.html | 2019-07-22 01:15 | 851 | |
![]() | ProblemSources.html | 2019-07-21 22:46 | 775 | |
![]() | Samples.html | 2019-07-18 09:04 | 767 | |
![]() | tptp1T.html | 2014-11-26 09:42 | 754 | |
![]() | Axiomatizations.html | 2019-07-22 01:42 | 684 | |
![]() | Include.html | 2014-11-26 09:42 | 625 | |
![]() | Growth.html | 2019-07-18 09:11 | 616 | |
![]() | ProgressJPG.html | 2019-07-22 01:03 | 320 | |
![]() | GrowthJPG.html | 2019-07-22 02:45 | 287 | |
![]() | TPTPFiles/ | 2019-08-30 11:48 | - | |
![]() | TPTPBabies/ | 2019-08-30 11:48 | - | |
![]() | Quotes/ | 2014-11-26 09:42 | - | |
![]() | Documents/ | 2024-03-19 09:23 | - | |