Test SB+dmb.sy+po Allowed
States 4
0:X3=0; 1:X3=0;
0:X3=0; 1:X3=1;
0:X3=1; 1:X3=0;
0:X3=1; 1:X3=1;
Ok
Witnesses
Positive: 1 Negative: 3
Condition exists (0:X3=0 /\ 1:X3=0)
Observation SB+dmb.sy+po Sometimes 1 3
Time SB+dmb.sy+po 0.00
Hash=acd016f60ab03ac5b9097f42209cb065

Test R+po+dmb.sy Allowed
States 4
1:X3=0; [y]=1;
1:X3=0; [y]=2;
1:X3=1; [y]=1;
1:X3=1; [y]=2;
Ok
Witnesses
Positive: 1 Negative: 3
Condition exists ([y]=2 /\ 1:X3=0)
Observation R+po+dmb.sy Sometimes 1 3
Time R+po+dmb.sy 0.00
Hash=f8a6aa6da9a958eb179dcab604d3a51e

Test SB+dmb.sys Allowed
States 3
0:X3=0; 1:X3=1;
0:X3=1; 1:X3=0;
0:X3=1; 1:X3=1;
No
Witnesses
Positive: 0 Negative: 3
Condition exists (0:X3=0 /\ 1:X3=0)
Observation SB+dmb.sys Never 0 3
Time SB+dmb.sys 0.00
Hash=c6a533fb255005c1a89998321e552a86

Test SB+dmb.st+dmb.sy Allowed
States 4
0:X3=0; 1:X3=0;
0:X3=0; 1:X3=1;
0:X3=1; 1:X3=0;
0:X3=1; 1:X3=1;
Ok
Witnesses
Positive: 1 Negative: 3
Condition exists (0:X3=0 /\ 1:X3=0)
Observation SB+dmb.st+dmb.sy Sometimes 1 3
Time SB+dmb.st+dmb.sy 0.00
Hash=b78bc378c016a41ff237ff0899675243

Test R+dmb.sys Allowed
States 3
1:X3=0; [y]=1;
1:X3=1; [y]=1;
1:X3=1; [y]=2;
No
Witnesses
Positive: 0 Negative: 3
Condition exists ([y]=2 /\ 1:X3=0)
Observation R+dmb.sys Never 0 3
Time R+dmb.sys 0.00
Hash=d8feed7146fa9f77ff983d26efc9d029

Test R+dmb.st+dmb.sy Allowed
States 3
1:X3=0; [y]=1;
1:X3=1; [y]=1;
1:X3=1; [y]=2;
No
Witnesses
Positive: 0 Negative: 3
Condition exists ([y]=2 /\ 1:X3=0)
Observation R+dmb.st+dmb.sy Never 0 3
Time R+dmb.st+dmb.sy 0.00
Hash=25284ee854776ca9b8eafd325dd36b15

Test SB+dmb.ld+dmb.sy Allowed
States 4
0:X3=0; 1:X3=0;
0:X3=0; 1:X3=1;
0:X3=1; 1:X3=0;
0:X3=1; 1:X3=1;
Ok
Witnesses
Positive: 1 Negative: 3
Condition exists (0:X3=0 /\ 1:X3=0)
Observation SB+dmb.ld+dmb.sy Sometimes 1 3
Time SB+dmb.ld+dmb.sy 0.00
Hash=1f3139f9d9577402cba527c922602846

Test R+dmb.ld+dmb.sy Allowed
States 4
1:X3=0; [y]=1;
1:X3=0; [y]=2;
1:X3=1; [y]=1;
1:X3=1; [y]=2;
Ok
Witnesses
Positive: 1 Negative: 3
Condition exists ([y]=2 /\ 1:X3=0)
Observation R+dmb.ld+dmb.sy Sometimes 1 3
Time R+dmb.ld+dmb.sy 0.00
Hash=a29f213b834ffd4dc7533abbb782d156

Test MP+dmb.sys Allowed
States 3
1:X1=0; 1:X3=0;
1:X1=0; 1:X3=1;
1:X1=1; 1:X3=1;
No
Witnesses
Positive: 0 Negative: 3
Condition exists (1:X1=1 /\ 1:X3=0)
Observation MP+dmb.sys Never 0 3
Time MP+dmb.sys 0.00
Hash=ba6fa85f3a14d91cf1d52c22f60d9b83

Test MP+dmb.ld+dmb.sy Allowed
States 4
1:X1=0; 1:X3=0;
1:X1=0; 1:X3=1;
1:X1=1; 1:X3=0;
1:X1=1; 1:X3=1;
Ok
Witnesses
Positive: 1 Negative: 3
Condition exists (1:X1=1 /\ 1:X3=0)
Observation MP+dmb.ld+dmb.sy Sometimes 1 3
Time MP+dmb.ld+dmb.sy 0.00
Hash=7127fc6848ab8ee17c2f6299811a2e3b

Test MP+dmb.sy+po Allowed
States 4
1:X1=0; 1:X3=0;
1:X1=0; 1:X3=1;
1:X1=1; 1:X3=0;
1:X1=1; 1:X3=1;
Ok
Witnesses
Positive: 1 Negative: 3
Condition exists (1:X1=1 /\ 1:X3=0)
Observation MP+dmb.sy+po Sometimes 1 3
Time MP+dmb.sy+po 0.00
Hash=4e133de79065843db2e2bbaf079d080a

Test MP+po+dmb.sy Allowed
States 4
1:X1=0; 1:X3=0;
1:X1=0; 1:X3=1;
1:X1=1; 1:X3=0;
1:X1=1; 1:X3=1;
Ok
Witnesses
Positive: 1 Negative: 3
Condition exists (1:X1=1 /\ 1:X3=0)
Observation MP+po+dmb.sy Sometimes 1 3
Time MP+po+dmb.sy 0.00
Hash=5dccf49d050a0fcb3c6ad3f3d8e2a20c

Test MP+dmb.sy+dmb.st Allowed
States 4
1:X1=0; 1:X3=0;
1:X1=0; 1:X3=1;
1:X1=1; 1:X3=0;
1:X1=1; 1:X3=1;
Ok
Witnesses
Positive: 1 Negative: 3
Condition exists (1:X1=1 /\ 1:X3=0)
Observation MP+dmb.sy+dmb.st Sometimes 1 3
Time MP+dmb.sy+dmb.st 0.00
Hash=202db5762bb72b5585915c13bbd543b5

Test S+dmb.sy+po Allowed
States 4
1:X1=0; [x]=1;
1:X1=0; [x]=2;
1:X1=1; [x]=1;
1:X1=1; [x]=2;
Ok
Witnesses
Positive: 1 Negative: 3
Condition exists ([x]=2 /\ 1:X1=1)
Observation S+dmb.sy+po Sometimes 1 3
Time S+dmb.sy+po 0.00
Hash=15ad98e55f7098898ad567e00f3adb87

Test LB+dmb.sy+po Allowed
States 4
0:X1=0; 1:X1=0;
0:X1=0; 1:X1=1;
0:X1=1; 1:X1=0;
0:X1=1; 1:X1=1;
Ok
Witnesses
Positive: 1 Negative: 3
Condition exists (0:X1=1 /\ 1:X1=1)
Observation LB+dmb.sy+po Sometimes 1 3
Time LB+dmb.sy+po 0.00
Hash=8083d9ae4ef74f218457001062189689

Test MP+dmb.sy+dmb.ld Allowed
States 3
1:X1=0; 1:X3=0;
1:X1=0; 1:X3=1;
1:X1=1; 1:X3=1;
No
Witnesses
Positive: 0 Negative: 3
Condition exists (1:X1=1 /\ 1:X3=0)
Observation MP+dmb.sy+dmb.ld Never 0 3
Time MP+dmb.sy+dmb.ld 0.00
Hash=d82022da373011dff14206bcd89e0ddc

Test S+dmb.sy+dmb.st Allowed
States 4
1:X1=0; [x]=1;
1:X1=0; [x]=2;
1:X1=1; [x]=1;
1:X1=1; [x]=2;
Ok
Witnesses
Positive: 1 Negative: 3
Condition exists ([x]=2 /\ 1:X1=1)
Observation S+dmb.sy+dmb.st Sometimes 1 3
Time S+dmb.sy+dmb.st 0.00
Hash=d53133708d96e09dba09e1b09eb66e4f

Test S+dmb.sys Allowed
States 3
1:X1=0; [x]=1;
1:X1=0; [x]=2;
1:X1=1; [x]=1;
No
Witnesses
Positive: 0 Negative: 3
Condition exists ([x]=2 /\ 1:X1=1)
Observation S+dmb.sys Never 0 3
Time S+dmb.sys 0.00
Hash=2a684d141e99d8a17d8801bd6311d477

Test LB+dmb.sys Allowed
States 3
0:X1=0; 1:X1=0;
0:X1=0; 1:X1=1;
0:X1=1; 1:X1=0;
No
Witnesses
Positive: 0 Negative: 3
Condition exists (0:X1=1 /\ 1:X1=1)
Observation LB+dmb.sys Never 0 3
Time LB+dmb.sys 0.00
Hash=58f58841a29b4785c0318afb13b06b93

Test MP+dmb.st+dmb.sy Allowed
States 3
1:X1=0; 1:X3=0;
1:X1=0; 1:X3=1;
1:X1=1; 1:X3=1;
No
Witnesses
Positive: 0 Negative: 3
Condition exists (1:X1=1 /\ 1:X3=0)
Observation MP+dmb.st+dmb.sy Never 0 3
Time MP+dmb.st+dmb.sy 0.00
Hash=d764e96e8088aab47976314b226174f1

Test S+dmb.sy+dmb.ld Allowed
States 3
1:X1=0; [x]=1;
1:X1=0; [x]=2;
1:X1=1; [x]=1;
No
Witnesses
Positive: 0 Negative: 3
Condition exists ([x]=2 /\ 1:X1=1)
Observation S+dmb.sy+dmb.ld Never 0 3
Time S+dmb.sy+dmb.ld 0.00
Hash=f98337ec0467ad11ac5de19daaa87c0e

Test LB+dmb.ld+dmb.sy Allowed
States 3
0:X1=0; 1:X1=0;
0:X1=0; 1:X1=1;
0:X1=1; 1:X1=0;
No
Witnesses
Positive: 0 Negative: 3
Condition exists (0:X1=1 /\ 1:X1=1)
Observation LB+dmb.ld+dmb.sy Never 0 3
Time LB+dmb.ld+dmb.sy 0.00
Hash=92cfe94d90653f203dcac78b581bc095

Test R+dmb.sy+po Allowed
States 4
1:X3=0; [y]=1;
1:X3=0; [y]=2;
1:X3=1; [y]=1;
1:X3=1; [y]=2;
Ok
Witnesses
Positive: 1 Negative: 3
Condition exists ([y]=2 /\ 1:X3=0)
Observation R+dmb.sy+po Sometimes 1 3
Time R+dmb.sy+po 0.00
Hash=0e843011df9fd5cccf3979cd65b81870

Test R+dmb.sy+dmb.st Allowed
States 4
1:X3=0; [y]=1;
1:X3=0; [y]=2;
1:X3=1; [y]=1;
1:X3=1; [y]=2;
Ok
Witnesses
Positive: 1 Negative: 3
Condition exists ([y]=2 /\ 1:X3=0)
Observation R+dmb.sy+dmb.st Sometimes 1 3
Time R+dmb.sy+dmb.st 0.00
Hash=4684c8da9f228248cb11d2d2fe344d1f

Test 2+2W+dmb.sys Allowed
States 3
[x]=1; [y]=1;
[x]=1; [y]=2;
[x]=2; [y]=1;
No
Witnesses
Positive: 0 Negative: 3
Condition exists ([x]=2 /\ [y]=2)
Observation 2+2W+dmb.sys Never 0 3
Time 2+2W+dmb.sys 0.00
Hash=9495f1f810a4f034c732242a8a2c3eed

Test R+dmb.sy+dmb.ld Allowed
States 4
1:X3=0; [y]=1;
1:X3=0; [y]=2;
1:X3=1; [y]=1;
1:X3=1; [y]=2;
Ok
Witnesses
Positive: 1 Negative: 3
Condition exists ([y]=2 /\ 1:X3=0)
Observation R+dmb.sy+dmb.ld Sometimes 1 3
Time R+dmb.sy+dmb.ld 0.00
Hash=564723dff7cdb29be7ac5627bbb45a3c

Test LB+dmb.st+dmb.sy Allowed
States 4
0:X1=0; 1:X1=0;
0:X1=0; 1:X1=1;
0:X1=1; 1:X1=0;
0:X1=1; 1:X1=1;
Ok
Witnesses
Positive: 1 Negative: 3
Condition exists (0:X1=1 /\ 1:X1=1)
Observation LB+dmb.st+dmb.sy Sometimes 1 3
Time LB+dmb.st+dmb.sy 0.00
Hash=7470bba4341abbf9fd2cde4c0b299c03

Test 2+2W+dmb.sy+po Allowed
States 4
[x]=1; [y]=1;
[x]=1; [y]=2;
[x]=2; [y]=1;
[x]=2; [y]=2;
Ok
Witnesses
Positive: 1 Negative: 3
Condition exists ([x]=2 /\ [y]=2)
Observation 2+2W+dmb.sy+po Sometimes 1 3
Time 2+2W+dmb.sy+po 0.00
Hash=5dbeaed3a1aa88c4cdded063346ba075

Test 2+2W+dmb.st+dmb.sy Allowed
States 3
[x]=1; [y]=1;
[x]=1; [y]=2;
[x]=2; [y]=1;
No
Witnesses
Positive: 0 Negative: 3
Condition exists ([x]=2 /\ [y]=2)
Observation 2+2W+dmb.st+dmb.sy Never 0 3
Time 2+2W+dmb.st+dmb.sy 0.00
Hash=abb08ae0f6c0c224867aa913c2f100f6

Test S+po+dmb.sy Allowed
States 4
1:X1=0; [x]=1;
1:X1=0; [x]=2;
1:X1=1; [x]=1;
1:X1=1; [x]=2;
Ok
Witnesses
Positive: 1 Negative: 3
Condition exists ([x]=2 /\ 1:X1=1)
Observation S+po+dmb.sy Sometimes 1 3
Time S+po+dmb.sy 0.00
Hash=7bdbb892d7eecca9087d4ce0dfb0f475

Test 2+2W+dmb.ld+dmb.sy Allowed
States 4
[x]=1; [y]=1;
[x]=1; [y]=2;
[x]=2; [y]=1;
[x]=2; [y]=2;
Ok
Witnesses
Positive: 1 Negative: 3
Condition exists ([x]=2 /\ [y]=2)
Observation 2+2W+dmb.ld+dmb.sy Sometimes 1 3
Time 2+2W+dmb.ld+dmb.sy 0.00
Hash=f20b6005d1b7c5ea46c1a3c80a9d7e81

Test S+dmb.ld+dmb.sy Allowed
States 4
1:X1=0; [x]=1;
1:X1=0; [x]=2;
1:X1=1; [x]=1;
1:X1=1; [x]=2;
Ok
Witnesses
Positive: 1 Negative: 3
Condition exists ([x]=2 /\ 1:X1=1)
Observation S+dmb.ld+dmb.sy Sometimes 1 3
Time S+dmb.ld+dmb.sy 0.00
Hash=45b88231f773f0f97ce07030077ad8f1

Test S+dmb.st+dmb.sy Allowed
States 3
1:X1=0; [x]=1;
1:X1=0; [x]=2;
1:X1=1; [x]=1;
No
Witnesses
Positive: 0 Negative: 3
Condition exists ([x]=2 /\ 1:X1=1)
Observation S+dmb.st+dmb.sy Never 0 3
Time S+dmb.st+dmb.sy 0.00
Hash=74a6987c3d68a0e531c3eb1a01913c4f

