experiments conducted for LazyOTF (in David Farago's thesis)
plots
contains all measurement summary files and plot descriptions and resulting plots as pdfs, for:
- comparing tools (13.3.4) in plots directly,
- comparing aggregations (13.3.5) in plots directly,
- comparing bound heuristics (13.3.6) in directory bound,
- parallel experiments (13.3.7) in directory parallel,
- real sut experiments (13.3.8) in directory sut,
- performance experiments (B.1) in directory performance.
Runs
contains all scripts for starting our experiments.