src/HOL/Tools/ATP_Manager/atp_systems.ML

--- a/src/HOL/Tools/ATP_Manager/atp_systems.ML	Fri Jun 04 16:53:08 2010 +0200
+++ b/src/HOL/Tools/ATP_Manager/atp_systems.ML	Fri Jun 04 16:54:10 2010 +0200
@@ -275,6 +275,7 @@
       ("% SZS output start Refutation", "% SZS output end Refutation")],
    known_failures =
      [(Unprovable, "Satisfiability detected"),
+      (Unprovable, "UNPROVABLE"),
       (OutOfResources, "CANNOT PROVE"),
       (OutOfResources, "Refutation not found")],
    max_axiom_clauses = 60,