diff --git a/bench/testcomp/whitelist.txt b/bench/testcomp/whitelist.txt
index a4b4b93d0..83060968b 100644
--- a/bench/testcomp/whitelist.txt
+++ b/bench/testcomp/whitelist.txt
@@ -1209,7 +1209,6 @@ hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsa16a_p7.yml
 hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsa16a_p8.yml
 hardware-verification-bv/btor2c-lazyMod.vis_arrays_vsaR_p01.yml
 busybox-1.22.0/ls-incomplete-2.yml
-busybox-1.22.0/od-4.yml
 busybox-1.22.0/printf-3.yml
 busybox-1.22.0/test-1.yml
 ldv-linux-3.7.3/main0_drivers--media--dvb-frontends--stv090x-ko---32_7a--linux-3.7.3.yml
diff --git a/bench/tool/tool.ml b/bench/tool/tool.ml
index 82ae1842f..bf79771a8 100644
--- a/bench/tool/tool.ml
+++ b/bench/tool/tool.ml
@@ -160,7 +160,7 @@ let fork_and_run_on_file ~i ~fmt ~output_dir ~file ~tool ~timeout =
         | result -> result
       end
     in
-    loop 3
+    loop 10
   in
   Format.fprintf fmt "%a@\n" Report.Run_result.pp result;
   result