2 <!DOCTYPE platform SYSTEM "https://simgrid.org/simgrid.dtd">
3 <platform version="4.1">
4 <actor host="node-0.simgrid.org" function="sleeper" />
5 <actor host="node-0.simgrid.org" function="sleeper" start_time="2" />
6 <actor host="node-1.simgrid.org" function="sleeper" kill_time="3" />
7 <actor host="node-2.simgrid.org" function="sleeper" start_time="4" kill_time="7" />