#!/bin/bash

/home/parker/bayesbench/run-bench db_file db_file.10
/home/parker/bayesbench/run-bench db_file db_file.11
/home/parker/bayesbench/run-bench db_file db_file.12