Test A000 Allowed
States 4
0:EAX=1; 0:EBX=0; 1:EAX=1; 1:EBX=0;
0:EAX=1; 0:EBX=0; 1:EAX=1; 1:EBX=1;
0:EAX=1; 0:EBX=1; 1:EAX=1; 1:EBX=0;
0:EAX=1; 0:EBX=1; 1:EAX=1; 1:EBX=1;
Ok
Witnesses
Positive: 4096 Negative: 24128
Condition exists (0:EAX=1 /\ 0:EBX=0 /\ 1:EAX=1 /\ 1:EBX=0)
Hash=df727976765f43787e2e42991a8c820b

Test A001 Allowed
States 4
0:EAX=1; 0:EBX=0; 1:EAX=1; 1:EBX=0;
0:EAX=1; 0:EBX=0; 1:EAX=1; 1:EBX=1;
0:EAX=1; 0:EBX=1; 1:EAX=1; 1:EBX=0;
0:EAX=1; 0:EBX=1; 1:EAX=1; 1:EBX=1;
Ok
Witnesses
Positive: 448 Negative: 2198
Condition exists (0:EAX=1 /\ 0:EBX=0 /\ 1:EAX=1 /\ 1:EBX=0)
Hash=082946f1373fc4a77e3c30da33bca007

Test A002 Allowed
States 4
0:EAX=0; 1:EAX=1; 1:EBX=0;
0:EAX=0; 1:EAX=1; 1:EBX=1;
0:EAX=1; 1:EAX=1; 1:EBX=0;
0:EAX=1; 1:EAX=1; 1:EBX=1;
Ok
Witnesses
Positive: 480 Negative: 2040
Condition exists (0:EAX=0 /\ 1:EAX=1 /\ 1:EBX=0)
Hash=a1a2a18ad008e817203f8f7290a1c90e

Test A003 Allowed
States 3
1:EAX=1; 1:EBX=0; [x]=1;
1:EAX=1; 1:EBX=1; [x]=1;
1:EAX=1; 1:EBX=1; [x]=2;
No (allowed not found)
Witnesses
Positive: 0 Negative: 1176
Condition exists ([x]=2 /\ 1:EAX=1 /\ 1:EBX=0)
Hash=3ad76800dd197d5e94fede2c9fc81f40

Test A004 Allowed
States 3
1:EAX=1; 1:EBX=0; [x]=1;
1:EAX=1; 1:EBX=1; [x]=1;
1:EAX=1; 1:EBX=1; [x]=2;
No (allowed not found)
Witnesses
Positive: 0 Negative: 5880
Condition exists ([x]=2 /\ 1:EAX=1 /\ 1:EBX=0)
Hash=0060ae2797feee127fd866731db2d860

Test A005 Allowed
States 4
0:EAX=1; 0:EBX=0; 1:EAX=1; 1:EBX=0;
0:EAX=1; 0:EBX=0; 1:EAX=1; 1:EBX=1;
0:EAX=1; 0:EBX=1; 1:EAX=1; 1:EBX=0;
0:EAX=1; 0:EBX=1; 1:EAX=1; 1:EBX=1;
Ok
Witnesses
Positive: 64 Negative: 260
Condition exists (0:EAX=1 /\ 0:EBX=0 /\ 1:EAX=1 /\ 1:EBX=0)
Hash=18becfacdee74261273186c0b251c811

Test A006 Allowed
States 4
0:EAX=0; 1:EAX=1; 1:EBX=0;
0:EAX=0; 1:EAX=1; 1:EBX=1;
0:EAX=1; 1:EAX=1; 1:EBX=0;
0:EAX=1; 1:EAX=1; 1:EBX=1;
Ok
Witnesses
Positive: 80 Negative: 280
Condition exists (0:EAX=0 /\ 1:EAX=1 /\ 1:EBX=0)
Hash=0b5d1aa415e3de11a5f07459c5777f05

Test A007 Allowed
States 4
1:EAX=1; 1:EBX=1; [x]=1;
1:EAX=2; 1:EBX=0; [x]=1;
1:EAX=2; 1:EBX=1; [x]=1;
1:EAX=2; 1:EBX=1; [x]=2;
No (allowed not found)
Witnesses
Positive: 0 Negative: 192
Condition exists ([x]=2 /\ 1:EAX=2 /\ 1:EBX=0)
Hash=7662c2cd9083b397fb8c41e7f153ffe4

Test A008 Allowed
States 4
1:EAX=1; 1:EBX=1; [x]=1;
1:EAX=2; 1:EBX=0; [x]=1;
1:EAX=2; 1:EBX=1; [x]=1;
1:EAX=2; 1:EBX=1; [x]=2;
No (allowed not found)
Witnesses
Positive: 0 Negative: 768
Condition exists ([x]=2 /\ 1:EAX=2 /\ 1:EBX=0)
Hash=692e718c62df1e9e384528c643ffb6cb

Test A009 Allowed
States 4
0:EAX=0; 1:EAX=0;
0:EAX=0; 1:EAX=1;
0:EAX=1; 1:EAX=0;
0:EAX=1; 1:EAX=1;
Ok
Witnesses
Positive: 64 Negative: 80
Condition exists (0:EAX=0 /\ 1:EAX=0)
Hash=eb447b2ffe44de821f49c40caa8e9757

Test A010 Allowed
States 4
0:EAX=0; 1:EAX=0;
0:EAX=0; 1:EAX=1;
0:EAX=1; 1:EAX=0;
0:EAX=1; 1:EAX=1;
Ok
Witnesses
Positive: 80 Negative: 160
Condition exists (0:EAX=0 /\ 1:EAX=0)
Hash=a3e66220f9c7a2bb2260080ad50a2d2b

Test A011 Allowed
States 4
1:EAX=0; [x]=1;
1:EAX=0; [x]=2;
1:EAX=1; [x]=1;
1:EAX=1; [x]=2;
Ok
Witnesses
Positive: 11 Negative: 69
Condition exists ([x]=2 /\ 1:EAX=0)
Hash=62acb715d47784e9a92843581eaa8492

Test A012 Allowed
States 4
1:EAX=0; [x]=1;
1:EAX=0; [x]=2;
1:EAX=1; [x]=1;
1:EAX=1; [x]=2;
Ok
Witnesses
Positive: 44 Negative: 276
Condition exists ([x]=2 /\ 1:EAX=0)
Hash=3a3a7ab758805712905cc96f55cdafea

