Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML
changeset 75872 8bfad7bc74cb
parent 75465 d9b23902692d
child 76939 0a46b3dbd5ad 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML	Wed Aug 17 11:57:13 2022 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML	Wed Aug 17 15:09:53 2022 +0200
@@ -70,7 +70,7 @@
    ("try0", "true"),
    ("smt_proofs", "true"),
    ("minimize", "true"),
-   ("slices", string_of_int (6 * Multithreading.max_threads ())),
+   ("slices", string_of_int (12 * Multithreading.max_threads ())),
    ("preplay_timeout", "1")]
 
 val alias_params =
isabelle