diff --git a/quickcheck-dynamic/test/Spec/DynamicLogic/RegistryModel.hs b/quickcheck-dynamic/test/Spec/DynamicLogic/RegistryModel.hs
index 5c29b1e..4b4661b 100644
--- a/quickcheck-dynamic/test/Spec/DynamicLogic/RegistryModel.hs
+++ b/quickcheck-dynamic/test/Spec/DynamicLogic/RegistryModel.hs
@@ -354,5 +354,5 @@ tests =
     , testProperty "moreActions 10 $ prop_Registry" $ moreActions 10 $ prop_Registry
     , testProperty "canRegister" $ propDL canRegister
     , testProperty "canRegisterNoUnregister" $ expectFailure $ propDL canRegisterNoUnregister
-    , testProperty "prop_parRegistryIOSimPor" $ expectFailure $ withMaxSuccess 1000 $ discardAfter 1000 $ prop_parRegistryIOSimPor
+    , testProperty "prop_parRegistryIOSimPor" $ expectFailure $ withMaxSuccess 10000 $ discardAfter 1000 $ prop_parRegistryIOSimPor
     ]
diff --git a/quickcheck-dynamic/test/Test/QuickCheck/StateModelSpec.hs b/quickcheck-dynamic/test/Test/QuickCheck/StateModelSpec.hs
index aefd5d8..34eacf2 100644
--- a/quickcheck-dynamic/test/Test/QuickCheck/StateModelSpec.hs
+++ b/quickcheck-dynamic/test/Test/QuickCheck/StateModelSpec.hs
@@ -44,7 +44,7 @@ tests =
         prop_longSequences
     , testProperty
         "IOSimPor finds counterexample in parallel counters"
-        $ expectFailure prop_counter_parIOSimPor
+        $ expectFailure $ withMaxSuccess 10000 $ discardAfter 1000 $ prop_counter_parIOSimPor
     ]
 
 captureTerminal :: Testable p => p -> IO Result