/test/regress/regress2/bv/
../
opStructure_MBA_6.scrambled.min.smt2