/test/regress/regress0/sets/jan27/
../
ListConcat.hs.fqout.177minimized.smt2
ListConcat.hs.fqout.cvc4.177.smt2
ListElem.hs.fqout.cvc4.38.smt2
deepmeas0.hs.fqout.cvc4.41.smt2