diff --git a/certora/confs/XPToken.conf b/certora/confs/XPToken.conf
index 9bcbb48..169ad05 100644
--- a/certora/confs/XPToken.conf
+++ b/certora/confs/XPToken.conf
@@ -3,7 +3,6 @@
   "msg": "Verifying XPToken.sol",
   "rule_sanity": "basic",
   "verify": "XPToken:certora/specs/XPToken.spec",
-  "wait_for_results": "all",
   "optimistic_loop": true,
   "loop_iter": "3",
   "packages": [