diff --git a/config/drivers/abcrown.drv b/config/drivers/abcrown.drv
index 97b4a46a54f7bcdc3588f3c02f3d4a3d89c0d54d..d9b7b64241ae9f6187ee5dbe22a65742ccaf1790 100644
--- a/config/drivers/abcrown.drv
+++ b/config/drivers/abcrown.drv
@@ -26,7 +26,7 @@ prelude ";;; produced by alpha-beta-CROWN driver"
 
 import "vnnlib.gen"
 
-valid "^Result: safe"
-invalid "^Result: unsafe"
-timeout "^Time out!!!!!!!!"
+valid "^Result: sat"
+invalid "^Result: unsat"
+timeout "^Result: timeout"
 unknown "^Result: unknown" ""