From 8280bc992a00fafddfa186f73eeb67e4f57d8991 Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Tue, 23 Jul 2024 16:57:27 +0200
Subject: Update prover answer prefixes

---
 source/Provers.hs | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/source/Provers.hs b/source/Provers.hs
index 203ee82..a33f9d2 100644
--- a/source/Provers.hs
+++ b/source/Provers.hs
@@ -82,10 +82,10 @@ vampire path _verbosity timeLimit memoryLimit = Prover
         , "--time_limit", toSeconds timeLimit
         , "--memory_limit", toMegabytes memoryLimit
         ]
-    , proverSaysYes = ["% SZS output end Proof for"]
-    , proverSaysNo = ["% SZS status CounterSatisfiable for"]
-    , proverDoesNotKnow = ["% SZS status Timeout for"]
-    , proverWarnsContradiction = ["% SZS status ContradictoryAxioms for"]
+    , proverSaysYes = ["% SZS status Theorem"]
+    , proverSaysNo = ["% SZS status CounterSatisfiable"]
+    , proverDoesNotKnow = ["% SZS status Timeout"]
+    , proverWarnsContradiction = ["% SZS status ContradictoryAxioms"]
     }
 
 -- WIP: setting up a clausifier
@@ -96,8 +96,8 @@ iprover _verbosity timeLimit _memoryLimit = Prover
     , proverArgs =
         [ "--time_out_real " <> toSeconds timeLimit
         ]
-    , proverSaysYes = ["% SZS status Theorem for"]
-    , proverSaysNo = ["% SZS status CounterSatisfiable for"]
+    , proverSaysYes = ["% SZS status Theorem"]
+    , proverSaysNo = ["% SZS status CounterSatisfiable"]
     , proverDoesNotKnow = ["% SZS status Unknown"]
     , proverWarnsContradiction = []
     }
-- 
cgit v1.2.3