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(0) → 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_3 C(1) → REQ(C=1) D_1_18446744073709551615_3->T_1_18446744073709551615 T_2_18446744073709551615->A_0_false S_2_18446744073709551615_5 RSP → C(0) T_2_18446744073709551615->S_2_18446744073709551615_5 D_2_18446744073709551615_4 Activity → Completed D_2_18446744073709551615_4->T_2_18446744073709551615 T_3_18446744073709551615->A_0_false S_3_18446744073709551615_6 RSP → C(1) T_3_18446744073709551615->S_3_18446744073709551615_6 D_3_18446744073709551615_4 Activity → Completed D_3_18446744073709551615_4->T_3_18446744073709551615