diff --git a/blackbox.php b/blackbox.php
index bf1804d..5b57f96 100644
--- a/blackbox.php
+++ b/blackbox.php
@@ -22,7 +22,7 @@
                     ->dumpTo('coverage.clover')
                     ->enableWhen(true),
             )
-            ->scenariiPerProof(1),
+            ->scenariiPerProof(50),
     )
     ->tryToProve(Load::everythingIn(__DIR__.'/proofs/'))
     ->exit();