2 <!DOCTYPE platform SYSTEM "https://simgrid.org/simgrid.dtd">
3 <platform version="4.1">
4 <actor host="node-0.simgrid.org" function="sleeper" start_time="0">
7 <actor host="node-1.simgrid.org" function="sleeper" start_time="1">
10 <actor host="node-2.simgrid.org" function="sleeper" start_time="2">
11 <argument value="10"/>
13 <actor host="node-3.simgrid.org" function="sleeper" start_time="3">
14 <argument value="10"/>
16 <actor host="node-4.simgrid.org" function="sleeper" start_time="4">
17 <argument value="10"/>
19 <actor host="node-5.simgrid.org" function="sleeper" start_time="5">
20 <argument value="10"/>