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.
remove "Time limit reached" as potential error, because this is sometimes generated for individual slices and not for the entire problem
authorblanchet
Thu, 18 Nov 2010 10:52:38 +0100
changeset 40596 8353cb427527
parent 40595 448520778e38
child 40598 16742772a9b3
remove "Time limit reached" as potential error, because this is sometimes generated for individual slices and not for the entire problem
src/HOL/Tools/ATP/atp_systems.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/atp_systems.ML	Wed Nov 17 23:20:26 2010 +0100
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Thu Nov 18 10:52:38 2010 +0100
@@ -166,7 +166,6 @@
      [(Unprovable, "UNPROVABLE"),
       (IncompleteUnprovable, "CANNOT PROVE"),
       (TimedOut, "SZS status Timeout"),
-      (TimedOut, "Time limit reached"),
       (Unprovable, "Satisfiability detected"),
       (Unprovable, "Termination reason: Satisfiable"),
       (VampireTooOld, "not a valid option"),
isabelle