> [ 0.000000] (1:server@HostA) OK
> [ 0.000000] (4:client@HostD) Sent!
> [ 0.000000] (2:client@HostB) Sent!
+> [ 0.000000] (3:client@HostC) Sent!
+> [ 0.000000] (2:client@HostB) Sent!
+> [ 0.000000] (3:client@HostC) Sent!
+> [ 0.000000] (1:server@HostA) OK
+> [ 0.000000] (4:client@HostD) Sent!
+> [ 0.000000] (2:client@HostB) Sent!
+> [ 0.000000] (3:client@HostC) Sent!
> [ 0.000000] (2:client@HostB) Sent!
> [ 0.000000] (1:server@HostA) **************************
> [ 0.000000] (1:server@HostA) *** PROPERTY NOT VALID ***
> [ 0.000000] (1:server@HostA) [(1)HostA (server)] iRecv (dst=(1)HostA (server), buff=(verbose only), size=(verbose only))
> [ 0.000000] (1:server@HostA) [(3)HostC (client)] iSend (src=(3)HostC (client), buff=(verbose only), size=(verbose only))
> [ 0.000000] (1:server@HostA) [(1)HostA (server)] Wait (comm=(verbose only) [(3)HostC (client)-> (1)HostA (server)])
-> [ 0.000000] (1:server@HostA) Expanded states = 17
-> [ 0.000000] (1:server@HostA) Visited states = 32
-> [ 0.000000] (1:server@HostA) Executed transitions = 30
+> [ 0.000000] (1:server@HostA) Expanded states = 22
+> [ 0.000000] (1:server@HostA) Visited states = 56
+> [ 0.000000] (1:server@HostA) Executed transitions = 52
> [ 0.000000] (3:client@HostC) Send 2!
> [ 0.000000] (2:client@HostB) Send 1!
> [ 0.000000] (1:server@HostA) Received 2
-+ [ 0.000000] (1:server@HostA) Received 1
+> [ 0.000000] (1:server@HostA) Received 1
> [ 0.000000] (1:server@HostA) OK
> [ 0.000000] (1:server@HostA) Received 2
> [ 0.000000] (1:server@HostA) Received 1