These are the binaries we used in the experiments, except
for sbva-cadical, which needs a more complicated set-up as it
consists of multiple binaries.  We refer to source code instead.
