/test/regress/regress0/proofs/
../
cyclic-ucp.smt2
issue277-circuit-propagator.smt2
open-pf-datatypes.smt2
open-pf-if-unordered-iff.smt2
open-pf-rederivation.smt2
scope.smt2
trust-subs-eq-open.smt2