ID | Start state | End state of unpermitted transforming |
PQMS2-ACS-INT-TC101 | S1 | S1, S2, S3, S5, S6, S7, S8, S9, S10, S11 |
PQMS2-ACS-INT-TC102 | S2 | S1, S2, S3, S5, S6, S7, S8, S9, S10, S11 |
PQMS2-ACS-INT-TC103 | S3 | S1, S2, S3, S5, S6, S7, S8, S9, S10, S11 |
PQMS2-ACS-INT-TC104 | S4 | S4, S8, S9, S12 |
PQMS2-ACS-INT-TC105 | S5 | S4, S8, S9, S12 |
PQMS2-ACS-INT-TC106 | S6 | S9, S10, S12 |
PQMS2-ACS-INT-TC107 | S7 | S8, S10, S12 |
PQMS2-ACS-INT-TC108 | S8 | S1, S2, S3, S5, S6, S7, S8, S9, S10, S11, S12 |
PQMS2-ACS-INT-TC109 | S9 | S1, S2, S3, S5, S6, S7, S8, S9, S10, S11, S12 |
PQMS2-ACS-INT-TC110 | S10 | S1, S2, S3, S5, S8, S9, S10, S11, S12 |
PQMS2-ACS-INT-TC111 | S11 | S1, S5, S6, S7, S8, S9, S10, S11, S12 |
PQMS2-ACS-INT-TC112 | S12 | S1, S2, S3, S4, S5, S6, S7, S8, S9, S10, S11, S12 |