diff --git a/src/algorithm/CNDFS.cpp b/src/algorithm/CNDFS.cpp
index f805b330a661b845b774fb6f659a2d7470af44c7..2af21e6c6d0acf015add6c534267118f12f677b5 100644
--- a/src/algorithm/CNDFS.cpp
+++ b/src/algorithm/CNDFS.cpp
@@ -201,7 +201,6 @@ void CNDFS::dfsBlue(myState_t *state, vector<myState_t *> &Rp, uint8_t idThread,
     computeSuccessors(state, ap_sog);
 
     for (const auto &succ: state->new_successors) {
-//        cout << "cyan " << succ.first->cyan[idThread] << endl;
         if (!succ.first->blue && !succ.first->cyan[idThread]) {
             dfsBlue(succ.first, Rp, idThread, ap_sog);
         }
diff --git a/src/algorithm/CNDFS.h b/src/algorithm/CNDFS.h
index 3a4d27f968967ee051d22d1f33921f082bdf45c4..cfabb88cc72878602c964f322f09911a91b51993 100644
--- a/src/algorithm/CNDFS.h
+++ b/src/algorithm/CNDFS.h
@@ -18,7 +18,7 @@
 
 using namespace std;
 typedef pair<struct myState_t *, int> coupleSuccessor;
-static constexpr uint8_t MAX_THREADS = 64;
+static constexpr uint8_t MAX_THREADS = 128;
 
 enum class SuccState {notyet,doing,done};
 struct myState_t {