Line 1_13: ((NOT(State_Type1=eState_Type1.ZERO_STATE)) AND (NOT(State_Type1=eState_Type1.SETUP_STATE)) AND

Operator	Mutant	Result
ROR	<>	KILLED
ROR	<>	KILLED
LCR	OR	KILLED
LCR	XOR	KILLED