-$ ./concurrent_rw ${platfdir}/hosts_with_disks.xml "--log=root.fmt:[%10.6r]%e(%a@%h)%e%m%n"
-> [ 0.000000] (host@bob) actor 1 is writing!
-> [ 0.000000] (host@bob) actor 2 is writing!
-> [ 0.000000] (host@bob) actor 3 is writing!
-> [ 0.000000] (host@bob) actor 4 is writing!
-> [ 0.000000] (host@bob) actor 5 is writing!
-> [ 0.500000] (host@bob) actor 1 goes to sleep for 1 seconds
-> [ 0.500000] (host@bob) actor 2 goes to sleep for 2 seconds
-> [ 0.500000] (host@bob) actor 3 goes to sleep for 3 seconds
-> [ 0.500000] (host@bob) actor 4 goes to sleep for 4 seconds
-> [ 0.500000] (host@bob) actor 5 goes to sleep for 5 seconds
-> [ 1.500000] (host@bob) actor 1 is writing again!
-> [ 1.600000] (host@bob) actor 1 goes to sleep for 5 seconds
-> [ 2.500000] (host@bob) actor 2 is writing again!
-> [ 2.600000] (host@bob) actor 2 goes to sleep for 4 seconds
-> [ 3.500000] (host@bob) actor 3 is writing again!
-> [ 3.600000] (host@bob) actor 3 goes to sleep for 3 seconds
-> [ 4.500000] (host@bob) actor 4 is writing again!
-> [ 4.600000] (host@bob) actor 4 goes to sleep for 2 seconds
-> [ 5.500000] (host@bob) actor 5 is writing again!
-> [ 5.600000] (host@bob) actor 5 goes to sleep for 1 seconds
-> [ 6.600000] (host@bob) actor 1 is reading!
-> [ 6.600000] (host@bob) actor 2 is reading!
-> [ 6.600000] (host@bob) actor 3 is reading!
-> [ 6.600000] (host@bob) actor 4 is reading!
-> [ 6.600000] (host@bob) actor 5 is reading!
-> [ 6.800000] (host@bob) actor 1 goes to sleep for 1 seconds
-> [ 6.800000] (host@bob) actor 2 goes to sleep for 2 seconds
-> [ 6.800000] (host@bob) actor 3 goes to sleep for 3 seconds
-> [ 6.800000] (host@bob) actor 4 goes to sleep for 4 seconds
-> [ 6.800000] (host@bob) actor 5 goes to sleep for 5 seconds
-> [ 7.800000] (host@bob) actor 1 is reading again!
-> [ 8.800000] (host@bob) actor 2 is reading again!
-> [ 9.800000] (host@bob) actor 3 is reading again!
-> [ 10.800000] (host@bob) actor 4 is reading again!
-> [ 11.800000] (host@bob) actor 5 is reading again!
-> [ 11.840000] (maestro@) Simulation time 11.84
-
-$ ./concurrent_rw ${platfdir}/hosts_with_disks.xml "--log=root.fmt:[%10.6r]%e(%a@%h)%e%m%n" --cfg=disk/solver:bmf
-> [ 0.000000] (maestro@) Configuration change: Set 'disk/solver' to 'bmf'
+$ ${bindir:=.}/concurrent_rw ${platfdir}/hosts_with_disks.xml "--log=root.fmt:[%10.6r]%e(%a@%h)%e%m%n"
> [ 0.000000] (host@bob) actor 1 is writing!
> [ 0.000000] (host@bob) actor 2 is writing!
> [ 0.000000] (host@bob) actor 3 is writing!
