Hi, The scrambler was updated. The new version supports the QF_UFBV32 benchmarks. http://www.csl.sri.com/users/demoura/smt-comp/scrambler.shtml Leonardo