diff --git a/include/configuration/Configuration.hpp b/include/configuration/Configuration.hpp
index 81a86e43f..365943a8c 100644
--- a/include/configuration/Configuration.hpp
+++ b/include/configuration/Configuration.hpp
@@ -56,8 +56,8 @@ struct Configuration {
   std::size_t timeout = 3600000; // 60min timeout
 
   // encoding of at most and exactly one constraints in exact mapper
-  Encoding          encoding          = Encoding::Naive;
-  CommanderGrouping commanderGrouping = CommanderGrouping::Halves;
+  Encoding          encoding          = Encoding::Commander;
+  CommanderGrouping commanderGrouping = CommanderGrouping::Fixed3;
 
   // use qubit subsets in exact mapper
   bool useSubsets = true;
diff --git a/mqt/qmap/compile.py b/mqt/qmap/compile.py
index fcc4246bf..d74808170 100644
--- a/mqt/qmap/compile.py
+++ b/mqt/qmap/compile.py
@@ -64,8 +64,8 @@ def compile(  # noqa: A001
     use_teleportation: bool = False,
     teleportation_fake: bool = False,
     teleportation_seed: int = 0,
-    encoding: str | Encoding = "naive",
-    commander_grouping: str | CommanderGrouping = "halves",
+    encoding: str | Encoding = "commander",
+    commander_grouping: str | CommanderGrouping = "fixed3",
     use_bdd: bool = False,
     swap_reduction: str | SwapReduction = "coupling_limit",
     swap_limit: int = 0,
diff --git a/test/test_exact.cpp b/test/test_exact.cpp
index d3ae23dc1..460bda1d8 100644
--- a/test/test_exact.cpp
+++ b/test/test_exact.cpp
@@ -431,6 +431,7 @@ TEST_F(ExactTest, WCNFNotAvailable) {
   using namespace qc::literals;
 
   settings.verbose     = false;
+  settings.encoding    = Encoding::Naive;
   settings.includeWCNF = true;
 
   auto circ = qc::QuantumComputation(5U);