Change pattern syntax to match result files to Python syntax
Change pattern syntax to match result files to Python syntax (cf. https://github.com/sosy-lab/benchexec/blob/main/doc/container.md#retrieving-result-files)
Change pattern syntax to match result files to Python syntax (cf. https://github.com/sosy-lab/benchexec/blob/main/doc/container.md#retrieving-result-files)