diff --git a/packages/CLPBN/horus/LiftedCircuit.cpp b/packages/CLPBN/horus/LiftedCircuit.cpp
index fb7cbbfae..666d895e4 100644
--- a/packages/CLPBN/horus/LiftedCircuit.cpp
+++ b/packages/CLPBN/horus/LiftedCircuit.cpp
@@ -170,13 +170,12 @@ LiftedCircuit::LiftedCircuit (const LiftedWCNF* lwcnf)
   root_ = 0;
   Clauses clauses = lwcnf->clauses();
   compile (&root_, clauses);
-  exportToGraphViz("circuit.dot");
-  smoothCircuit (root_);
-  exportToGraphViz("circuit.smooth.dot");
-  cout << "--------------------------------------------------" << endl;
-  cout << "--------------------------------------------------" << endl;  
-  double wmc = LogAware::exp (getWeightedModelCount());
-  cout << "WEIGHTED MODEL COUNT = " << wmc << endl;
+  if (Globals::verbosity > 1) {
+    smoothCircuit (root_);
+    exportToGraphViz("circuit.smooth.dot");
+    double wmc = LogAware::exp (getWeightedModelCount());
+    cout << "WEIGHTED MODEL COUNT: " << wmc << endl << endl;
+  }
 }
 
 
diff --git a/packages/CLPBN/horus/LiftedWCNF.cpp b/packages/CLPBN/horus/LiftedWCNF.cpp
index 3d5ac56ef..f92bf637c 100644
--- a/packages/CLPBN/horus/LiftedWCNF.cpp
+++ b/packages/CLPBN/horus/LiftedWCNF.cpp
@@ -388,18 +388,18 @@ LiftedWCNF::LiftedWCNF (const ParfactorList& pfList)
   addWeight (1, LogAware::log(2.0), LogAware::log(5.0));
   freeLiteralId_ = 2;
   */
-  
-  cout << "FORMULA INDICATORS:" << endl;
-  printFormulaIndicators();
-  cout << endl;
-  
-  cout << "WEIGHTS:" << endl;
-  printWeights();
-  cout << endl;
-  
-  cout << "CLAUSES:" << endl;
-  printClauses();
-  cout << endl;
+
+  if (Globals::verbosity > 1) {
+    cout << "FORMULA INDICATORS:" << endl;
+    printFormulaIndicators();
+    cout << endl;
+    cout << "WEIGHTED INDICATORS:" << endl;
+    printWeights();
+    cout << endl;
+    cout << "CLAUSES:" << endl;
+    printClauses();
+    cout << endl;
+  }
 }