initial benchmarks to try verifying O(2^k * n) for graph coloring

initial benchmarks to try verifying O(2^k * n) for graph coloring #213