--- a/src/HOL/Tools/ATP/atp_systems.ML Fri May 27 10:30:07 2011 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML Fri May 27 10:30:07 2011 +0200
@@ -387,7 +387,9 @@
proof_delims = union (op =) tstp_proof_delims proof_delims,
known_failures = known_failures @ known_perl_failures @
[(Unprovable, "says Satisfiable"),
+ (Unprovable, "says CounterSatisfiable"),
(ProofMissing, "says Theorem"),
+ (ProofMissing, "says Unsatisfiable"),
(IncompleteUnprovable, "says Unknown"),
(IncompleteUnprovable, "says GaveUp"),
(TimedOut, "says Timeout"),