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