-> [ 0.000000] (0:@) Expanded pairs = 21
-> [ 0.000000] (0:@) Visited pairs = 21
-> [ 0.000000] (0:@) Executed transitions = 20
-> [ 0.000000] (0:@) Counter-example depth : 20
-
-
-
+> [ 0.000000] (0:@) [(1)Tremblay (coordinator)] iSend(src=(1)Tremblay (coordinator), buff=(verbose only), size=(verbose only))
+> [ 0.000000] (0:@) Expanded pairs = 22
+> [ 0.000000] (0:@) Visited pairs = 22
+> [ 0.000000] (0:@) Executed transitions = 21
+> [ 0.000000] (0:@) Counter-example depth : 21