/unit-tests/
../
Makefile
Tests_verit.v
Tests_zchaff.v
cmu-bmc-barrel6.cnf
hole4.cnf
hole4.smt2
let1.smt2
let2.smt2
lia1.smt2
lia2.smt2
lia3.smt2
lia4.smt2
lia5.smt2
lia6.smt2
lia7.smt2
runverit.sh
runzchaff.sh
sat0.smt2
sat1.cnf
sat1.smt2
sat10.smt2
sat11.smt2
sat12.smt2
sat13.smt2
sat2.cnf
sat2.smt2
sat3.cnf
sat3.smt2
sat4.smt2
sat5.cnf
sat5.smt2
sat6.cnf
sat6.smt2
sat7.cnf
sat7.smt2
sat8.smt2
sat9.smt2
uf1.smt2
uf2.smt2
uf3.smt2
uf4.smt2
uf5.smt2
uf6.smt2
uf7.smt2
velev-sss-1.0-05.cnf