diff --git a/bench.sh b/bench.sh
index b0ddf9d..774bc3a 100755
--- a/bench.sh
+++ b/bench.sh
@@ -13,8 +13,8 @@ alloc_libs="sys="      # mapping from allocator to its .so as "<allocator>=<sofi
 
 readonly tests_all1="cfrac espresso barnes redis larson larson-sized mstress rptest gs lua"
 readonly tests_all2="alloc-test sh6bench sh8bench xmalloc-test cscratch glibc-simple glibc-thread rocksdb"
-readonly tests_all3="lean lean-mathlib linux malloc-large mleak rbstress cthrash"
-readonly tests_all4="z3 spec spec-bench security"
+readonly tests_all3="lean linux malloc-large mleak rbstress cthrash"
+readonly tests_all4="lean-mathlib z3 spec spec-bench security"
 
 readonly tests_all="$tests_all1 $tests_all2 $tests_all3 $tests_all4"
 readonly tests_allt="$tests_all1 $tests_all2 $tests_all3"  # run with 'allt' command option