- Meta variables etc.

Clocks-Test-11.xml

 <?xml version="1.0" encoding="utf-8"?>
 <!DOCTYPE nta PUBLIC '-//Uppaal Team//DTD Flat System 1.1//EN' 'http://www.it.uu.se/research/group/darts/uppaal/flat-1_2.dtd'>
 <nta>
-	<declaration>
-
-int __reach__ = 0;
+	<declaration>int __reach__ = 0;
 int __single__ = 0;
 
 /* PREFIX
@@ -12,6 +10,7 @@ Based on model file "Clocks-Test-9"
 
 */
 
+
 /* POSTFIX
 Final results:
 
@@ -21,14 +20,14 @@ Final results:
 - Server has sent $(bc_repetitions_server_counter) broadcast packets
 
 -------------------------------------
-
 (c) May 2017
 Kristof Teichel, 
 Physikalisch-Technische Bundesanstalt
-
 -------------------------------------
+
 */
 
+
 // PREFERENCES // (Fixed constants, chosen by user via this source code) //
 
 const int	number_bc_channels			    =	2;
@@ -51,8 +50,8 @@ const int
 
  			clock_incrementation_value	    =	1,
 
-			bc_interval_regulator		    =	11,
-            server_bc_sending_window_ratio  =   5,
+			bc_interval_regulator		    =	20,
+            server_bc_sending_window_ratio  =   10,
 			bc_interval_length		        =	bc_interval_regulator * clock_incrementation_value,
 
 			bc_offset_max_accepted	    	=	3;