`cmovnae eax, ebx`

Opcode: 0f42c3

Instruction: CMOVNAE
Undefined flags: none

Total states: 2,592

State #	`flag`			`rax`			`rbx`			`rdx`
State #	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ
600	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
601	`0x0000000000000001`	`0x0000000000010003`	Δ	`0x000000000000007E`	`0x0000000000000003`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
602	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
603	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
604	`0x0000000000000040`	`0x0000000000010042`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
605	`0x0000000000000080`	`0x0000000000010082`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
606	`0x0000000000000800`	`0x0000000000010802`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
607	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0x000000000000007E`	`0x0000000000000003`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
608	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
609	`0x0000000000000001`	`0x0000000000010003`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
610	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
611	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
612	`0x0000000000000040`	`0x0000000000010042`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
613	`0x0000000000000080`	`0x0000000000010082`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
614	`0x0000000000000800`	`0x0000000000010802`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
615	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
616	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
617	`0x0000000000000001`	`0x0000000000010003`	Δ	`0x000000000000007E`	`0x000000000000007F`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
618	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
619	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
620	`0x0000000000000040`	`0x0000000000010042`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
621	`0x0000000000000080`	`0x0000000000010082`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
622	`0x0000000000000800`	`0x0000000000010802`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
623	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0x000000000000007E`	`0x000000000000007F`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
624	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
625	`0x0000000000000001`	`0x0000000000010003`	Δ	`0x000000000000007E`	`0x0000000000000080`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
626	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
627	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
628	`0x0000000000000040`	`0x0000000000010042`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
629	`0x0000000000000080`	`0x0000000000010082`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
630	`0x0000000000000800`	`0x0000000000010802`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
631	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0x000000000000007E`	`0x0000000000000080`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
632	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
633	`0x0000000000000001`	`0x0000000000010003`	Δ	`0x000000000000007E`	`0x0000000000000081`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
634	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
635	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
636	`0x0000000000000040`	`0x0000000000010042`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
637	`0x0000000000000080`	`0x0000000000010082`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
638	`0x0000000000000800`	`0x0000000000010802`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
639	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0x000000000000007E`	`0x0000000000000081`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
640	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
641	`0x0000000000000001`	`0x0000000000010003`	Δ	`0x000000000000007E`	`0x0000000000000082`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
642	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
643	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
644	`0x0000000000000040`	`0x0000000000010042`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
645	`0x0000000000000080`	`0x0000000000010082`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
646	`0x0000000000000800`	`0x0000000000010802`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
647	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0x000000000000007E`	`0x0000000000000082`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
648	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
649	`0x0000000000000001`	`0x0000000000010003`	Δ	`0x000000000000007E`	`0x00000000000000FD`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ