Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : break forgotten in switch
[simgrid.git] / examples / simdag / 2clusters.xml
1 <?xml version='1.0'?>
2  <!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
3  <platform version="3">
4  <AS  id="AS0"  routing="Full">
5    <host id="C2-06" power="5000000000"/>
6    <host id="C1-03" power="1000000000"/>
7    <host id="C2-07" power="5000000000"/>
8    <host id="C2-09" power="5000000000"/>
9    <host id="C1-02" power="1000000000"/>
10    <host id="C2-08" power="5000000000"/>
11    <host id="C1-01" power="1000000000"/>
12    <host id="C1-04" power="1000000000"/>
13    <host id="C1-00" power="1000000000"/>
14    <host id="C2-05" power="5000000000"/>
15    <link id="6" bandwidth="125000000" latency="0.000100"/>
16    <link id="11" bandwidth="125000000" latency="0.000100" sharing_policy="FATPIPE" />
17    <link id="3" bandwidth="125000000" latency="0.000100"/>
18    <link id="7" bandwidth="125000000" latency="0.000100"/>
19    <link id="9" bandwidth="125000000" latency="0.000100"/>
20    <link id="12" bandwidth="1250000000" latency="0.000100"/>
21    <link id="2" bandwidth="125000000" latency="0.000100"/>
22    <link id="14" bandwidth="1250000000" latency="0.050000"/>
23    <link id="8" bandwidth="125000000" latency="0.000100"/>
24    <link id="1" bandwidth="125000000" latency="0.000100"/>
25    <link id="4" bandwidth="125000000" latency="0.000100"/>
26    <link id="0" bandwidth="125000000" latency="0.000100"/>
27    <link id="13" bandwidth="1250000000" latency="0.000100"/>
28    <link id="10" bandwidth="125000000" latency="0.000100" sharing_policy="FATPIPE" />
29    <link id="5" bandwidth="125000000" latency="0.000100"/>
30    <route src="C2-06" dst="C1-03"><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="3"/>  </route>
31    <route src="C2-06" dst="C2-07"><link_ctn id="6"/><link_ctn id="11"/><link_ctn id="7"/>  </route>
32    <route src="C2-06" dst="C2-09"><link_ctn id="6"/><link_ctn id="11"/><link_ctn id="9"/>  </route>
33    <route src="C2-06" dst="C1-02"><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="2"/>  </route>
34    <route src="C2-06" dst="C2-08"><link_ctn id="6"/><link_ctn id="11"/><link_ctn id="8"/>  </route>
35    <route src="C2-06" dst="C1-01"><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="1"/>  </route>
36    <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>
37    <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>
38    <route src="C2-06" dst="C2-05"><link_ctn id="6"/><link_ctn id="11"/><link_ctn id="5"/>  </route>
39    <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>
40    <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>
41    <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>
42    <route src="C1-03" dst="C1-02"><link_ctn id="3"/><link_ctn id="10"/><link_ctn id="2"/>  </route>
43    <route src="C1-03" dst="C2-08"><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="8"/>  </route>
44    <route src="C1-03" dst="C1-01"><link_ctn id="3"/><link_ctn id="10"/><link_ctn id="1"/>  </route>
45    <route src="C1-03" dst="C1-04"><link_ctn id="3"/><link_ctn id="10"/><link_ctn id="4"/>  </route>
46    <route src="C1-03" dst="C1-00"><link_ctn id="3"/><link_ctn id="10"/><link_ctn id="0"/>  </route>
47    <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>
48    <route src="C2-07" dst="C2-06"><link_ctn id="7"/><link_ctn id="11"/><link_ctn id="6"/>  </route>
49    <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>
50    <route src="C2-07" dst="C2-09"><link_ctn id="7"/><link_ctn id="11"/><link_ctn id="9"/>  </route>
51    <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>
52    <route src="C2-07" dst="C2-08"><link_ctn id="7"/><link_ctn id="11"/><link_ctn id="8"/>  </route>
53    <route src="C2-07" dst="C1-01"><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="1"/>  </route>
54    <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>
55    <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>
56    <route src="C2-07" dst="C2-05"><link_ctn id="7"/><link_ctn id="11"/><link_ctn id="5"/>  </route>
57    <route src="C2-09" dst="C2-06"><link_ctn id="9"/><link_ctn id="11"/><link_ctn id="6"/>  </route>
58    <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>
59    <route src="C2-09" dst="C2-07"><link_ctn id="9"/><link_ctn id="11"/><link_ctn id="7"/>  </route>
60    <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>
61    <route src="C2-09" dst="C2-08"><link_ctn id="9"/><link_ctn id="11"/><link_ctn id="8"/>  </route>
62    <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>
63    <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>
64    <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>
65    <route src="C2-09" dst="C2-05"><link_ctn id="9"/><link_ctn id="11"/><link_ctn id="5"/>  </route>
66    <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>
67    <route src="C1-02" dst="C1-03"><link_ctn id="2"/><link_ctn id="10"/><link_ctn id="3"/>  </route>
68    <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>
69    <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>
70    <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>
71    <route src="C1-02" dst="C1-01"><link_ctn id="2"/><link_ctn id="10"/><link_ctn id="1"/>  </route>
72    <route src="C1-02" dst="C1-04"><link_ctn id="2"/><link_ctn id="10"/><link_ctn id="4"/>  </route>
73    <route src="C1-02" dst="C1-00"><link_ctn id="2"/><link_ctn id="10"/><link_ctn id="0"/>  </route>
74    <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>
75    <route src="C2-08" dst="C2-06"><link_ctn id="8"/><link_ctn id="11"/><link_ctn id="6"/>  </route>
76    <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>
77    <route src="C2-08" dst="C2-07"><link_ctn id="8"/><link_ctn id="11"/><link_ctn id="7"/>  </route>
78    <route src="C2-08" dst="C2-09"><link_ctn id="8"/><link_ctn id="11"/><link_ctn id="9"/>  </route>
79    <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>
80    <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>
81    <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>
82    <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>
83    <route src="C2-08" dst="C2-05"><link_ctn id="8"/><link_ctn id="11"/><link_ctn id="5"/>  </route>
84    <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>
85    <route src="C1-01" dst="C1-03"><link_ctn id="1"/><link_ctn id="10"/><link_ctn id="3"/>  </route>
86    <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>
87    <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>
88    <route src="C1-01" dst="C1-02"><link_ctn id="1"/><link_ctn id="10"/><link_ctn id="2"/>  </route>
89    <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>
90    <route src="C1-01" dst="C1-04"><link_ctn id="1"/><link_ctn id="10"/><link_ctn id="4"/>  </route>
91    <route src="C1-01" dst="C1-00"><link_ctn id="1"/><link_ctn id="10"/><link_ctn id="0"/>  </route>
92    <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>
93    <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>
94    <route src="C1-04" dst="C1-03"><link_ctn id="4"/><link_ctn id="10"/><link_ctn id="3"/>  </route>
95    <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>
96    <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>
97    <route src="C1-04" dst="C1-02"><link_ctn id="4"/><link_ctn id="10"/><link_ctn id="2"/>  </route>
98    <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>
99    <route src="C1-04" dst="C1-01"><link_ctn id="4"/><link_ctn id="10"/><link_ctn id="1"/>  </route>
100    <route src="C1-04" dst="C1-00"><link_ctn id="4"/><link_ctn id="10"/><link_ctn id="0"/>  </route>
101    <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>
102    <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>
103    <route src="C1-00" dst="C1-03"><link_ctn id="0"/><link_ctn id="10"/><link_ctn id="3"/>  </route>
104    <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>
105    <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>
106    <route src="C1-00" dst="C1-02"><link_ctn id="0"/><link_ctn id="10"/><link_ctn id="2"/>  </route>
107    <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>
108    <route src="C1-00" dst="C1-01"><link_ctn id="0"/><link_ctn id="10"/><link_ctn id="1"/>  </route>
109    <route src="C1-00" dst="C1-04"><link_ctn id="0"/><link_ctn id="10"/><link_ctn id="4"/>  </route>
110    <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>
111    <route src="C2-05" dst="C2-06"><link_ctn id="5"/><link_ctn id="11"/><link_ctn id="6"/>  </route>
112    <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>
113    <route src="C2-05" dst="C2-07"><link_ctn id="5"/><link_ctn id="11"/><link_ctn id="7"/>  </route>
114    <route src="C2-05" dst="C2-09"><link_ctn id="5"/><link_ctn id="11"/><link_ctn id="9"/>  </route>
115    <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>
116    <route src="C2-05" dst="C2-08"><link_ctn id="5"/><link_ctn id="11"/><link_ctn id="8"/>  </route>
117    <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>
118    <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>
119    <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>
120  </AS>
121  </platform>