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/TPTP/atp_problem_import.ML
changeset 47791 c17cc1380642
parent 47788 44b33c1e702e
child 47793 02bdd591eb8f 
--- a/src/HOL/TPTP/atp_problem_import.ML	Fri Apr 27 15:24:37 2012 +0200
+++ b/src/HOL/TPTP/atp_problem_import.ML	Fri Apr 27 15:24:37 2012 +0200
@@ -71,7 +71,7 @@
        ("box", "false"),
        ("sat_solver", "smart"),
        ("max_threads", "1"),
-       ("batch_size", "10"),
+       ("batch_size", "5"),
        ("falsify", if null conjs then "false" else "true"),
        ("verbose", "true"),
        ("debug", if debug then "true" else "false"),
isabelle