diff --git a/src/LDDGraph.cpp b/src/LDDGraph.cpp
index 1e989b3a66a766f67f43810fdfa1442518310f8d..4cb6537fda0836dc6be9a964dfb3e365f7eed725 100644
--- a/src/LDDGraph.cpp
+++ b/src/LDDGraph.cpp
@@ -186,7 +186,7 @@ LDDState *LDDGraph::getLDDStateById(unsigned int id) {
 }
 
 string LDDGraph::getTransition(int pos) {
-    cout<<"********** Pos "<<pos<<endl;
+
     map<string,int>::iterator it=m_transition->begin();
     while(it != m_transition->end())
     {
diff --git a/src/LDDState.cpp b/src/LDDState.cpp
index 3f2ed91af0de40d56cf3f35debe5268a81b01620..04cc36e0a53c73d2a28b1384bea6a9efc1703613 100644
--- a/src/LDDState.cpp
+++ b/src/LDDState.cpp
@@ -36,7 +36,6 @@ vector<pair<LDDState*, int>>* LDDState::getSuccessors() {
 vector<int> LDDState::getMarkedPlaces(set<int>& lplacesAP) {
     vector<int> result;
     MDD mdd=m_lddstate;
-
     int depth=0;
     while (mdd>lddmc_true)
     {
@@ -45,7 +44,7 @@ vector<int> LDDState::getMarkedPlaces(set<int>& lplacesAP) {
         if (lplacesAP.find(depth)!=lplacesAP.end())
         if (mddnode_getvalue(node)==1) {
             result.push_back(depth);
-            cout<<"depth "<<depth<<endl;
+
         }
 
         mdd=mddnode_getdown(node);
@@ -67,7 +66,7 @@ vector<int> LDDState::getUnmarkedPlaces(set<int>& lplacesAP) {
         if (lplacesAP.find(depth)!=lplacesAP.end())
         if (mddnode_getvalue(node)==0) {
             result.push_back(depth);
-            cout<<"depth "<<depth<<endl;
+
         }
 
         mdd=mddnode_getdown(node);
diff --git a/src/SogKripkeIteratorOTF.cpp b/src/SogKripkeIteratorOTF.cpp
index 3c2ba894ff1f782fb12fb825266d4b5b6c5accca..c0a924535baa1b46b0ca5261a45447907794acbe 100644
--- a/src/SogKripkeIteratorOTF.cpp
+++ b/src/SogKripkeIteratorOTF.cpp
@@ -20,11 +20,10 @@ SogKripkeIteratorOTF::SogKripkeIteratorOTF(const LDDState* lddstate, bdd cnd):m_
 
 }
 bool SogKripkeIteratorOTF::first() {
-  //  m_sog->getLDDStateById(m_id)->Successors().
-    //return m_sog->get_successor()
-    cout<<"entering "<<__func__<<endl;
+
+    //cout<<"entering "<<__func__<<endl;
     m_current_edge=0;
-    cout<<"exciting "<<__func__<<endl;
+    //cout<<"exciting "<<__func__<<endl;
     return m_lsucc.size()!=0;
 
 }
diff --git a/src/SogKripkeOTF.cpp b/src/SogKripkeOTF.cpp
index 3bc8c85ec7a39938f04d84c9fcf67c09f678de11..f9b345182696112b28275f7fff9f915214df3488 100644
--- a/src/SogKripkeOTF.cpp
+++ b/src/SogKripkeOTF.cpp
@@ -36,16 +36,16 @@ state* SogKripkeOTF::get_init_state() const {
 // Allows to print state label representing its id
 std::string SogKripkeOTF::format_state(const spot::state* s) const
   {
-    cout<<__func__<<endl;
+    //cout<<__func__<<endl;
     auto ss = static_cast<const SogKripkeStateOTF*>(s);
     std::ostringstream out;
     out << "( " << ss->getLDDState()->getLDDValue() <<  ")";
-    cout << " ( " << ss->getLDDState()->getLDDValue() <<  ")";
+   // cout << " ( " << ss->getLDDState()->getLDDValue() <<  ")";
     return out.str();
   }
 
 SogKripkeIteratorOTF* SogKripkeOTF::succ_iter(const spot::state* s) const {
-   cout<<__func__<<endl;
+ //  cout<<__func__<<endl;
 
     auto ss = static_cast<const SogKripkeStateOTF*>(s);
    //////////////////////////////////////////////