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. 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