Online Appendix to: 

Optimal Implementation of Watched Literals and More General Techniques
by Ian P Gent
Journal of Artificial Intelligence Research, 2013

This appendix comes in TWO versions:

    Full version is available from http://www.cs.st-andrews.ac.uk/~ipg/JAIR/Gent13a-appendix2-full.tgz
    md5sum: 000457e70bbdb41c9d00bcfdd0b4aaa7

    A reduced version is available from the JAIR online appendix Gent13a-appendix2.tgz
    The reduced version is the same as the full version EXCEPT that all code is removed, because I 
    am not able to licence it on the terms that JAIR requires.  

Everything in this directory is provided on an as-is basis and no guarantee or warranty is implied.

All code and scripts written by me for this paper are provided under the "CRAPL" academic licence, 
see file CRAPL-LICENSE.txt To understand both the humorous and serious intention behind this, see 
http://matt.might.net/articles/crapl/

The directories and files are:

    Code: 
        variants of MiniSat used for experiments described in the paper [full only]

    Scripts: 
        miscellaneous scripts used in running and analysing experiments [full only]

    StatsAndGraphs: 
        line by line results of experiments 
        R scripts for analysing the above [full only]
        gnuplot scripts for plotting graphs in the paper [full only]
        copies of graphs used in the paper 

    results.tgz
        tar compressed file with raw output files from MiniSat runs reported in the paper. 
        WARNING: uncompresses to 143 MB

A 2.4GB containing the 594 clause sets written out after 60 seconds (see paper for explanation) is 
available at:

    http://www.cs.st-andrews.ac.uk/~ipg/JAIR/writtenclausesets.tgz
    md5sum: 5d0e944d431a2bec8f0b8357a84a9ede

Ian Gent, 
University of St Andrews,
July 2013
