`adc rax, rbx`

Opcode: 4811d8

Instruction: ADC
Undefined flags: none

Total states: 2,592

State #	`flag`			`rax`			`rbx`			`rdx`
State #	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ
850	`0x0000000000000004`	`0x0000000000010017`	Δ	`0x000000000000007F`	`0x000000000000007D`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
851	`0x0000000000000010`	`0x0000000000010017`	Δ	`0x000000000000007F`	`0x000000000000007D`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
852	`0x0000000000000040`	`0x0000000000010017`	Δ	`0x000000000000007F`	`0x000000000000007D`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
853	`0x0000000000000080`	`0x0000000000010017`	Δ	`0x000000000000007F`	`0x000000000000007D`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
854	`0x0000000000000800`	`0x0000000000010017`	Δ	`0x000000000000007F`	`0x000000000000007D`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
855	`0x00000000000008D5`	`0x0000000000010017`	Δ	`0x000000000000007F`	`0x000000000000007E`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
856	`0x0000000000000000`	`0x0000000000010017`	Δ	`0x000000000000007F`	`0x000000000000007E`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
857	`0x0000000000000001`	`0x0000000000010013`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
858	`0x0000000000000004`	`0x0000000000010017`	Δ	`0x000000000000007F`	`0x000000000000007E`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
859	`0x0000000000000010`	`0x0000000000010017`	Δ	`0x000000000000007F`	`0x000000000000007E`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
860	`0x0000000000000040`	`0x0000000000010017`	Δ	`0x000000000000007F`	`0x000000000000007E`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
861	`0x0000000000000080`	`0x0000000000010017`	Δ	`0x000000000000007F`	`0x000000000000007E`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
862	`0x0000000000000800`	`0x0000000000010017`	Δ	`0x000000000000007F`	`0x000000000000007E`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
863	`0x00000000000008D5`	`0x0000000000010013`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
864	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
865	`0x0000000000000001`	`0x0000000000010006`	Δ	`0x0000000000000080`	`0x0000000000000081`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
866	`0x0000000000000004`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
867	`0x0000000000000010`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
868	`0x0000000000000040`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
869	`0x0000000000000080`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
870	`0x0000000000000800`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
871	`0x00000000000008D5`	`0x0000000000010006`	Δ	`0x0000000000000080`	`0x0000000000000081`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
872	`0x0000000000000000`	`0x0000000000010006`	Δ	`0x0000000000000080`	`0x0000000000000081`	Δ	`0x0000000000000001`	`0x0000000000000001`	=	`—`	`0x0000000000000000`	Δ
873	`0x0000000000000001`	`0x0000000000010006`	Δ	`0x0000000000000080`	`0x0000000000000082`	Δ	`0x0000000000000001`	`0x0000000000000001`	=	`—`	`0x0000000000000000`	Δ
874	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x0000000000000080`	`0x0000000000000081`	Δ	`0x0000000000000001`	`0x0000000000000001`	=	`—`	`0x0000000000000000`	Δ
875	`0x0000000000000010`	`0x0000000000010006`	Δ	`0x0000000000000080`	`0x0000000000000081`	Δ	`0x0000000000000001`	`0x0000000000000001`	=	`—`	`0x0000000000000000`	Δ
876	`0x0000000000000040`	`0x0000000000010006`	Δ	`0x0000000000000080`	`0x0000000000000081`	Δ	`0x0000000000000001`	`0x0000000000000001`	=	`—`	`0x0000000000000000`	Δ
877	`0x0000000000000080`	`0x0000000000010006`	Δ	`0x0000000000000080`	`0x0000000000000081`	Δ	`0x0000000000000001`	`0x0000000000000001`	=	`—`	`0x0000000000000000`	Δ
878	`0x0000000000000800`	`0x0000000000010006`	Δ	`0x0000000000000080`	`0x0000000000000081`	Δ	`0x0000000000000001`	`0x0000000000000001`	=	`—`	`0x0000000000000000`	Δ
879	`0x00000000000008D5`	`0x0000000000010006`	Δ	`0x0000000000000080`	`0x0000000000000082`	Δ	`0x0000000000000001`	`0x0000000000000001`	=	`—`	`0x0000000000000000`	Δ
880	`0x0000000000000000`	`0x0000000000010006`	Δ	`0x0000000000000080`	`0x0000000000000082`	Δ	`0x0000000000000002`	`0x0000000000000002`	=	`—`	`0x0000000000000000`	Δ
881	`0x0000000000000001`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x0000000000000083`	Δ	`0x0000000000000002`	`0x0000000000000002`	=	`—`	`0x0000000000000000`	Δ
882	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x0000000000000080`	`0x0000000000000082`	Δ	`0x0000000000000002`	`0x0000000000000002`	=	`—`	`0x0000000000000000`	Δ
883	`0x0000000000000010`	`0x0000000000010006`	Δ	`0x0000000000000080`	`0x0000000000000082`	Δ	`0x0000000000000002`	`0x0000000000000002`	=	`—`	`0x0000000000000000`	Δ
884	`0x0000000000000040`	`0x0000000000010006`	Δ	`0x0000000000000080`	`0x0000000000000082`	Δ	`0x0000000000000002`	`0x0000000000000002`	=	`—`	`0x0000000000000000`	Δ
885	`0x0000000000000080`	`0x0000000000010006`	Δ	`0x0000000000000080`	`0x0000000000000082`	Δ	`0x0000000000000002`	`0x0000000000000002`	=	`—`	`0x0000000000000000`	Δ
886	`0x0000000000000800`	`0x0000000000010006`	Δ	`0x0000000000000080`	`0x0000000000000082`	Δ	`0x0000000000000002`	`0x0000000000000002`	=	`—`	`0x0000000000000000`	Δ
887	`0x00000000000008D5`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x0000000000000083`	Δ	`0x0000000000000002`	`0x0000000000000002`	=	`—`	`0x0000000000000000`	Δ
888	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x0000000000000083`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
889	`0x0000000000000001`	`0x0000000000010006`	Δ	`0x0000000000000080`	`0x0000000000000084`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
890	`0x0000000000000004`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x0000000000000083`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
891	`0x0000000000000010`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x0000000000000083`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
892	`0x0000000000000040`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x0000000000000083`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
893	`0x0000000000000080`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x0000000000000083`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
894	`0x0000000000000800`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x0000000000000083`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
895	`0x00000000000008D5`	`0x0000000000010006`	Δ	`0x0000000000000080`	`0x0000000000000084`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
896	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x00000000000000FE`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
897	`0x0000000000000001`	`0x0000000000010006`	Δ	`0x0000000000000080`	`0x00000000000000FF`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
898	`0x0000000000000004`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x00000000000000FE`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
899	`0x0000000000000010`	`0x0000000000010002`	Δ	`0x0000000000000080`	`0x00000000000000FE`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ