Overall THF Statistics
----------------------
Domains                    10
Abstract problems         852
Problems                 1275
Problems with equality    179 (14%)
Theorem/Unsatisfiable     209 (16%)
CounterSat/Satisfiable      4 ( 0%)

Error in number of file lines

The TPTP Domain Structure
-------------------------
The domain structure of the TPTP is depicted below,  with counts of the numbers
of FOF  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     0 /    0
 |                 |-- Logic Calculi                    LCL    61 /   61
 |                 |-- Henkin Models                    HEN     0 /    0
 |
 |-- Mathematics --|-- Set Theory                       SET    44 /   44
 |                 |-- Set Theory Continued             SEU   378 /  705
 |                 |-- Graph Theory                     GRA    48 /   93
 |                 |-- Algebra --|-- Boolean Algebra    BOO     0 /    0
 |                 |             |-- Robbins Algebra    ROB     0 /    0
 |                 |             |-- Left Distributive  LDA     0 /    0
 |                 |             |-- Lattices           LAT     0 /    0
 |                 |             |-- Groups             GRP     0 /    0
 |                 |             |-- Rings              RNG     0 /    0
 |                 |             |-- Fields             FLD     0 /    0
 |                 |             |-- Homological Alg    HAL     0 /    0
 |                 |             |-- General Algebra    ALG    23 /   50
 |                 |-- Number Theory                    NUM   217 /  221
 |                 |-- Topology                         TOP     0 /    0
 |                 |-- Analysis                         ANA     0 /    0
 |                 |-- Geometry                         GEO     0 /    0
 |                 |-- Category Theory                  CAT     0 /    0
 |
 |-- Computer -----|-- Computing Theory                 COM     0 /    0
 |   Science       |-- Knowledge Representation         KRS     0 /    0
 |                 |-- Natural Language Processing      NLP     0 /    0
 |                 |-- Planning                         PLA     0 /    0
 |                 |-- Agents                           AGT     0 /    0
 |                 |-- Commonsense Reasoning            CSR     0 /    0
 |                 |-- Software Creation                SWC     0 /    0
 |                 |-- Software Verification            SWV    23 /   37
 |
 |-- Science and --|-- Hardware Creation                HWC     0 /    0
 |   Engineering   |-- Hardware Verification            HWV     0 /    0
 |                 |-- Medicine                         MED     0 /    0
 |
 |-- Social -------|-- Management                       MGT     0 /    0
 |   Sciences
 |
 |-- Other --------|-- Syntactic                        SYN    17 /   21
                   |-- Syntactic Continued              SYO    38 /   38
                   |-- Puzzles                          PUZ     3 /    5
                   |-- Miscellaneous                    MSC     0 /    0
