Simple program to continuously run minisat and create a histogram of solutions found.