diff --git a/src/test/modelchecker/SparseDtmcRegionModelCheckerTest.cpp b/src/test/modelchecker/SparseDtmcRegionModelCheckerTest.cpp
index 9d4cb0900..d3c1966df 100644
--- a/src/test/modelchecker/SparseDtmcRegionModelCheckerTest.cpp
+++ b/src/test/modelchecker/SparseDtmcRegionModelCheckerTest.cpp
@@ -225,7 +225,7 @@ TEST(SparseDtmcRegionModelCheckerTest, Brp_Rew_Infty) {
     carl::VariablePool::getInstance().clear();
 }
 
-TEST(SparseDtmcRegionModelCheckerTest, Brp_Rew_4Par) {
+TEST(SparseDtmcRegionModelCheckerTest, DISABLED_Brp_Rew_4Par) {
     
     std::string programFile = STORM_TEST_RESOURCES_DIR "/pdtmc/brp_rewards16_2.pm";
     std::string formulaAsString = "R>2.5 [F ((s=5) | (s=0&srep=3)) ]";
diff --git a/src/test/modelchecker/SparseMdpRegionModelCheckerTest.cpp b/src/test/modelchecker/SparseMdpRegionModelCheckerTest.cpp
index b422ece6b..8fd7c74d0 100644
--- a/src/test/modelchecker/SparseMdpRegionModelCheckerTest.cpp
+++ b/src/test/modelchecker/SparseMdpRegionModelCheckerTest.cpp
@@ -82,7 +82,7 @@ TEST(SparseMdpRegionModelCheckerTest, two_dice_Prob) {
     carl::VariablePool::getInstance().clear();
 }
 
-TEST(SparseMdpRegionModelCheckerTest, coin_Prob) {
+TEST(SparseMdpRegionModelCheckerTest, DISABLED_coin_Prob) {
     
     std::string programFile = STORM_TEST_RESOURCES_DIR "/pmdp/coin2_2.pm";
     std::string formulaAsString = "P>0.25 [F \"finished\"&\"all_coins_equal_1\" ]";