/test/regress/regress0/sets/jan24/
../
deepmeas0.hs.fqout.cvc4.47.smt2
deepmeas0.hs.fqout.small.smt2