/test/regress/regress2/quantifiers/

• ../
• AdditiveMethods_AdditiveMethods..ctor.smt2
• ForElimination-scala-9.smt2
• javafe.ast.ArrayInit.35.smt2
• javafe.ast.StandardPrettyPrint.319.smt2
• javafe.ast.WhileStmt.447.smt2
• javafe.tc.CheckCompilationUnit.001.smt2
• javafe.tc.FlowInsensitiveChecks.682.smt2
• mutualrec2.cvc
• net-policy-no-time.smt2
• nunchaku2309663.nun.min.smt2
• small-bug1-fixpoint-3.smt2