cluster_0 cluster_1 cluster_2 cluster_3 A_0_false LST T_0_18446744073709551615 A_0_false->T_0_18446744073709551615 T_1_18446744073709551615 A_0_false->T_1_18446744073709551615 A_1_true WRK(C=0) T_2_18446744073709551615 A_1_true->T_2_18446744073709551615 T_0_18446744073709551615->A_1_true D_0_18446744073709551615_1 C → REQ(C=0) D_0_18446744073709551615_1->T_0_18446744073709551615 A_2_true WRK(C=1) T_3_18446744073709551615 A_2_true->T_3_18446744073709551615 T_1_18446744073709551615->A_2_true D_1_18446744073709551615_2 C → REQ(C=1) D_1_18446744073709551615_2->T_1_18446744073709551615 T_2_18446744073709551615->A_0_false S_2_18446744073709551615_4 RSP → C T_2_18446744073709551615->S_2_18446744073709551615_4 D_2_18446744073709551615_3 Activity → Completed D_2_18446744073709551615_3->T_2_18446744073709551615 T_3_18446744073709551615->A_0_false S_3_18446744073709551615_4 RSP → C T_3_18446744073709551615->S_3_18446744073709551615_4 D_3_18446744073709551615_3 Activity → Completed D_3_18446744073709551615_3->T_3_18446744073709551615