diff --git a/certora/confs/RewardsDistributor.conf b/certora/confs/RewardsDistributor.conf
index aa7d60214..d0f4b263e 100644
--- a/certora/confs/RewardsDistributor.conf
+++ b/certora/confs/RewardsDistributor.conf
@@ -14,7 +14,7 @@
         "@rari-capital/solmate=lib/solmate",
     ],
     "optimistic_loop": true,
-    "loop_iter": "2",
+    "loop_iter": "4",
     "rule_sanity": "basic",
     "server": "production",
     "msg": "Rewards Distributor",