Directory listing for sbv-8.7 source tarball

sbv-8.7/SBVBenchSuite/BenchSuite/Misc/