This is just to announce that we have posted the benchmark scrambler is available on the SMT-COMP website. http://www.csl.sri.com/users/demoura/smt-comp/