`cmovnb eax, ebx`

Opcode: 0f43c3

Instruction: CMOVNB
Undefined flags: none

Total states: 2,592

State #	`flag`			`rax`			`rbx`			`rdx`
State #	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ
1050	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x0000000000000081`	`0x000000000000007F`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
1051	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x0000000000000081`	`0x000000000000007F`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
1052	`0x0000000000000040`	`0x0000000000010042`	Δ	`0x0000000000000081`	`0x000000000000007F`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
1053	`0x0000000000000080`	`0x0000000000010082`	Δ	`0x0000000000000081`	`0x000000000000007F`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
1054	`0x0000000000000800`	`0x0000000000010802`	Δ	`0x0000000000000081`	`0x000000000000007F`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
1055	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
1056	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000081`	`0x0000000000000080`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
1057	`0x0000000000000001`	`0x0000000000010003`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
1058	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x0000000000000081`	`0x0000000000000080`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
1059	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x0000000000000081`	`0x0000000000000080`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
1060	`0x0000000000000040`	`0x0000000000010042`	Δ	`0x0000000000000081`	`0x0000000000000080`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
1061	`0x0000000000000080`	`0x0000000000010082`	Δ	`0x0000000000000081`	`0x0000000000000080`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
1062	`0x0000000000000800`	`0x0000000000010802`	Δ	`0x0000000000000081`	`0x0000000000000080`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
1063	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
1064	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
1065	`0x0000000000000001`	`0x0000000000010003`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
1066	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
1067	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
1068	`0x0000000000000040`	`0x0000000000010042`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
1069	`0x0000000000000080`	`0x0000000000010082`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
1070	`0x0000000000000800`	`0x0000000000010802`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
1071	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
1072	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000081`	`0x0000000000000082`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
1073	`0x0000000000000001`	`0x0000000000010003`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
1074	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x0000000000000081`	`0x0000000000000082`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
1075	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x0000000000000081`	`0x0000000000000082`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
1076	`0x0000000000000040`	`0x0000000000010042`	Δ	`0x0000000000000081`	`0x0000000000000082`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
1077	`0x0000000000000080`	`0x0000000000010082`	Δ	`0x0000000000000081`	`0x0000000000000082`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
1078	`0x0000000000000800`	`0x0000000000010802`	Δ	`0x0000000000000081`	`0x0000000000000082`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
1079	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
1080	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000081`	`0x00000000000000FD`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
1081	`0x0000000000000001`	`0x0000000000010003`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
1082	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x0000000000000081`	`0x00000000000000FD`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
1083	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x0000000000000081`	`0x00000000000000FD`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
1084	`0x0000000000000040`	`0x0000000000010042`	Δ	`0x0000000000000081`	`0x00000000000000FD`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
1085	`0x0000000000000080`	`0x0000000000010082`	Δ	`0x0000000000000081`	`0x00000000000000FD`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
1086	`0x0000000000000800`	`0x0000000000010802`	Δ	`0x0000000000000081`	`0x00000000000000FD`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
1087	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
1088	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000081`	`0x00000000000000FE`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
1089	`0x0000000000000001`	`0x0000000000010003`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
1090	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x0000000000000081`	`0x00000000000000FE`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
1091	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x0000000000000081`	`0x00000000000000FE`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
1092	`0x0000000000000040`	`0x0000000000010042`	Δ	`0x0000000000000081`	`0x00000000000000FE`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
1093	`0x0000000000000080`	`0x0000000000010082`	Δ	`0x0000000000000081`	`0x00000000000000FE`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
1094	`0x0000000000000800`	`0x0000000000010802`	Δ	`0x0000000000000081`	`0x00000000000000FE`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
1095	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
1096	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000081`	`0x00000000000000FF`	Δ	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
1097	`0x0000000000000001`	`0x0000000000010003`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
1098	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x0000000000000081`	`0x00000000000000FF`	Δ	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
1099	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x0000000000000081`	`0x00000000000000FF`	Δ	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ