[Event at CIG] TPTP v8.2.0 released

geoff at tptp.org geoff at tptp.org
Mon Jul 3 08:22:41 CEST 2023


================================================================================

                   The TPTP Problem Library, Release v8.2.0
                   ----------------------------------------

                                Geoff Sutcliffe
                                geoff at tptp.org

The TPTP  (Thousands  of Problems  for Theorem  Provers)  Problem Library  is a
library  of  test problems for  automated theorem proving  (ATP)  systems.  The 
principal motivation for the TPTP  is to support the testing and evaluation  of 
ATP systems,  to help ensure that  performance results  accurately reflect  the
capabilities of the ATP system being considered. 

TPTP v8.2.0 is now available at:
    http://www.tptp.org
The TPTP-v8.2.0.tgz file  contains the  library,  including utilities and basic
documentation. Full documentation is online at:
    http://www.tptp.org/TPTP/TR/TPTPTR.shtml

========================== What's New in TPTP v8.2.0 ==========================
Changes from v8.1.2 to v8.2.0 for THF problems
   2823 ratings changed

Changes from v8.1.2 to v8.2.0 for TFF problems
      9 new abstract problems
    218 new problems
   1013 ratings changed

Changes from v8.1.2 to v8.2.0 for FOF problems
   4370 ratings changed

Changes from v8.1.2 to v8.2.0 for CNF problems
   4158 ratings changed

+ In SyntaxBNF:
  - Separated <ntf_connective> into <nhf_connective> and <nxf_connective>.
  - <nhf_key_pair> defined as <thf_definition>, and similarly <nxf_key_pair>
    defined as <txf_definition>.
  - Removed nhf_connective and <nxf_connective>, added <ntf_short_connective>
    as a unary connective.
================================================================================


More information about the IFI-CI-Event mailing list