src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML

    ("max_new_mono_instances", "400"),
    ("explicit_apply", "false"),
    ("isar_proof", "false"),
    ("isar_shrink_factor", "1"),
    ("slicing", "true"),
-   ("preplay_timeout", "5")]
+   ("preplay_timeout", "4")]
 
 val alias_params =
   [("prover", "provers"),
    ("atps", "provers"), (* FIXME: legacy *)
    ("atp", "provers")]  (* FIXME: legacy *)