Added benchmarks for minisat solver