This directory contains results and graphs from experiments reported in the paper, 

Some files are omitted from Online Appendix at JAIR, but are available online. 
See AAReadme in parent directory for details.

line by line data 

    propagationonlydata.txt
    minisat_all+reruns

data with median results 

    minisatMedCpuNotHardOrEasy.txt
    propagationMedians.txt

R transcripts to analyse data, first for propagation results, then for full minisat

    statsPaper1.R       [full appendix only]
    minisat_stats3.R    [full appendix only]

Two files used with gnuplot 4.6 to create the following three graphs

    RhoVsCPSRatio.gnu   [full appendix only]
    MinisatMedCpuNotHardOrEasy.gnu  [full appendix only]

    RhoOnePointer.eps
    RhoTwoPointer.eps
    minisatMedCpuNotHardOrEasy.eps

