The `artifact` directory contains the experimental data including
log files, source code, binaries for solvers and tools and `paper`
contains the `paper/plots` subdirectory with scripts to generate
the plots from the paper.
