check in all changes to the benchmarks for the pldi2009 paper