<ruleValidationReport>
    <statistics>
        <checkedMachine>PlanPro_validation_en.rmch</checkedMachine>
        <context>mwe-planpro-7.xml</context>
        <totalNumber>3</totalNumber>
        <checked>3</checked>
        <succeeded>2</succeeded>
        <failed>1</failed>
        <disabled>0</disabled>
        <checkTime>54</checkTime>
        <proBVersion>1.15.1-nightly (0c2f760978c585c8ff30bab1cf0d78262975d95b)</proBVersion>
        <date>2025-11-03T11:21:48</date>
    </statistics>
    <classification name="ROUTE" nrRules="3">
        <rule name="Route_ID622" status="SUCCESS" id="Conflict point (end of overlap) at a beginning of a switch">
            <tag>B21E6550-C876-4128-934E-553C0A76CDFD</tag>
            <uncheckedMessage ruleBody="1">00000000-0000-0000-0000-000000000001</uncheckedMessage>
            <uncheckedMessage ruleBody="1">00000000-0000-0000-0000-000000000002</uncheckedMessage>
            <walltime>0</walltime>
        </rule>
        <rule name="Route_ID88" status="SUCCESS" id="Conflict point (end of overlap) at an identifiable point">
            <tag>A011F1E5-6107-425B-9AAB-9FF1F0E9068B</tag>
            <uncheckedMessage ruleBody="1">00000000-0000-0000-0000-000000000001</uncheckedMessage>
            <uncheckedMessage ruleBody="1">00000000-0000-0000-0000-000000000002</uncheckedMessage>
            <walltime>0</walltime>
        </rule>
        <rule name="Route_ID7" status="FAIL" id="Comparison nominal/actual length of the overlap or conflict point distance">
            <tag>EBE51BED-7413-4CE4-BB92-6ADF9C79E8FE</tag>
            <counterExample errorType="1">00000000-0000-0000-0000-000000000002: The actual length of the overlap (130.0 + 0.1) is not equal to or greater than the nominal length (135.0).</counterExample>
            <successMessage ruleBody="1">00000000-0000-0000-0000-000000000001: The actual length of the overlap (120.0 + 0.1) is equal to or greater than the nominal length (120.0).</successMessage>
            <walltime>8</walltime>
        </rule>
    </classification>
</ruleValidationReport>
