+++ /dev/null
-<?xml version='1.0'?>
-<!DOCTYPE platform SYSTEM "https://simgrid.org/simgrid.dtd">
-<platform version="4.1">
- <actor host="node-0.simgrid.org" function="sleeper" start_time="0">
- <argument value="10"/>
- </actor>
- <actor host="node-1.simgrid.org" function="sleeper" start_time="1">
- <argument value="10"/>
- </actor>
- <actor host="node-2.simgrid.org" function="sleeper" start_time="2">
- <argument value="10"/>
- </actor>
- <actor host="node-3.simgrid.org" function="sleeper" start_time="3">
- <argument value="10"/>
- </actor>
- <actor host="node-4.simgrid.org" function="sleeper" start_time="4">
- <argument value="10"/>
- </actor>
- <actor host="node-5.simgrid.org" function="sleeper" start_time="5">
- <argument value="10"/>
- </actor>
-</platform>