diff --git a/scripts/kleef b/scripts/kleef
index fc669da698..e55f46bc76 100755
--- a/scripts/kleef
+++ b/scripts/kleef
@@ -73,6 +73,7 @@ def klee_options(
             "--explore-completed-seeds=false",
             "--store-seeds-locally",
             "--run-forever"
+            "--upload-percentage=50"
         ]
     if is32:
         cmd += [