/test/regress/regress0/sets/jan28/
../
TalkingAboutSets.hs.fqout.3577minimized.smt2
TalkingAboutSets.hs.fqout.cvc4.3577.smt2