Large-Scale Watchlists

 

Below is the supporting data for our paper Efficient Implementation of Large-Scale Watchlists (presented at the 7th Workshop on Practical Aspects of Automated Reasoning, PAAR-2020).


  1. •README-1.md describes the experimental setup

  2. •E-2.4ruhdorfer02.tgz is the source distribution of E used in the experiments (note that the package unpacks into a directory called just “E”)

  3. •watchlist.mizar40.gz is the (gzipped) list of clauses used as a watchlist in the experiments

  4. •strats_softwatch.tgz contains the exact setting (command line parameters) for the different E strategies used



   

Main

E-GIT

E Data

Me

E

Impressum