Overall Statistics
------------------
Number of domains                      33
Number of abstract problems          5609
Number of generic problems             87
Number of problems                   8013       : 7943 NP (99%) +   70 Pr ( 0%)
Number of problems with equality     5483 (68%)
Number of pure equality problems     1484 (18%)
Number of standard problems          4535 (56%) : 4533 NP (56%) +    2 Pr ( 0%)

 
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    # of Problems
     Field             Subfield                      Prefix  Abst / Vers / Gen
 -----------------------------------------------------------------------------

 |-- Logic --------|-- Combinatory Logic                COL    97 /  193 /   0
 |                 |-- Logic Calculi                    LCL   426 /  531 /   0
 |                 |-- Henkin Models                    HEN    13 /   67 /   0
 |
 |-- Mathematics --|-- Set Theory                       SET   776 / 1030 /   0
 |                 |-- Graph Theory                     GRA    12 /   19 /   0
 |                 |-- Algebra --|-- Boolean Algebra    BOO   104 /  139 /   0
 |                 |             |-- Robbins Algebra    ROB    31 /   40 /   0
 |                 |             |-- Left Distributive  LDA    14 /   23 /   0
 |                 |             |-- Lattices           LAT   257 /  264 /   0
 |                 |             |-- Groups             GRP   617 /  797 /  50
 |                 |             |-- Rings              RNG    42 /  104 /   0
 |                 |             |-- Fields             FLD    99 /  279 /   0
 |                 |             |-- General Algebra    ALG   211 /  214 /   0
 |                 |             |-- Homological Alg    HAL     6 /    9 /   0
 |                 |-- Number Theory                    NUM   373 /  399 /   2
 |                 |-- Topology                         TOP    22 /   27 /   0
 |                 |-- Analysis                         ANA     6 /   21 /   0
 |                 |-- Geometry                         GEO   162 /  330 /   0
 |                 |-- Category Theory                  CAT    20 /   62 /   0
 |
 |-- Computer -----|-- Computing Theory                 COM     6 /   11 /   0
 |   Science       |-- Knowledge Representation Schemes KRS   175 /  175 /   0
 |                 |-- Natural Language Processing      NLP   258 /  516 /   0
 |                 |-- Planning                         PLA    30 /   38 /   0
 |                 |-- Agents                           AGT    26 /   52 /   0
 |                 |-- Commonsense Reasoning            CSR    24 /   29 /   0
 |                 |-- Software Creation                SWC   423 /  846 /   0
 |                 |-- Software Verification            SWV   232 /  241 /   0
 |
 |-- Engineering --|-- Hardware Creation                HWC     4 /    6 /   0
 |                 |-- Hardware Verification            HWV    38 /   83 /   0
 |
 |-- Social -------|-- Management                       MGT    66 /  156 /   0
 |   Sciences
 |
 |-- Other --------|-- Syntactic                        SYN   968 / 1208 /  28
                   |-- Puzzles                          PUZ    61 /   89 /   4
                   |-- Miscellaneous                    MSC    10 /   15 /   3
