# HG changeset patch
# User blanchet
# Date 1314291940 -7200
# Node ID b20309fa102b9280ad6996c54a9e5acf5ad922dc
# Parent  c1884789ff80ea595bc1ea7efe897adf6d997031
added one more known Z3 failure

diff -r c1884789ff80 -r b20309fa102b src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Thu Aug 25 19:02:47 2011 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Thu Aug 25 19:05:40 2011 +0200
@@ -359,6 +359,7 @@
      [(GaveUp, "SZS status Satisfiable"),
       (GaveUp, "SZS status CounterSatisfiable"),
       (GaveUp, "SZS status GaveUp"),
+      (GaveUp, "SZS status Unknown"),
       (ProofMissing, "SZS status Unsatisfiable"),
       (ProofMissing, "SZS status Theorem")],
    conj_sym_kind = Hypothesis,