Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
smaller batches, to play safe
authorblanchet
Fri, 27 Apr 2012 15:24:37 +0200
changeset 47791 c17cc1380642
parent 47790 2e1636e45770
child 47792 804fdf0f6006
smaller batches, to play safe
src/HOL/TPTP/atp_problem_import.ML file | annotate | diff | comparison | revisions 
--- 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