model-checker : increase timeout

[simgrid.git] / examples / msg / actions / NAS_LU_S_4 / platform.xml

diff --git a/examples/msg/actions/NAS_LU_S_4/platform.xml b/examples/msg/actions/NAS_LU_S_4/platform.xml
index e13650e692e36414555c96431dad7b732472d151..ee95bf7c431add3ec01ae0951cc0ad8284fe85b7 100644 (file)
--- a/examples/msg/actions/NAS_LU_S_4/platform.xml
+++ b/examples/msg/actions/NAS_LU_S_4/platform.xml
@@ -1,14 +1,14 @@
 <?xml version='1.0'?>
-<!DOCTYPE platform SYSTEM "simgrid.dtd">
+<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
 <platform version="3">
  <AS id="AS_bordeaux" routing="Full">
 
   <cluster id="AS_bordereau-0" 
           prefix="bordereau-" suffix=".bordeaux.grid5000.fr"
-          radical="1-4" 
-          power="1.17E9" 
-          bw="1.25E8" lat="16.67E-6" 
-          bb_bw="1.25E9" bb_lat="16.67E-6">
+          radical="1-10" 
+          power="1.17Gf" 
+          bw="125MBps" lat="16.67us" 
+          bb_bw="1.25GBps" bb_lat="16.67us">
   </cluster> 
  </AS>
 </platform>