/test/regress/regress1/proofs/
../
macro-res-exp-crowding-lit-inside-unit.smt2
macro-res-exp-singleton-after-elimCrowd.smt2
sat-trivial-cycle.smt2