diff --git a/paynt/quotient/mdp_family.py b/paynt/quotient/mdp_family.py
index 97a853771..84a555fce 100644
--- a/paynt/quotient/mdp_family.py
+++ b/paynt/quotient/mdp_family.py
@@ -119,8 +119,6 @@ def choices_to_hole_selection(self, choice_mask):
         for choice in choice_mask:
             choice_options = self.coloring.action_to_hole_options[choice]
             for hole_index,option in choice_options.items():
-                if hole_index == 0:
-                    print(0, option)
                 hole_selection[hole_index].add(option)
         hole_selection = [list(options) for options in hole_selection]
         return hole_selection
diff --git a/paynt/quotient/quotient.py b/paynt/quotient/quotient.py
index 9308a8de1..cff2f3695 100644
--- a/paynt/quotient/quotient.py
+++ b/paynt/quotient/quotient.py
@@ -253,8 +253,6 @@ def estimate_scheduler_difference(self, mdp, inconsistent_assignments, choice_va
                 hole_difference_sum[hole_index] += difference
                 hole_states_affected[hole_index] += 1
 
-        print(inconsistent_assignments)
-        print(hole_states_affected)
         for hole_index in inconsistent_assignments:
             assert hole_states_affected[hole_index] > 0
         
@@ -274,7 +272,6 @@ def scheduler_selection_quantitative(self, mdp, prop, result):
         # get qualitative scheduler selection, filter inconsistent assignments
         selection = self.scheduler_selection(mdp, result.scheduler)
         inconsistent_assignments = {hole_index:options for hole_index,options in enumerate(selection) if len(options) > 1 }
-        print(inconsistent_assignments)
         if len(inconsistent_assignments) == 0:
             return selection,None,None,None
         
diff --git a/paynt/synthesizer/policy_tree.py b/paynt/synthesizer/policy_tree.py
index 01032d59f..b53992350 100644
--- a/paynt/synthesizer/policy_tree.py
+++ b/paynt/synthesizer/policy_tree.py
@@ -410,7 +410,6 @@ def choose_splitter_round_robin(self, family, prop, scheduler_choices, state_val
 
     def choose_splitter(self, family, prop, scheduler_choices, state_values, hole_selection):
         splitter = None
-        print(hole_selection)
         inconsistent_assignments = {hole_index:options for hole_index,options in enumerate(hole_selection) if len(options) > 1}
         if len(inconsistent_assignments)==0:
             for hole_index,hole in enumerate(family):