diff --git a/bin/donkey.sbatch b/bin/donkey.sbatch
index 7816cafecfcf75c2783e23a86b13e049ed39eae7..dab05a6a8141bc77df50d8b5406321733249d043 100755
--- a/bin/donkey.sbatch
+++ b/bin/donkey.sbatch
@@ -28,7 +28,7 @@ ml suitesparse
 SRUNOPT="--cpu_bind=verbose,core"
 
 # Search for runnable executables
-FILES=$(ls *.ini)
+FILES=$(ls *.ini | grep -v '^verify')
 for inifile in $FILES
 do
   line=$(grep ^"opcounter = " $inifile)