Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Some MSG examples mainly useful to test the model-checker
[simgrid.git] / examples / msg / mc / platform.xml
1 <?xml version='1.0'?>
2 <!DOCTYPE platform SYSTEM "simgrid.dtd">
3 <platform version="2">
4   <host id="HostA" power="137333000"/>
5   <host id="HostB" power="98095000"/>
6   <host id="HostC" power="98095000"/>
7   <host id="HostD" power="98095000"/>
8   <link id="1" bandwidth="3430125" latency="0.000536941"/>
9   <link id="2" bandwidth="3430125" latency="0.000536941"/>
10   <link id="3" bandwidth="3430125" latency="0.000536941"/>
11   <route src="HostA" dst="HostB"><link:ctn id="1"/></route>
12   <route src="HostB" dst="HostA"><link:ctn id="1"/></route>
13   <route src="HostA" dst="HostC"><link:ctn id="2"/></route>
14   <route src="HostC" dst="HostA"><link:ctn id="2"/></route>
15   <route src="HostA" dst="HostD"><link:ctn id="3"/></route>
16   <route src="HostD" dst="HostA"><link:ctn id="3"/></route>
17 </platform>
18