Rule Validation Report


Checked machine: PlanPro_validation_en.rmch
With context: P-Hausen

Total number of rules: 3
Number of checked rules: 3
Number of successful rules: 3
Number of failed rules: 0
Number of disabled rules: 0

ROUTE (3)
Route_ID622 [Group end of an overlap/danger point distance at WA]  
B21E6550-C876-4128-934E-553C0A76CDFD
SUCCESS (249 ms)
4 successful checks:
  • (1) 0A7A2466-C44B-4AF6-AB07-62AC18CE55D4: The overlap/danger point distance ends at the WA coming from the tip. The associated group object ends at a distance of zero from the referenced switch component.
  • (1) 4404E12F-3192-4BB5-A2BF-A5843697BB79: The overlap/danger point distance ends at the WA coming from the tip. The associated group object ends at a distance of zero from the referenced switch component.
  • (1) A7172BBC-F8CA-40FF-AA7C-110930AA27CC: The overlap/danger point distance ends at the WA coming from the tip. The associated group object ends at a distance of zero from the referenced switch component.
  • (1) E1F309E2-80EE-40B0-9CEA-5BDC120800E8: The overlap/danger point distance ends at the WA coming from the tip. The associated group object ends at a distance of zero from the referenced switch component.
31 unchecked items:
  • (1) 0FBA7CA8-95F0-471B-94C5-B7F5796167A1
  • (1) 18CA22D9-113E-407B-8BBC-85736F72EC2A
  • (1) 1C19FB0C-8AD1-4803-BB29-66E9333FD83A
  • (1) 2F2740E4-A081-4392-B3C9-FB1DB0CA6F08
  • (1) 30865B20-28CF-41F6-93B3-1B5882D5D2F9
  • (1) 35CE7C0F-1232-499F-A49D-D4AB0168CB2F
  • (1) 3633DFFA-9B2B-4260-BC7E-D7B5FEB8CE79
  • (1) 3AB25608-9A18-497D-8D4B-55A96290E633
  • (1) 49BD3F3D-6093-4EBC-A264-2C4A8C1B9A61
  • (1) 5885D087-3E04-4AD3-86E8-92430024840D
  • (1) 66E55AA7-E10C-465A-8654-E0187F68C3F5
  • (1) 695953A5-EDB8-4249-9D5F-FD60C1E9015E
  • (1) 6D3FDB5F-C2F4-4146-8B33-5721A001D1A9
  • (1) 89F8A3A2-97B0-4272-8C6D-2CDCB8CB091A
  • (1) 8D5B5A41-A011-492E-9C93-B3974045D685
  • (1) 8E8084CA-8DDB-4ADD-A091-49E94E9CACA2
  • (1) 90A93BBE-2293-4CF3-B6CA-3AF3EEF43714
  • (1) 95904554-2808-4721-9196-5B02FEA18160
  • (1) A9BB39CC-48F1-427D-97E6-6E83A9B5DA63
  • (1) AE5AAD9C-56FD-4623-AC18-5091547A0230
  • (1) B5411E55-7A43-4A83-B840-04A6397E4C80
  • (1) B5C5D0E3-6CBA-4E58-B009-107F0F300016
  • (1) C537399F-D459-4286-A02D-F9F2BDFC082C
  • (1) C907F15F-40B1-427F-8A05-5E086CAA5EEF
  • (1) D68DE361-20B7-4150-B083-9EEEFD562D73
  • (1) E71C1630-C4E5-4015-942D-E721FAA1142D
  • (1) E770B37E-4C7A-49B2-8E41-55DB7E027710
  • (1) ED103013-9FE3-48AB-9A74-B26C0133A5BA
  • (1) F227451A-989C-4E9A-80C0-81BCA3A19130
  • (1) F56B2632-FDE8-4415-B647-2FBD0F9D964D
  • (1) FB291862-3F05-4E17-925B-C49B8B6BE117
Route_ID88 [End of the group of an overlap/danger point distance at a distinct point]  
A011F1E5-6107-425B-9AAB-9FF1F0E9068B
SUCCESS (181 ms)
31 successful checks:
  • (1) 0FBA7CA8-95F0-471B-94C5-B7F5796167A1: The overlap/hazard point distance ends at the danger point specified as the target (F23159B9-1CDF-48BA-8F29-7B6D7B5C0EC1).
  • (1) 18CA22D9-113E-407B-8BBC-85736F72EC2A: The overlap/hazard point distance ends at the danger point specified as the target (FD0BD467-7D58-4193-85F2-23B533E659A4).
  • (1) 1C19FB0C-8AD1-4803-BB29-66E9333FD83A: The overlap/hazard point distance ends at the danger point specified as the target (2E5AC9C3-68D4-4279-9D1B-85C945A05878).
  • (1) 2F2740E4-A081-4392-B3C9-FB1DB0CA6F08: The overlap/hazard point distance ends at the danger point specified as the target (2E5AC9C3-68D4-4279-9D1B-85C945A05878).
  • (1) 30865B20-28CF-41F6-93B3-1B5882D5D2F9: The overlap/hazard point distance ends at the danger point specified as the target (FDE7EE31-1E2C-48C5-BFAD-58BF45B9D29D).
  • (1) 35CE7C0F-1232-499F-A49D-D4AB0168CB2F: The overlap/hazard point distance ends at the danger point specified as the target (0814189A-A1B8-4EC0-B7A8-6B1F76A4F781).
  • (1) 3633DFFA-9B2B-4260-BC7E-D7B5FEB8CE79: The overlap/hazard point distance ends at the danger point specified as the target (074465DC-C4EF-47D0-8972-4DFBC18ECFCA).
  • (1) 3AB25608-9A18-497D-8D4B-55A96290E633: The overlap/hazard point distance ends at the danger point specified as the target (BD590730-60EA-4DAD-BFB3-1B956EBDF0C4).
  • (1) 49BD3F3D-6093-4EBC-A264-2C4A8C1B9A61: The overlap/hazard point distance ends at the danger point specified as the target (AC72361B-E801-4D8A-8710-293967DC7E96).
  • (1) 5885D087-3E04-4AD3-86E8-92430024840D: The overlap/hazard point distance ends at the danger point specified as the target (5A532A5B-0013-47FE-B0E0-4BC3C97AB1C0).
  • (1) 66E55AA7-E10C-465A-8654-E0187F68C3F5: The overlap/hazard point distance ends at the danger point specified as the target (735323C7-FA0B-4B0B-ACB3-876E069DCDD0).
  • (1) 695953A5-EDB8-4249-9D5F-FD60C1E9015E: The overlap/hazard point distance ends at the danger point specified as the target (BDB6CEAF-57F9-419D-8540-93B76EF686AD).
  • (1) 6D3FDB5F-C2F4-4146-8B33-5721A001D1A9: The overlap/hazard point distance ends at the danger point specified as the target (D1C98509-860E-4602-A2D3-A24863CE7D65).
  • (1) 89F8A3A2-97B0-4272-8C6D-2CDCB8CB091A: The overlap/hazard point distance ends at the danger point specified as the target (735323C7-FA0B-4B0B-ACB3-876E069DCDD0).
  • (1) 8D5B5A41-A011-492E-9C93-B3974045D685: The overlap/hazard point distance ends at the danger point specified as the target (51750670-4A3A-4AA2-8A7B-55B0B74F63FF).
  • (1) 8E8084CA-8DDB-4ADD-A091-49E94E9CACA2: The overlap/hazard point distance ends at the danger point specified as the target (E9246592-AA29-49B8-8FA7-41983AB74C8B).
  • (1) 90A93BBE-2293-4CF3-B6CA-3AF3EEF43714: The overlap/hazard point distance ends at the danger point specified as the target (6993834C-57A0-419A-9DF3-46F041981591).
  • (1) 95904554-2808-4721-9196-5B02FEA18160: The overlap/hazard point distance ends at the danger point specified as the target (1708C21D-C704-4D06-95C0-0FD07EBA631C).
  • (1) A9BB39CC-48F1-427D-97E6-6E83A9B5DA63: The overlap/hazard point distance ends at the danger point specified as the target (B26E901C-BEEF-463C-8690-BD23EC8B3BB2).
  • (1) AE5AAD9C-56FD-4623-AC18-5091547A0230: The overlap/hazard point distance ends at the danger point specified as the target (06390993-6FDF-4B64-B171-D1CC2AF1CC77).
  • (1) B5411E55-7A43-4A83-B840-04A6397E4C80: The overlap/hazard point distance ends at the danger point specified as the target (5156BD62-C7C6-471D-846C-137D56A44209).
  • (1) B5C5D0E3-6CBA-4E58-B009-107F0F300016: The overlap/hazard point distance ends at the danger point specified as the target (07AD4EA0-AA24-48AE-9D67-85C8F699AF56).
  • (1) C537399F-D459-4286-A02D-F9F2BDFC082C: The overlap/hazard point distance ends at the danger point specified as the target (07AD4EA0-AA24-48AE-9D67-85C8F699AF56).
  • (1) C907F15F-40B1-427F-8A05-5E086CAA5EEF: The overlap/hazard point distance ends at the danger point specified as the target (F7903E8D-C3A3-4EC3-A762-6B98F49447A1).
  • (1) D68DE361-20B7-4150-B083-9EEEFD562D73: The overlap/hazard point distance ends at the danger point specified as the target (51750670-4A3A-4AA2-8A7B-55B0B74F63FF).
  • (1) E71C1630-C4E5-4015-942D-E721FAA1142D: The overlap/hazard point distance ends at the danger point specified as the target (700D30FE-430F-4D67-AA8A-DAB86A796938).
  • (1) E770B37E-4C7A-49B2-8E41-55DB7E027710: The overlap/hazard point distance ends at the danger point specified as the target (0179CF6D-FE9D-4AE9-ABAA-FAE62EFFB728).
  • (1) ED103013-9FE3-48AB-9A74-B26C0133A5BA: The overlap/hazard point distance ends at the danger point specified as the target (CA10C088-E5C1-4997-AFF6-8C57C6542F8C).
  • (1) F227451A-989C-4E9A-80C0-81BCA3A19130: The overlap/hazard point distance ends at the danger point specified as the target (CF377D4B-EFA2-4FE4-AB9F-981E900C15DB).
  • (1) F56B2632-FDE8-4415-B647-2FBD0F9D964D: The overlap/hazard point distance ends at the danger point specified as the target (CD245161-16C2-41A0-A7D0-D3FD897BBF49).
  • (1) FB291862-3F05-4E17-925B-C49B8B6BE117: The overlap/hazard point distance ends at the danger point specified as the target (8A22FD32-6B16-47A1-A891-CD2402EF25AB).
4 unchecked items:
  • (1) 0A7A2466-C44B-4AF6-AB07-62AC18CE55D4
  • (1) 4404E12F-3192-4BB5-A2BF-A5843697BB79
  • (1) A7172BBC-F8CA-40FF-AA7C-110930AA27CC
  • (1) E1F309E2-80EE-40B0-9CEA-5BDC120800E8
Route_ID7 [Comparison nominal/actual length of the overlap or danger point distance]  
EBE51BED-7413-4CE4-BB92-6ADF9C79E8FE
SUCCESS (130 ms)
35 successful checks:
  • (1) 0A7A2466-C44B-4AF6-AB07-62AC18CE55D4: The actual length of the overlap (253.534 + 0.1) is equal to or greater than the nominal length (250.0).
  • (1) 0FBA7CA8-95F0-471B-94C5-B7F5796167A1: The actual length of the overlap (0.0 + 0.1) is equal to or greater than the nominal length (0.0).
  • (1) 18CA22D9-113E-407B-8BBC-85736F72EC2A: The actual length of the overlap (333.26199999999994 + 0.1) is equal to or greater than the nominal length (199.0).
  • (1) 1C19FB0C-8AD1-4803-BB29-66E9333FD83A: The actual length of the overlap (399.0000000000001 + 0.1) is equal to or greater than the nominal length (280.0).
  • (1) 2F2740E4-A081-4392-B3C9-FB1DB0CA6F08: The actual length of the overlap (413.539 + 0.1) is equal to or greater than the nominal length (206.0).
  • (1) 30865B20-28CF-41F6-93B3-1B5882D5D2F9: The actual length of the overlap (91.98700000000001 + 0.1) is equal to or greater than the nominal length (57.0).
  • (1) 35CE7C0F-1232-499F-A49D-D4AB0168CB2F: The actual length of the overlap (103.15100000000001 + 0.1) is equal to or greater than the nominal length (100.0).
  • (1) 3633DFFA-9B2B-4260-BC7E-D7B5FEB8CE79: The actual length of the overlap (270.175 + 0.1) is equal to or greater than the nominal length (242.0).
  • (1) 3AB25608-9A18-497D-8D4B-55A96290E633: The actual length of the overlap (72.52199999999993 + 0.1) is equal to or greater than the nominal length (58.0).
  • (1) 4404E12F-3192-4BB5-A2BF-A5843697BB79: The actual length of the overlap (154.54 + 0.1) is equal to or greater than the nominal length (116.0).
  • (1) 49BD3F3D-6093-4EBC-A264-2C4A8C1B9A61: The actual length of the overlap (113.151 + 0.1) is equal to or greater than the nominal length (65.0).
  • (1) 5885D087-3E04-4AD3-86E8-92430024840D: The actual length of the overlap (63.463 + 0.1) is equal to or greater than the nominal length (0.0).
  • (1) 66E55AA7-E10C-465A-8654-E0187F68C3F5: The actual length of the overlap (399.00699999999995 + 0.1) is equal to or greater than the nominal length (280.0).
  • (1) 695953A5-EDB8-4249-9D5F-FD60C1E9015E: The actual length of the overlap (270.175 + 0.1) is equal to or greater than the nominal length (232.0).
  • (1) 6D3FDB5F-C2F4-4146-8B33-5721A001D1A9: The actual length of the overlap (328.588 + 0.1) is equal to or greater than the nominal length (242.0).
  • (1) 89F8A3A2-97B0-4272-8C6D-2CDCB8CB091A: The actual length of the overlap (412.463 + 0.1) is equal to or greater than the nominal length (206.0).
  • (1) 8D5B5A41-A011-492E-9C93-B3974045D685: The actual length of the overlap (82.05499999999999 + 0.1) is equal to or greater than the nominal length (55.0).
  • (1) 8E8084CA-8DDB-4ADD-A091-49E94E9CACA2: The actual length of the overlap (164.39100000000002 + 0.1) is equal to or greater than the nominal length (116.0).
  • (1) 90A93BBE-2293-4CF3-B6CA-3AF3EEF43714: The actual length of the overlap (294.426 + 0.1) is equal to or greater than the nominal length (242.0).
  • (1) 95904554-2808-4721-9196-5B02FEA18160: The actual length of the overlap (229.69299999999998 + 0.1) is equal to or greater than the nominal length (228.0).
  • (1) A7172BBC-F8CA-40FF-AA7C-110930AA27CC: The actual length of the overlap (102.84100000000001 + 0.1) is equal to or greater than the nominal length (57.0).
  • (1) A9BB39CC-48F1-427D-97E6-6E83A9B5DA63: The actual length of the overlap (342.00600000000014 + 0.1) is equal to or greater than the nominal length (242.0).
  • (1) AE5AAD9C-56FD-4623-AC18-5091547A0230: The actual length of the overlap (195.764 + 0.1) is equal to or greater than the nominal length (125.0).
  • (1) B5411E55-7A43-4A83-B840-04A6397E4C80: The actual length of the overlap (288.073 + 0.1) is equal to or greater than the nominal length (200.0).
  • (1) B5C5D0E3-6CBA-4E58-B009-107F0F300016: The actual length of the overlap (232.94000000000005 + 0.1) is equal to or greater than the nominal length (198.0).
  • (1) C537399F-D459-4286-A02D-F9F2BDFC082C: The actual length of the overlap (235.16900000000015 + 0.1) is equal to or greater than the nominal length (199.0).
  • (1) C907F15F-40B1-427F-8A05-5E086CAA5EEF: The actual length of the overlap (114.40900000000002 + 0.1) is equal to or greater than the nominal length (100.0).
  • (1) D68DE361-20B7-4150-B083-9EEEFD562D73: The actual length of the overlap (82.154 + 0.1) is equal to or greater than the nominal length (55.0).
  • (1) E1F309E2-80EE-40B0-9CEA-5BDC120800E8: The actual length of the overlap (119.58699999999989 + 0.1) is equal to or greater than the nominal length (69.0).
  • (1) E71C1630-C4E5-4015-942D-E721FAA1142D: The actual length of the overlap (269.10299999999995 + 0.1) is equal to or greater than the nominal length (228.0).
  • (1) E770B37E-4C7A-49B2-8E41-55DB7E027710: The actual length of the overlap (374.967 + 0.1) is equal to or greater than the nominal length (232.0).
  • (1) ED103013-9FE3-48AB-9A74-B26C0133A5BA: The actual length of the overlap (199.9369999999999 + 0.1) is equal to or greater than the nominal length (50.0).
  • (1) F227451A-989C-4E9A-80C0-81BCA3A19130: The actual length of the overlap (265.26500000000016 + 0.1) is equal to or greater than the nominal length (200.0).
  • (1) F56B2632-FDE8-4415-B647-2FBD0F9D964D: The actual length of the overlap (70.178 + 0.1) is equal to or greater than the nominal length (65.0).
  • (1) FB291862-3F05-4E17-925B-C49B8B6BE117: The actual length of the overlap (199.9369999999999 + 0.1) is equal to or greater than the nominal length (155.0).
Check finished after: 6.17 s
ProB Version: 1.15.0-nightly (98dd87dc3e8dd9af46001561110c76720bc3ac8d)
Generated on 25/6/2025 at 9:11