diff --git a/benchexec/__init__.py b/benchexec/__init__.py
index 7a59e9992..7a98bb97e 100644
--- a/benchexec/__init__.py
+++ b/benchexec/__init__.py
@@ -34,7 +34,7 @@
 Variables ending with "tag" contain references to XML tag objects created by the XML parser.
 """
 
-__version__ = "3.19"
+__version__ = "3.20-dev"
 
 
 class BenchExecException(Exception):  # noqa: N818 backwards compatibility