Add regresssmtcomp2007 which runs the bitvector benchmarks from the 2007 contest
Add regresssmtcomp2007 which runs the bitvector benchmarks from the 2007 contest



kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp