3 files changed, 1 insertions, 38 deletions
diff --git a/test/regress/regress0/sets/Makefile.am b/test/regress/regress0/sets/Makefile.am
index 2f36cc188..9c970c45a 100644
--- a/test/regress/regress0/sets/Makefile.am
+++ b/test/regress/regress0/sets/Makefile.am
@@ -50,7 +50,6 @@ TESTS =	\
 	fuzz15201.smt2 \
 	fuzz31811.smt2 \
 	rec_copy_loop_check_heap_access_43_4.smt2 \
-	sets-disequal.smt2 \
 	sets-equal.smt2 \
 	sets-inter.smt2 \
 	sets-sample.smt2 \
@@ -64,8 +63,7 @@ TESTS =	\
 	union-1b.smt2 \
 	union-2.smt2 \
 	dt-simp-mem.smt2 \
-	card3-ground.smt2 \
-	card-vc6-minimized.smt2
+	card3-ground.smt2
 
 EXTRA_DIST = $(TESTS)
 
diff --git a/test/regress/regress0/sets/card-vc6-minimized.smt2 b/test/regress/regress0/sets/card-vc6-minimized.smt2
deleted file mode 100644
index d7f4bdf1e..000000000
--- a/test/regress/regress0/sets/card-vc6-minimized.smt2
+++ /dev/null
@@ -1,15 +0,0 @@
-; EXPECT: unsat
-(set-logic QF_UFLIAFS)
-(declare-fun x () Int)
-(declare-fun c () (Set Int))
-(declare-fun alloc0 () (Set Int))
-(declare-fun alloc1 () (Set Int))
-(declare-fun alloc2 () (Set Int))
-(assert
-(and (member x c)
-      (<= (card (setminus alloc1 alloc0)) 1)
-      (<= (card (setminus alloc2 alloc1))
-          (card (setminus c (singleton x))))
-      (> (card (setminus alloc2 alloc0)) (card c))
-))
-(check-sat)
diff --git a/test/regress/regress0/sets/sets-disequal.smt2 b/test/regress/regress0/sets/sets-disequal.smt2
deleted file mode 100644
index 3acf77108..000000000
--- a/test/regress/regress0/sets/sets-disequal.smt2
+++ /dev/null
@@ -1,20 +0,0 @@
-; COMMAND-LINE: --incremental
-; EXPECT: sat
-; EXPECT: sat
-; EXPECT: unsat
-; EXIT: 0
-(set-logic QF_BVFS)
-(declare-fun S1 () (Set (_ BitVec 1)))
-(declare-fun S2 () (Set (_ BitVec 1)))
-(declare-fun S3 () (Set (_ BitVec 1)))
-(declare-fun S4 () (Set (_ BitVec 1)))
-(assert (distinct S1 S2 S3 S4))
-(check-sat)
-;(get-model)
-(declare-fun S5 () (Set (_ BitVec 1)))
-(assert (not (= S5 S1)))
-(assert (not (= S5 S2)))
-(assert (not (= S5 S3)))
-(check-sat)
-(assert (not (= S5 S4)))
-(check-sat)