fix remote Vampire diagnosis

--- a/src/HOL/Tools/ATP_Manager/atp_systems.ML	Sat Jun 05 15:59:58 2010 +0200
+++ b/src/HOL/Tools/ATP_Manager/atp_systems.ML	Sat Jun 05 16:08:35 2010 +0200
@@ -276,7 +276,7 @@
    known_failures =
      [(Unprovable, "Satisfiability detected"),
       (Unprovable, "UNPROVABLE"),
-      (OutOfResources, "CANNOT PROVE"),
+      (Unprovable, "CANNOT PROVE"),
       (OutOfResources, "Refutation not found")],
    max_axiom_clauses = 60,
    prefers_theory_relevant = false}