Overall Statistics
------------------                         THF           FOF           CNF
Domains                     36       :    10 (27%) +    26 (72%) +    30 (83%)
Abstract problems         7940       :   852 (10%) +  3481 (43%) +  4825 (60%)
Problems                 12674       :  1275 (10%) +  5051 (39%) +  6348 (50%)
Problems with equality    8448 (66%) :   179 (14%) +  4096 (81%) +  4173 (65%)
Pure equality problems    1515 (11%) :     0 ( 0%) +   211 ( 4%) +  1304 (20%)
Theorem/Unsatisfiable     9204 (72%) :   209 (16%) +  4394 (86%) +  4601 (72%)
CounterSat/Satisfiable    1341 (10%) :     4 ( 0%) +   512 (10%) +   825 (12%)

The TPTP Domain Structure
-------------------------
The domain structure of the TPTP is depicted below,  with counts of the numbers
of problems and  versions in each domain.  The prefixes  name subdirectories in 
the Problems directory, and prefix the problem names in that directory.

                                                     Domain  # Problems
     Field             Subfield                      Prefix  Abst / Vers
 -----------------------------------------------------------------------

 |-- Logic --------|-- Combinatory Logic                COL   121 /  239
 |                 |-- Logic Calculi                    LCL   637 /  763
 |                 |-- Henkin Models                    HEN    13 /   67
 |
 |-- Mathematics --|-- Set Theory                       SET   967 / 1312
 |                 |-- Set Theory Continued             SEU   811 / 1611
 |                 |-- Graph Theory                     GRA    74 /  126
 |                 |-- Algebra --|-- Boolean Algebra    BOO   105 /  140
 |                 |             |-- Robbins Algebra    ROB    31 /   40
 |                 |             |-- Left Distributive  LDA    14 /   23
 |                 |             |-- Lattices           LAT   380 /  707
 |                 |             |-- Groups             GRP   653 /  941
 |                 |             |-- Rings              RNG    42 /  104
 |                 |             |-- Fields             FLD    99 /  279
 |                 |             |-- Homological Alg    HAL     6 /    9
 |                 |             |-- General Algebra    ALG   257 /  350
 |                 |-- Number Theory                    NUM   619 /  672
 |                 |-- Topology                         TOP    48 /  131
 |                 |-- Analysis                         ANA    42 /   91
 |                 |-- Geometry                         GEO   263 /  489
 |                 |-- Category Theory                  CAT    37 /  130
 |
 |-- Computer -----|-- Computing Theory                 COM    11 /   21
 |   Science       |-- Knowledge Representation         KRS   175 /  175
 |                 |-- Natural Language Processing      NLP   258 /  516
 |                 |-- Planning                         PLA    31 /   46
 |                 |-- Agents                           AGT    26 /   52
 |                 |-- Commonsense Reasoning            CSR   111 /  442
 |                 |-- Software Creation                SWC   423 /  846
 |                 |-- Software Verification            SWV   446 /  667
 |
 |-- Science and --|-- Hardware Creation                HWC     4 /    6
 |   Engineering   |-- Hardware Verification            HWV    38 /   83
 |                 |-- Medicine                         MED    10 /   10
 |
 |-- Social -------|-- Management                       MGT    66 /  156
 |   Sciences
 |
 |-- Other --------|-- Syntactic                        SYN   985 / 1233
                   |-- Syntactic Continued              SYO    38 /   38
                   |-- Puzzles                          PUZ    83 /  131
                   |-- Miscellaneous                    MSC    16 /   28
