> [0.000000] [mc_comm_determinism/INFO] The recv communications pattern of the actor 0 is different! Different source for communication #1
> [0.000000] [mc_comm_determinism/INFO] Send-deterministic : Yes
> [0.000000] [mc_comm_determinism/INFO] Recv-deterministic : No
-> [0.000000] [mc_dfs/INFO] DFS exploration ended. 242 unique states visited; 67 backtracks (303 transition replays, 612 states visited overall)
+> [0.000000] [mc_dfs/INFO] DFS exploration ended. 134 unique states visited; 25 backtracks (75 transition replays, 234 states visited overall)
> Sent 1 to rank 0
> rank 0 recv the data
> rank 1 recv the data
-> Sent 0 to rank 1
-> Sent 1 to rank 0
-> rank 0 recv the data
-> rank 1 recv the data
-> Sent 0 to rank 1
-> Sent 1 to rank 0
-> rank 1 recv the data
-> rank 0 recv the data
-> Sent 1 to rank 0
-> Sent 0 to rank 1
-> rank 0 recv the data
-> rank 1 recv the data
> Sent 1 to rank 0
> Sent 0 to rank 1
> rank 0 recv the data
> rank 1 recv the data
> Sent 1 to rank 0
> Sent 0 to rank 1
-> rank 1 recv the data
-> rank 0 recv the data
-> Sent 1 to rank 0
-> Sent 0 to rank 1
> rank 0 recv the data
> rank 1 recv the data
-> Sent 1 to rank 0
-> Sent 0 to rank 1
-> rank 1 recv the data
-> rank 0 recv the data
-> [0.000000] [mc_dfs/INFO] DFS exploration ended. 30 unique states visited; 7 backtracks (19 transition replays, 56 states visited overall)
+> [0.000000] [mc_dfs/INFO] DFS exploration ended. 18 unique states visited; 2 backtracks (1 transition replays, 21 states visited overall)
p Testing the paranoid model
! timeout 60