diff --git a/spot/twaalgos/dtbasat.cc b/spot/twaalgos/dtbasat.cc
index bac09e79b..a1e1a890f 100644
--- a/spot/twaalgos/dtbasat.cc
+++ b/spot/twaalgos/dtbasat.cc
@@ -646,6 +646,10 @@ namespace spot
 
           if (t != satdict.revtransid.end())
             {
+              // Ignore unuseful transitions because of reduced cand_size.
+              if (t->second.src >= satdict.cand_size)
+                continue;
+
               // Skip (s,l,d2) if we have already seen some (s,l,d1).
               if (seen_trans.insert(src_cond(t->second.src,
                                              t->second.cond)).second)
diff --git a/spot/twaalgos/dtwasat.cc b/spot/twaalgos/dtwasat.cc
index 6c745458a..90f6b3758 100644
--- a/spot/twaalgos/dtwasat.cc
+++ b/spot/twaalgos/dtwasat.cc
@@ -1041,6 +1041,10 @@ namespace spot
 
           if (t != satdict.revtransid.end())
             {
+              // Ignore unuseful transitions because of reduced cand_size.
+              if (t->second.src >= satdict.cand_size)
+                continue;
+
               // Skip (s,l,d2) if we have already seen some (s,l,d1).
               if (seen_trans.insert(src_cond(t->second.src,
                                              t->second.cond)).second)