Example Benchcomp Configurations
================================

The files in this directory can be passed to benchcomp's -c/--config flag.