/test/regress/regress0/sets/jan27/
../
ListConcat.hs.fqout.177minimized.smt2
ListConcat.hs.fqout.cvc4.177.smt2