I've posted the final (I hope) set of benchmarks before SMT-COMP 2009. The new list replaces the posting from June 3 (but it's still there for reference for now). I think I've fixed all the issues that were brought to my attention. Thank you to all those who provided feedback. -Clark