Replacing numbers in statistic tex output doesn't work for all numbers
https://github.com/sosy-lab/benchexec/blob/41965278c9c2cc706218ee0b50c7ae4e89bb3eeb/benchexec/tablegenerator/statisticstex.py#L124

The current regex which should match any number in a latex command doesn't detect all numbers. 
I guess it should be someting like `"\\d+"`.

I have encountered this problem with with the benchmarkname "portfolio-parallel-2-complete". The 2 wasn't formatted to II
I'm happy to submit a PR to fix this problem. But I'm not sure, if I'm missing something
diff --git a/benchexec/tablegenerator/statisticstex.py b/benchexec/tablegenerator/statisticstex.py
index 4e479a92..bf286987 100644
--- a/benchexec/tablegenerator/statisticstex.py
+++ b/benchexec/tablegenerator/statisticstex.py
@@ -121,7 +121,10 @@ class LatexCommand:
     @staticmethod
     def format_command_part(name: str) -> str:
         name = re.sub(
-            "^[1-9]+$", lambda match: util.number_to_roman_string(match.group()), name
+            # Matches only positive numbers, because 0 can't be converted to roman number
+            "[1-9]\\\\d*",
+            lambda match: util.number_to_roman_string(match.group()),
+            name,
         )
 
         name = re.split("[^a-zA-Z]", name)
['benchexec/tablegenerator/statisticstex.py']