diff --git a/CMakeLists.txt b/CMakeLists.txt
index 6d4732c..1eddf2f 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -13,7 +13,7 @@ option(PERCY_BENCH "Build benchmarks" OFF)
 option(PERCY_BUILD_KITTY "Build kitty for percy" ON)
 option(PERCY_BUILD_ABC "Build abc for percy" ON)
 option(PERCY_USE_SYRUP "Use glucose-syrup instead of glucose" ON)
-option(PERCY_BUILD_CMS "Enables support for CryptoMinisat" ON)
+option(PERCY_BUILD_CMS "Enables support for CryptoMinisat" OFF)
 
 externalproject_add(
 	nauty
diff --git a/test/cms_equivalence.cpp b/test/cms_equivalence.cpp
index cb060e4..3329e20 100644
--- a/test/cms_equivalence.cpp
+++ b/test/cms_equivalence.cpp
@@ -74,6 +74,7 @@ void check_std_equivalence(bool full_coverage)
 *******************************************************************************/
 int main(int argc, char **argv)
 {
+#ifdef USE_CMS
     bool full_coverage = false;
     if (argc > 1) {
         full_coverage = true;
@@ -87,6 +88,7 @@ int main(int argc, char **argv)
     check_std_equivalence<2>(full_coverage);
     check_std_equivalence<3>(full_coverage);
     check_std_equivalence<4>(full_coverage);
+#endif
 
     return 0;
 }