/test/regress/regress0/quantifiers/
../
AdditiveMethods_AdditiveMethods..ctor.smt2
AdditiveMethods_OwnedResults.Mz.smt2
Arrays_Q1-noinfer.smt2
Makefile
Makefile.am
array-unsat-simp3.smt2
array-unsat-simp3.smt2.expect
bignum_quant.smt2
bug269.smt2
bug290.smt2
bug291.smt2
bug291.smt2.expect
burns13.smt2
burns4.smt2
ex1.smt2
ex1.smt2.expect
ex3.smt2
ex6.smt2
ex7.smt2
ex7.smt2.expect
gauss_init_0030.fof.smt2
javafe.ast.ArrayInit.35.smt2
javafe.ast.StandardPrettyPrint.319.smt2
javafe.ast.StmtVec.009.smt2
javafe.ast.WhileStmt.447.smt2
javafe.tc.CheckCompilationUnit.001.smt2
javafe.tc.FlowInsensitiveChecks.682.smt2
opisavailable-12.smt2
piVC_5581bd.smt2
refcount24.cvc
ricart-agrawala6.smt2
set3.smt2
set8.smt2
smtlib384a03.smt2
smtlib46f14a.smt2
smtlibf957ea.smt2
symmetric_unsat_7.smt2