/test/regress/regress0/preprocess/
../
circuit-prop.smt2
issue5729-rewritten-assertions.smt2
issue5943-non-clausal-simp.smt2
preprocess_00.cvc
preprocess_01.cvc
preprocess_02.cvc
preprocess_03.cvc
preprocess_04.cvc
preprocess_05.cvc
preprocess_06.cvc
preprocess_07.cvc
preprocess_08.cvc
preprocess_09.cvc
preprocess_10.cvc
preprocess_11.cvc
preprocess_12.cvc
preprocess_13.cvc
preprocess_14.cvc
preprocess_15.cvc