diff --git a/utils/sort_db.py b/utils/sort_db.py
index 09580ea2..ba4fc562 100755
--- a/utils/sort_db.py
+++ b/utils/sort_db.py
@@ -48,6 +48,7 @@ sort sets (lists where the order doesn't matter).
 """
 
 import os
+import random
 import re
 import sys
 
@@ -304,11 +305,13 @@ def sort_db(filename):
     tosort.sort(key=cmp.cmp_key)
 
     # Make sure the sort is stable
-    copy = tosort.copy()
-    copy.sort(key=cmp.cmp_key)
-    assert len(copy) == len(tosort)
-    for i in range(0, len(copy)):
-        assert copy[i] == tosort[i], "\n%r\n != \n%r\n" % (copy[i], tosort[i])
+    for i in range(0, 4):
+        copy = tosort.copy()
+        random.shuffle(copy)
+        copy.sort(key=cmp.cmp_key)
+        assert len(copy) == len(tosort)
+        for i in range(0, len(copy)):
+            assert copy[i] == tosort[i], "\n%r\n != \n%r\n" % (copy[i], tosort[i])
 
     with open(filename, 'w') as f:
         for _, l in tosort: