Fix some bugs

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);
         }

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 {