/test/regress/regress2/bv/

• ../
• opStructure_MBA_6.scrambled.min.smt2