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