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