overview of all experiment scripts

olr-b50k
olr-f50k
olr-ginf
olr-missing-runs.py

nlr-b50k-label-reduction.py
nlr-b50k-symm.py
nlr-f50k-label-reduction.py
nlr-f50k-symm.py
nlr-ginf-label-reduction.py
nlr-ginf-symm.py
nlr-missing-runs.py

sota-b50k-dfp-oss-sl-symm.py
sota-b50k-h2-mutexes.py
sota-b50k-h2-mutexes-missing-sbmiasm.py
sota-b50k-miasm-and-linear.py
sota-b50k-pruning-abs.py
sota-b50k-pruning-reg.py
sota-b50k-pruning-sbmiasm-rl-otn-abp.py
sota-b50k-dfp.py
sota-b50k-dfp-symm.py
sota-b50k-oss-sl-symm-remaining-strategies.py
sota-b50k-remaining-overview-configs.py
sota-b50k-sbmiasm.py
sota-b50k-symm-nonlinear.py
sota-b50k-symm-secondary.py
sota-b50k-sccs-top-dfp.py
sota-b50k-sccs-top-linear.py
sota-b50k-sccs-top-sbmiasm.py
sota-b50k-sccs-revtop-dfp.py
sota-b50k-sccs-revtop-linear.py
sota-b50k-sccs-revtop-sbmiasm.py
sota-b50k-sccs-dec-dfp.py
sota-b50k-sccs-dec-linear.py
sota-b50k-sccs-dec-sbmiasm.py
sota-b50k-sccs-inc-dfp.py
sota-b50k-sccs-inc-linear.py
sota-b50k-sccs-inc-sbmiasm.py

sota-f50k-baseline-and-symm.py
sota-f50k-pruning-abs.py
sota-f50k-pruning-reg.py
sota-f50k-dfp.py
sota-f50k-remaining-overview-configs.py
sota-f50k-sbmiasm.py
sota-f50k-sccs-dec.py
sota-f50k-sccs-inc.py
sota-f50k-sccs-top.py
sota-f50k-sccs-top-fixed-linear.py
sota-f50k-sccs-revtop.py
sota-f50k-symm-nonlinear.py
sota-f50k-symm-secondary.py

sota-ginf-baseline-and-symm.py
sota-ginf-pruning-abs.py
sota-ginf-pruning-reg.py
sota-ginf-dfp.py
sota-ginf-remaining-overview-configs.py
sota-ginf-sbmiasm.py
sota-ginf-sccs-dec.py
sota-ginf-sccs-inc.py
sota-ginf-sccs-top.py
sota-ginf-sccs-revtop.py
sota-ginf-symm-nonlinear.py
sota-ginf-symm-secondary.py

sota-missing-runs.py
sota-missing-remaining-configs.py

sota-pdbs-ipdb-cegar.py
sota-pdbs-ipdb-cegar-h2-mutexes.py
sota-symba-spmas.py

=============================================================================

overview of what we need/don't need/don't have yet

open/unclear:
- sota-b50k-oss-sl-symm:
  (- nlr variant not reasonable and not working: KI2015 already uses optimized version, and hence we did not integrate that version into nlr)
  - results get worse if using SL compared to regular M&S (with pruning), contrasting results in KI2015
  - only tested DFP so far: possible need to run more merge strategies, however maybe restricted to the "best config" (slall?)
  - when decided: also add f50k/ginf exp scripts

=============================================================================

overview of not started/running/completed exps

completed:
olr-b50k.py
olr-f50k.py
olr-ginf.py
olr-missing-runs.py

nlr-b50k-label-reduction.py
nlr-b50k-symm.py
nlr-f50k-label-reduction.py
nlr-f50k-symm.py
nlr-ginf-label-reduction.py
nlr-ginf-symm.py
nlr-missing-runs.py

sota-b50k-dfp.py
sota-b50k-dfp-oss-sl-symm.py
sota-b50k-dfp-symm.py
sota-b50k-h2-mutexes.py
sota-b50k-h2-mutexes-missing-sbmiasm.py
sota-b50k-miasm-and-linear.py
sota-b50k-oss-sl-symm-remaining-strategies.py
sota-b50k-pruning-abs.py
sota-b50k-pruning-reg.py
sota-b50k-pruning-sbmiasm-rl-otn-abp.py
sota-b50k-remaining-overview-configs.py
sota-b50k-sbmiasm.py
sota-b50k-sccs-top-dfp.py
sota-b50k-sccs-top-linear.py
sota-b50k-sccs-top-sbmiasm.py
sota-b50k-sccs-revtop-dfp.py
sota-b50k-sccs-revtop-linear.py
sota-b50k-sccs-revtop-sbmiasm.py
sota-b50k-sccs-dec-dfp.py
sota-b50k-sccs-dec-linear.py
sota-b50k-sccs-dec-sbmiasm.py
sota-b50k-sccs-inc-dfp.py
sota-b50k-sccs-inc-linear.py
sota-b50k-sccs-inc-sbmiasm.py
sota-b50k-symm-secondary.py

sota-f50k-baseline-and-symm.py
sota-f50k-dfp.py
sota-f50k-dfpsymm-fixed.py
sota-f50k-pruning-abs.py
sota-f50k-pruning-reg.py
sota-f50k-remaining-overview-configs.py
sota-f50k-sbmiasm.py
sota-f50k-sccs-top.py
sota-f50k-sccs-top-fixed-linear.py

sota-ginf-baseline-and-symm.py
sota-ginf-dfp.py
sota-ginf-sbmiasm.py
sota-ginf-pruning-abs.py
sota-ginf-pruning-reg.py
sota-ginf-remaining-overview-configs.py
sota-ginf-sccs-top.py

sota-missing-remaining-configs.py
sota-missing-runs.py
sota-missing-runs-dfpsymm-fixed.py

sota-pdbs-ipdb-cegar.py
sota-pdbs-ipdb-cegar-h2-mutexes.py
sota-symba-spmas.py

need to download:

started:


=============================================================================

overview of paper-* scripts that have been fixed with missing runs etc
paper-olr-nlr.py
paper-nlr-b50k.py
paper-nlr-symm-f50k-ginf.py
paper-nlr-sota-b50k.py
paper-nlr-sota-f50k.py
paper-nlr-sota-ginf.py
paper-sota-b50k-baseline-and-symm.py
paper-sota-b50k--sl-symm.py
paper-sota-b50k-symm-secondary.py
paper-sota-b50k-dfp.py
paper-sota-b50k-sbmiasm.py
paper-sota-b50k-sccs.py
