# License
We release our code and data under the CC BY 4.0 license: https://creativecommons.org/licenses/by/4.0/

# Appendix for main paper

We provide a pdf containing both the main paper and an appendix. This allows us to reference back to the main text for proofs and commentary.

# Exponential search

Our implementation of the exponential search can be found in `/src`.
`/src/main.py` exposes a command line interface and `/src/heuristics_search.ipynb` reproduces the plots from our main paper.
Executing the jupyter notebook should take only a few hours on a recent consumer notebook.

# Symbolic math

The proofs for a hypothesis-test based decision criterion rely on sympy and symbolic calculations. We have included them in `symbolic_derivations.ipynb`

# User-study

The user-study has passed a formal review of our IRB.
For anonymity we do not include these documents here, because they would reveal our institution.  
The logs of our user-study can be found in `user-study/`
