/Domains/crossingScenario/inputs/Debug/

• ../
• partial-int.xmi
• partial.xmi
• sample.xmi
• state000000019.xmi