diff --git a/docs/java/TestSamplers.java b/docs/java/TestSamplers.java
index 5fcd7c24..de88b276 100644
--- a/docs/java/TestSamplers.java
+++ b/docs/java/TestSamplers.java
@@ -13,7 +13,7 @@ public static void main(String[] args) {
 
             DafnyVMC.Random r = new DafnyVMC.Random();
 
-            for (int a = 1; a < 10000; a++) {
+            for (int a = 1; a < 1000; a++) {
                 BigInteger i = BigInteger.valueOf(a);
 
                 System.out.println("Testing Uniform(" + a + ")");
@@ -50,7 +50,7 @@ public static void main(String[] args) {
             SecureRandom rng = new SecureRandom();
             DafnyVMC.Random t = new DafnyVMC.Random(() -> rng);
 
-            for (int a = 1; a < 10000; a++) {
+            for (int a = 1; a < 1000; a++) {
                 BigInteger i = BigInteger.valueOf(a);
                 System.out.println("Testing Uniform(" + a + ")");
                 System.out.println(t.UniformSample(i));
diff --git a/docs/py/TestSamplers.py b/docs/py/TestSamplers.py
index 50b52e05..611714f5 100644
--- a/docs/py/TestSamplers.py
+++ b/docs/py/TestSamplers.py
@@ -7,7 +7,7 @@ def main():
         
     r = DafnyVMC.Random()
 
-    for i in range(1, 10000): 
+    for i in range(1, 1000): 
         print("Testing Uniform("+str(i)+")")
         print(r.UniformSample(i))