add bug6 to verifier benchmark