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" kill_time="5">
7 <actor host="node-1.simgrid.org" function="sleeper" start_time="1" kill_time="6">
10 <actor host="node-2.simgrid.org" function="sleeper" start_time="2" kill_time="7">
11 <argument value="4" />
13 <actor host="node-3.simgrid.org" function="sleeper" start_time="3" kill_time="8">
14 <argument value="4" />
16 <actor host="node-4.simgrid.org" function="sleeper" start_time="4" kill_time="9">
17 <argument value="5" />
19 <actor host="node-5.simgrid.org" function="sleeper" start_time="5" kill_time="10">