diff --git a/k-distribution/tests/regression/config.xml b/k-distribution/tests/regression/config.xml
index 2cab8bb1ff..91391a676f 100644
--- a/k-distribution/tests/regression/config.xml
+++ b/k-distribution/tests/regression/config.xml
@@ -71,10 +71,10 @@
   <include file="kore-cell-fragments/imp_fragments/config.xml"
            directory="kore-cell-fragments/imp_fragments/" />
 
-  <include file="smt-sort-flattening/config.xml"
+<!--  <include file="smt-sort-flattening/config.xml"
            directory="smt-sort-flattening"
            programs="smt-sort-flattening"
-           results="smt-sort-flattening" />
+           results="smt-sort-flattening" />-->
 
 </tests>