../platform.xml
)
+# variants to run
+#VARIANTS=( plain bookkeeping )
+
# number of hosts
NHOSTS=0
# time limit for the simulation
DEADLINE=10000
+# optional: additional arguments for loba (default: empty)
+#MORE_ARGS=( -r 42 -Z )
+
# optional: path to binary (default: ./loba)
#LOBA=./loba