Experimental Results

A significant part of the work on automated deduction is of an experimental nature.  I support attempts to make experimental data available as much as possible. Hence, here I link to data repositories supporting some of our publications.

1. •Supporting data for Fingerprint Indexing for Paramodulation and Rewriting
   

2. •Supporting data for  A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae
   

3. •Supporting data for Simple and Efficient Clause Subsumption with Feature Vector Indexing (2004)
   

4. •Supporting data for Simple and Efficient Clause Subsumption with Feature Vector Indexing (2012)
   

5. •The initial distribution of the Deduction Server as described in Deduction as a Service (2015)
   

6. •The prerelease distribution of E 2.0 supporting systematic probing of large axiomatizations for inconsistency as described in Detecting Inconsistencies in Large First-Order Knowledge Bases (2017)
   

7. •Supporting data for the new system description Faster, Higher, Stronger: E 2.3 (CADE-2019).
   

8. •Source distribution and supporting data for Teaching Automated Theorem Proving by Example: PyRes 1.2 (IJCAR 2020)
   

9. •Source distribution and supporting data for Efficient Implementation of Large-Scale Watchlists (PAAR-2020)
   

10. •Source distribution and experimental results for Empirical Properties of Term Orderings for Superposition
    

11. •Experimental data for New Heights: E 3.0
    

12. •Supporting data for Planning with Equality