<ruleValidationReport>
    <statistics>
        <checkedMachine>PlanPro_validation_en.rmch</checkedMachine>
        <context>mwe-planpro-88.xml</context>
        <totalNumber>3</totalNumber>
        <checked>3</checked>
        <succeeded>2</succeeded>
        <failed>1</failed>
        <disabled>0</disabled>
        <checkTime>441</checkTime>
        <proBVersion>1.15.1-nightly (0c2f760978c585c8ff30bab1cf0d78262975d95b)</proBVersion>
        <date>2025-11-03T11:21:59</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>
            <uncheckedMessage ruleBody="1">00000000-0000-0000-0000-000000000003</uncheckedMessage>
            <uncheckedMessage ruleBody="1">00000000-0000-0000-0000-000000000004</uncheckedMessage>
            <uncheckedMessage ruleBody="1">00000000-0000-0000-0000-000000000005</uncheckedMessage>
            <uncheckedMessage ruleBody="1">00000000-0000-0000-0000-000000000006</uncheckedMessage>
            <uncheckedMessage ruleBody="1">00000000-0000-0000-0000-000000000007</uncheckedMessage>
            <uncheckedMessage ruleBody="1">00000000-0000-0000-0000-000000000008</uncheckedMessage>
            <uncheckedMessage ruleBody="1">00000000-0000-0000-0000-000000000009</uncheckedMessage>
            <walltime>42</walltime>
        </rule>
        <rule name="Route_ID88" status="FAIL" id="Conflict point (end of overlap) at an identifiable point">
            <tag>A011F1E5-6107-425B-9AAB-9FF1F0E9068B</tag>
            <counterExample errorType="1">00000000-0000-0000-0000-000000000004: The overlap/conflict point distance does not end at the conflict point specified as the target (00000000-0000-0000-0002-000000000003). The location of the overlap/conflict point distance must be corrected.</counterExample>
            <counterExample errorType="1">00000000-0000-0000-0000-000000000005: The overlap/conflict point distance does not end at the conflict point specified as the target (00000000-0000-0000-0002-000000000002). The location of the overlap/conflict point distance must be corrected.</counterExample>
            <counterExample errorType="1">00000000-0000-0000-0000-000000000006: The overlap/conflict point distance does not end at the conflict point specified as the target (00000000-0000-0000-0002-000000000004). The location of the overlap/conflict point distance must be corrected.</counterExample>
            <successMessage ruleBody="1">00000000-0000-0000-0000-000000000001: The overlap/conflict point distance ends at the conflict point specified as the target (00000000-0000-0000-0002-000000000001).</successMessage>
            <successMessage ruleBody="1">00000000-0000-0000-0000-000000000002: The overlap/conflict point distance ends at the conflict point specified as the target (00000000-0000-0000-0002-000000000001).</successMessage>
            <successMessage ruleBody="1">00000000-0000-0000-0000-000000000003: The overlap/conflict point distance ends at the conflict point specified as the target (00000000-0000-0000-0002-000000000002).</successMessage>
            <successMessage ruleBody="1">00000000-0000-0000-0000-000000000007: The overlap/conflict point distance ends at the conflict point specified as the target (00000000-0000-0000-0002-000000000005).</successMessage>
            <successMessage ruleBody="1">00000000-0000-0000-0000-000000000008: The overlap/conflict point distance ends at the conflict point specified as the target (00000000-0000-0000-0002-000000000001).</successMessage>
            <uncheckedMessage ruleBody="1">00000000-0000-0000-0000-000000000009</uncheckedMessage>
            <walltime>36</walltime>
        </rule>
        <rule name="Route_ID7" status="SUCCESS" id="Comparison nominal/actual length of the overlap or conflict point distance">
            <tag>EBE51BED-7413-4CE4-BB92-6ADF9C79E8FE</tag>
            <successMessage ruleBody="1">00000000-0000-0000-0000-000000000001: The actual length of the overlap (4.0009999999999994 + 0.1) is equal to or greater than the nominal length (0.0).</successMessage>
            <successMessage ruleBody="1">00000000-0000-0000-0000-000000000002: The actual length of the overlap (4.0009999999999994 + 0.1) is equal to or greater than the nominal length (0.0).</successMessage>
            <successMessage ruleBody="1">00000000-0000-0000-0000-000000000003: The actual length of the overlap (7.0 + 0.1) is equal to or greater than the nominal length (0.0).</successMessage>
            <successMessage ruleBody="1">00000000-0000-0000-0000-000000000004: The actual length of the overlap (6.0 + 0.1) is equal to or greater than the nominal length (0.0).</successMessage>
            <successMessage ruleBody="1">00000000-0000-0000-0000-000000000005: The actual length of the overlap (1.0 + 0.1) is equal to or greater than the nominal length (0.0).</successMessage>
            <successMessage ruleBody="1">00000000-0000-0000-0000-000000000006: The actual length of the overlap (1.0 + 0.1) is equal to or greater than the nominal length (0.0).</successMessage>
            <successMessage ruleBody="1">00000000-0000-0000-0000-000000000007: The actual length of the overlap (4.0009999999999994 + 0.1) is equal to or greater than the nominal length (0.0).</successMessage>
            <successMessage ruleBody="1">00000000-0000-0000-0000-000000000008: The actual length of the overlap (7.001999999999999 + 0.1) is equal to or greater than the nominal length (0.0).</successMessage>
            <successMessage ruleBody="1">00000000-0000-0000-0000-000000000009: The actual length of the overlap (3.001 + 0.1) is equal to or greater than the nominal length (0.0).</successMessage>
            <walltime>25</walltime>
        </rule>
    </classification>
</ruleValidationReport>
