/test/regress/regress0/sets/jan27/

• ../
• ListConcat.hs.fqout.177minimized.smt2
• ListConcat.hs.fqout.cvc4.177.smt2