Try.

SMT-COMP · Jun 3, 2024 · 42fe2bf · 42fe2bf
1 parent ce083f9
commit 42fe2bf
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/submissions/bitwuzla.json b/submissions/bitwuzla.json
@@ -17,22 +17,22 @@
   "participations": [
     {
       "tracks": ["SingleQuery"],
-      "logics": "^(QF_)?(A)?(UF)?(BV|FP|FPLRA)+$",
+      "logics": "^((QF_)?(A)?(UF)?(BV|FP|FPLRA)+)$",
       "command": ["bin/bitwuzla", "--abstraction", "--abstraction-bv-size=33"]
     },
     {
       "tracks": ["Incremental"],
-      "logics": "^(QF_)?(A)?(UF)?(BV|FP|FPLRA)+$",
+      "logics": "^((QF_)?(A)?(UF)?(BV|FP|FPLRA)+)$",
       "command": ["bin/bitwuzla"]
     },
     {
       "tracks": ["UnsatCore"],
-      "logics": "^(QF_)?(A)?(UF)?(BV|FP|FPLRA)+$",
+      "logics": "^((QF_)?(A)?(UF)?(BV|FP|FPLRA)+)$",
       "command": ["bin/bitwuzla"]
     },
     {
       "tracks": ["ModelValidation"],
-      "logics": "^(QF_)?(A)?(UF)?(BV|FP|FPLRA)+$",
+      "logics": "^((QF_)?(A)?(UF)?(BV|FP|FPLRA)+)$",
       "command": ["bin/bitwuzla"]
     }
   ]