z3alpha is not in Bitvec, make it so for its base

bobot · bobot · commit f3f640ff40f9 · 2025-08-08T13:12:29.000+02:00
diff --git a/submissions/z3alpha-base.json b/submissions/z3alpha-base.json
@@ -16,7 +16,6 @@
             "tracks": ["SingleQuery"], 
             "divisions": [
                 "Arith",
-                "Bitvec",
                 "QF_Bitvec",
                 "QF_LinearIntArith",
                 "QF_LinearRealArith",
