changeset 40426 | 339f56417109 |
parent 40344 | df25b51af013 |
child 40596 | 8353cb427527 |
--- a/src/HOL/Tools/ATP/atp_systems.ML Mon Nov 08 02:33:48 2010 +0100 +++ b/src/HOL/Tools/ATP/atp_systems.ML Mon Nov 08 09:10:44 2010 +0100 @@ -166,6 +166,7 @@ [(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"),