model-checker : lex and yacc parsing moved in src/xbt/automaton/

[simgrid.git] / examples / simdag / 2clusters.xml

diff --git a/examples/simdag/2clusters.xml b/examples/simdag/2clusters.xml
index 9ede1a8..50d3651 100644 (file)
--- a/examples/simdag/2clusters.xml
+++ b/examples/simdag/2clusters.xml
@@ -1,5 +1,5 @@
 <?xml version='1.0'?>
- <!DOCTYPE platform SYSTEM "simgrid.dtd">
+ <!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
  <platform version="3">
  <AS  id="AS0"  routing="Full">
    <host id="C2-06" power="5000000000"/>
@@ -36,7 +36,6 @@
    <route src="C2-06" dst="C1-04"><link_ctn id="6"/><link_ctn id="11"/><link_ctn id="13"/><link_ctn id="14"/><link_ctn id="12"/><link_ctn id="10"/><link_ctn id="4"/>  </route>
    <route src="C2-06" dst="C1-00"><link_ctn id="6"/><link_ctn id="11"/><link_ctn id="13"/><link_ctn id="14"/><link_ctn id="12"/><link_ctn id="10"/><link_ctn id="0"/>  </route>
    <route src="C2-06" dst="C2-05"><link_ctn id="6"/><link_ctn id="11"/><link_ctn id="5"/>  </route>
-   <route src="C1-03" dst="C2-06"><link_ctn id="3"/><link_ctn id="10"/><link_ctn id="12"/><link_ctn id="14"/><link_ctn id="13"/><link_ctn id="11"/><link_ctn id="6"/>  </route>
    <route src="C1-03" dst="C2-07"><link_ctn id="3"/><link_ctn id="10"/><link_ctn id="12"/><link_ctn id="14"/><link_ctn id="13"/><link_ctn id="11"/><link_ctn id="7"/>  </route>
    <route src="C1-03" dst="C2-09"><link_ctn id="3"/><link_ctn id="10"/><link_ctn id="12"/><link_ctn id="14"/><link_ctn id="13"/><link_ctn id="11"/><link_ctn id="9"/>  </route>
    <route src="C1-03" dst="C1-02"><link_ctn id="3"/><link_ctn id="10"/><link_ctn id="2"/>  </route>
@@ -45,8 +44,6 @@
    <route src="C1-03" dst="C1-04"><link_ctn id="3"/><link_ctn id="10"/><link_ctn id="4"/>  </route>
    <route src="C1-03" dst="C1-00"><link_ctn id="3"/><link_ctn id="10"/><link_ctn id="0"/>  </route>
    <route src="C1-03" dst="C2-05"><link_ctn id="3"/><link_ctn id="10"/><link_ctn id="12"/><link_ctn id="14"/><link_ctn id="13"/><link_ctn id="11"/><link_ctn id="5"/>  </route>
-   <route src="C2-07" dst="C2-06"><link_ctn id="7"/><link_ctn id="11"/><link_ctn id="6"/>  </route>
-   <route src="C2-07" dst="C1-03"><link_ctn id="7"/><link_ctn id="11"/><link_ctn id="13"/><link_ctn id="14"/><link_ctn id="12"/><link_ctn id="10"/><link_ctn id="3"/>  </route>
    <route src="C2-07" dst="C2-09"><link_ctn id="7"/><link_ctn id="11"/><link_ctn id="9"/>  </route>
    <route src="C2-07" dst="C1-02"><link_ctn id="7"/><link_ctn id="11"/><link_ctn id="13"/><link_ctn id="14"/><link_ctn id="12"/><link_ctn id="10"/><link_ctn id="2"/>  </route>
    <route src="C2-07" dst="C2-08"><link_ctn id="7"/><link_ctn id="11"/><link_ctn id="8"/>  </route>
@@ -54,68 +51,26 @@
    <route src="C2-07" dst="C1-04"><link_ctn id="7"/><link_ctn id="11"/><link_ctn id="13"/><link_ctn id="14"/><link_ctn id="12"/><link_ctn id="10"/><link_ctn id="4"/>  </route>
    <route src="C2-07" dst="C1-00"><link_ctn id="7"/><link_ctn id="11"/><link_ctn id="13"/><link_ctn id="14"/><link_ctn id="12"/><link_ctn id="10"/><link_ctn id="0"/>  </route>
    <route src="C2-07" dst="C2-05"><link_ctn id="7"/><link_ctn id="11"/><link_ctn id="5"/>  </route>
-   <route src="C2-09" dst="C2-06"><link_ctn id="9"/><link_ctn id="11"/><link_ctn id="6"/>  </route>
-   <route src="C2-09" dst="C1-03"><link_ctn id="9"/><link_ctn id="11"/><link_ctn id="13"/><link_ctn id="14"/><link_ctn id="12"/><link_ctn id="10"/><link_ctn id="3"/>  </route>
-   <route src="C2-09" dst="C2-07"><link_ctn id="9"/><link_ctn id="11"/><link_ctn id="7"/>  </route>
    <route src="C2-09" dst="C1-02"><link_ctn id="9"/><link_ctn id="11"/><link_ctn id="13"/><link_ctn id="14"/><link_ctn id="12"/><link_ctn id="10"/><link_ctn id="2"/>  </route>
    <route src="C2-09" dst="C2-08"><link_ctn id="9"/><link_ctn id="11"/><link_ctn id="8"/>  </route>
    <route src="C2-09" dst="C1-01"><link_ctn id="9"/><link_ctn id="11"/><link_ctn id="13"/><link_ctn id="14"/><link_ctn id="12"/><link_ctn id="10"/><link_ctn id="1"/>  </route>
    <route src="C2-09" dst="C1-04"><link_ctn id="9"/><link_ctn id="11"/><link_ctn id="13"/><link_ctn id="14"/><link_ctn id="12"/><link_ctn id="10"/><link_ctn id="4"/>  </route>
    <route src="C2-09" dst="C1-00"><link_ctn id="9"/><link_ctn id="11"/><link_ctn id="13"/><link_ctn id="14"/><link_ctn id="12"/><link_ctn id="10"/><link_ctn id="0"/>  </route>
    <route src="C2-09" dst="C2-05"><link_ctn id="9"/><link_ctn id="11"/><link_ctn id="5"/>  </route>
-   <route src="C1-02" dst="C2-06"><link_ctn id="2"/><link_ctn id="10"/><link_ctn id="12"/><link_ctn id="14"/><link_ctn id="13"/><link_ctn id="11"/><link_ctn id="6"/>  </route>
-   <route src="C1-02" dst="C1-03"><link_ctn id="2"/><link_ctn id="10"/><link_ctn id="3"/>  </route>
-   <route src="C1-02" dst="C2-07"><link_ctn id="2"/><link_ctn id="10"/><link_ctn id="12"/><link_ctn id="14"/><link_ctn id="13"/><link_ctn id="11"/><link_ctn id="7"/>  </route>
-   <route src="C1-02" dst="C2-09"><link_ctn id="2"/><link_ctn id="10"/><link_ctn id="12"/><link_ctn id="14"/><link_ctn id="13"/><link_ctn id="11"/><link_ctn id="9"/>  </route>
    <route src="C1-02" dst="C2-08"><link_ctn id="2"/><link_ctn id="10"/><link_ctn id="12"/><link_ctn id="14"/><link_ctn id="13"/><link_ctn id="11"/><link_ctn id="8"/>  </route>
    <route src="C1-02" dst="C1-01"><link_ctn id="2"/><link_ctn id="10"/><link_ctn id="1"/>  </route>
    <route src="C1-02" dst="C1-04"><link_ctn id="2"/><link_ctn id="10"/><link_ctn id="4"/>  </route>
    <route src="C1-02" dst="C1-00"><link_ctn id="2"/><link_ctn id="10"/><link_ctn id="0"/>  </route>
    <route src="C1-02" dst="C2-05"><link_ctn id="2"/><link_ctn id="10"/><link_ctn id="12"/><link_ctn id="14"/><link_ctn id="13"/><link_ctn id="11"/><link_ctn id="5"/>  </route>
-   <route src="C2-08" dst="C2-06"><link_ctn id="8"/><link_ctn id="11"/><link_ctn id="6"/>  </route>
-   <route src="C2-08" dst="C1-03"><link_ctn id="8"/><link_ctn id="11"/><link_ctn id="13"/><link_ctn id="14"/><link_ctn id="12"/><link_ctn id="10"/><link_ctn id="3"/>  </route>
-   <route src="C2-08" dst="C2-07"><link_ctn id="8"/><link_ctn id="11"/><link_ctn id="7"/>  </route>
-   <route src="C2-08" dst="C2-09"><link_ctn id="8"/><link_ctn id="11"/><link_ctn id="9"/>  </route>
-   <route src="C2-08" dst="C1-02"><link_ctn id="8"/><link_ctn id="11"/><link_ctn id="13"/><link_ctn id="14"/><link_ctn id="12"/><link_ctn id="10"/><link_ctn id="2"/>  </route>
    <route src="C2-08" dst="C1-01"><link_ctn id="8"/><link_ctn id="11"/><link_ctn id="13"/><link_ctn id="14"/><link_ctn id="12"/><link_ctn id="10"/><link_ctn id="1"/>  </route>
    <route src="C2-08" dst="C1-04"><link_ctn id="8"/><link_ctn id="11"/><link_ctn id="13"/><link_ctn id="14"/><link_ctn id="12"/><link_ctn id="10"/><link_ctn id="4"/>  </route>
    <route src="C2-08" dst="C1-00"><link_ctn id="8"/><link_ctn id="11"/><link_ctn id="13"/><link_ctn id="14"/><link_ctn id="12"/><link_ctn id="10"/><link_ctn id="0"/>  </route>
    <route src="C2-08" dst="C2-05"><link_ctn id="8"/><link_ctn id="11"/><link_ctn id="5"/>  </route>
-   <route src="C1-01" dst="C2-06"><link_ctn id="1"/><link_ctn id="10"/><link_ctn id="12"/><link_ctn id="14"/><link_ctn id="13"/><link_ctn id="11"/><link_ctn id="6"/>  </route>
-   <route src="C1-01" dst="C1-03"><link_ctn id="1"/><link_ctn id="10"/><link_ctn id="3"/>  </route>
-   <route src="C1-01" dst="C2-07"><link_ctn id="1"/><link_ctn id="10"/><link_ctn id="12"/><link_ctn id="14"/><link_ctn id="13"/><link_ctn id="11"/><link_ctn id="7"/>  </route>
-   <route src="C1-01" dst="C2-09"><link_ctn id="1"/><link_ctn id="10"/><link_ctn id="12"/><link_ctn id="14"/><link_ctn id="13"/><link_ctn id="11"/><link_ctn id="9"/>  </route>
-   <route src="C1-01" dst="C1-02"><link_ctn id="1"/><link_ctn id="10"/><link_ctn id="2"/>  </route>
-   <route src="C1-01" dst="C2-08"><link_ctn id="1"/><link_ctn id="10"/><link_ctn id="12"/><link_ctn id="14"/><link_ctn id="13"/><link_ctn id="11"/><link_ctn id="8"/>  </route>
    <route src="C1-01" dst="C1-04"><link_ctn id="1"/><link_ctn id="10"/><link_ctn id="4"/>  </route>
    <route src="C1-01" dst="C1-00"><link_ctn id="1"/><link_ctn id="10"/><link_ctn id="0"/>  </route>
    <route src="C1-01" dst="C2-05"><link_ctn id="1"/><link_ctn id="10"/><link_ctn id="12"/><link_ctn id="14"/><link_ctn id="13"/><link_ctn id="11"/><link_ctn id="5"/>  </route>
-   <route src="C1-04" dst="C2-06"><link_ctn id="4"/><link_ctn id="10"/><link_ctn id="12"/><link_ctn id="14"/><link_ctn id="13"/><link_ctn id="11"/><link_ctn id="6"/>  </route>
-   <route src="C1-04" dst="C1-03"><link_ctn id="4"/><link_ctn id="10"/><link_ctn id="3"/>  </route>
-   <route src="C1-04" dst="C2-07"><link_ctn id="4"/><link_ctn id="10"/><link_ctn id="12"/><link_ctn id="14"/><link_ctn id="13"/><link_ctn id="11"/><link_ctn id="7"/>  </route>
-   <route src="C1-04" dst="C2-09"><link_ctn id="4"/><link_ctn id="10"/><link_ctn id="12"/><link_ctn id="14"/><link_ctn id="13"/><link_ctn id="11"/><link_ctn id="9"/>  </route>
-   <route src="C1-04" dst="C1-02"><link_ctn id="4"/><link_ctn id="10"/><link_ctn id="2"/>  </route>
-   <route src="C1-04" dst="C2-08"><link_ctn id="4"/><link_ctn id="10"/><link_ctn id="12"/><link_ctn id="14"/><link_ctn id="13"/><link_ctn id="11"/><link_ctn id="8"/>  </route>
-   <route src="C1-04" dst="C1-01"><link_ctn id="4"/><link_ctn id="10"/><link_ctn id="1"/>  </route>
    <route src="C1-04" dst="C1-00"><link_ctn id="4"/><link_ctn id="10"/><link_ctn id="0"/>  </route>
    <route src="C1-04" dst="C2-05"><link_ctn id="4"/><link_ctn id="10"/><link_ctn id="12"/><link_ctn id="14"/><link_ctn id="13"/><link_ctn id="11"/><link_ctn id="5"/>  </route>
-   <route src="C1-00" dst="C2-06"><link_ctn id="0"/><link_ctn id="10"/><link_ctn id="12"/><link_ctn id="14"/><link_ctn id="13"/><link_ctn id="11"/><link_ctn id="6"/>  </route>
-   <route src="C1-00" dst="C1-03"><link_ctn id="0"/><link_ctn id="10"/><link_ctn id="3"/>  </route>
-   <route src="C1-00" dst="C2-07"><link_ctn id="0"/><link_ctn id="10"/><link_ctn id="12"/><link_ctn id="14"/><link_ctn id="13"/><link_ctn id="11"/><link_ctn id="7"/>  </route>
-   <route src="C1-00" dst="C2-09"><link_ctn id="0"/><link_ctn id="10"/><link_ctn id="12"/><link_ctn id="14"/><link_ctn id="13"/><link_ctn id="11"/><link_ctn id="9"/>  </route>
-   <route src="C1-00" dst="C1-02"><link_ctn id="0"/><link_ctn id="10"/><link_ctn id="2"/>  </route>
-   <route src="C1-00" dst="C2-08"><link_ctn id="0"/><link_ctn id="10"/><link_ctn id="12"/><link_ctn id="14"/><link_ctn id="13"/><link_ctn id="11"/><link_ctn id="8"/>  </route>
-   <route src="C1-00" dst="C1-01"><link_ctn id="0"/><link_ctn id="10"/><link_ctn id="1"/>  </route>
-   <route src="C1-00" dst="C1-04"><link_ctn id="0"/><link_ctn id="10"/><link_ctn id="4"/>  </route>
    <route src="C1-00" dst="C2-05"><link_ctn id="0"/><link_ctn id="10"/><link_ctn id="12"/><link_ctn id="14"/><link_ctn id="13"/><link_ctn id="11"/><link_ctn id="5"/>  </route>
-   <route src="C2-05" dst="C2-06"><link_ctn id="5"/><link_ctn id="11"/><link_ctn id="6"/>  </route>
-   <route src="C2-05" dst="C1-03"><link_ctn id="5"/><link_ctn id="11"/><link_ctn id="13"/><link_ctn id="14"/><link_ctn id="12"/><link_ctn id="10"/><link_ctn id="3"/>  </route>
-   <route src="C2-05" dst="C2-07"><link_ctn id="5"/><link_ctn id="11"/><link_ctn id="7"/>  </route>
-   <route src="C2-05" dst="C2-09"><link_ctn id="5"/><link_ctn id="11"/><link_ctn id="9"/>  </route>
-   <route src="C2-05" dst="C1-02"><link_ctn id="5"/><link_ctn id="11"/><link_ctn id="13"/><link_ctn id="14"/><link_ctn id="12"/><link_ctn id="10"/><link_ctn id="2"/>  </route>
-   <route src="C2-05" dst="C2-08"><link_ctn id="5"/><link_ctn id="11"/><link_ctn id="8"/>  </route>
-   <route src="C2-05" dst="C1-01"><link_ctn id="5"/><link_ctn id="11"/><link_ctn id="13"/><link_ctn id="14"/><link_ctn id="12"/><link_ctn id="10"/><link_ctn id="1"/>  </route>
-   <route src="C2-05" dst="C1-04"><link_ctn id="5"/><link_ctn id="11"/><link_ctn id="13"/><link_ctn id="14"/><link_ctn id="12"/><link_ctn id="10"/><link_ctn id="4"/>  </route>
-   <route src="C2-05" dst="C1-00"><link_ctn id="5"/><link_ctn id="11"/><link_ctn id="13"/><link_ctn id="14"/><link_ctn id="12"/><link_ctn id="10"/><link_ctn id="0"/>  </route>
  </AS>
  </platform>