KRHyper Main Page

KRHyper Performance Evaluation

• Application extract: transitive closure over a 10k fact base
• TPTP Summary
• TPTP 2.5.0 - CASC-18 (update: 2.4.2003)
• TPTP 2.5.0 - All Horn problems without equality (7.4.03)
• TPTP 2.5.0 - All non-Horn problems without Equality (11.4.2003)