def parse_competition(stdout):

    match = re.search(r"^s +([a-zA-Z ]+) *\r?$", stdout, re.M)

    if match:
        (answer_type,) = match.groups()
        answer_type = answer_type.strip().upper()

        if answer_type in ("SATISFIABLE", "OPTIMUM FOUND"):
            certificate = []

            for line in re.findall(r"^v ([ x\-0-9]*) *\r?$", stdout, re.M):
                certificate.extend(line.split())

            if len(certificate) == 0:
                return None
        elif answer_type == "UNSATISFIABLE":
            certificate = None
        else:
            return None

        return (answer_type, certificate)

    return None
Posting a short new thread shows errors.
dataset/ETHPy150Open borg-project/borg/borg/domains/pb/solvers.py/parse_competition--crossover with--dataset/ETHPy150Open mozilla/kitsune/kitsune/forums/tests/test_templates.py/ThreadsTemplateTests.test_new_short_thread_errors