`bsf ax, bx`

Opcode: 660fbcc3

Instruction: BSF
Undefined flags: AF, CF, OF, PF, SF

Total states: 2,448

State #	`flag`			`rax`			`rbx`			`rdx`
State #	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ
1250	`0x0000000000000004`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000001`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
1251	`0x0000000000000010`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000001`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
1252	`0x0000000000000040`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000001`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
1253	`0x0000000000000080`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000001`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
1254	`0x0000000000000800`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000001`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
1255	`0x00000000000008D5`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000001`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
1256	`0x0000000000000000`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
1257	`0x0000000000000001`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
1258	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
1259	`0x0000000000000010`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
1260	`0x0000000000000040`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
1261	`0x0000000000000080`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
1262	`0x0000000000000800`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
1263	`0x00000000000008D5`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
1264	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000007`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
1265	`0x0000000000000001`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000007`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
1266	`0x0000000000000004`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000007`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
1267	`0x0000000000000010`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000007`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
1268	`0x0000000000000040`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000007`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
1269	`0x0000000000000080`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000007`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
1270	`0x0000000000000800`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000007`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
1271	`0x00000000000008D5`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000007`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
1272	`0x0000000000000000`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
1273	`0x0000000000000001`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
1274	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
1275	`0x0000000000000010`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
1276	`0x0000000000000040`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
1277	`0x0000000000000080`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
1278	`0x0000000000000800`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
1279	`0x00000000000008D5`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
1280	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000001`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
1281	`0x0000000000000001`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000001`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
1282	`0x0000000000000004`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000001`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
1283	`0x0000000000000010`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000001`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
1284	`0x0000000000000040`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000001`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
1285	`0x0000000000000080`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000001`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
1286	`0x0000000000000800`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000001`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
1287	`0x00000000000008D5`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000001`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
1288	`0x0000000000000000`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
1289	`0x0000000000000001`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
1290	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
1291	`0x0000000000000010`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
1292	`0x0000000000000040`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
1293	`0x0000000000000080`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
1294	`0x0000000000000800`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
1295	`0x00000000000008D5`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
1296	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000001`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
1297	`0x0000000000000001`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000001`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
1298	`0x0000000000000004`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000001`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
1299	`0x0000000000000010`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x0000000000000001`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ