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 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 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+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 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 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 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 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.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+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 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 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+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 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+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 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 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.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.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 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 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 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 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.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 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 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 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 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 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 MP+poll+poaa Required
States 3
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation MP+poll+poaa Always 3 0
Time MP+poll+poaa 0.00
Hash=e6ac78ffbb1a210e59937983f53cb2f6

Test MP+poll+poap Required
States 3
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation MP+poll+poap Always 3 0
Time MP+poll+poap 0.00
Hash=a19b1a0b98409ac1f7109b653c992508

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

Test MP+poll+poaq Required
States 3
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation MP+poll+poaq Always 3 0
Time MP+poll+poaq 0.00
Hash=60329a88fb1715c847bb76bb34d9ee45

Test S+poll+poal Required
States 3
1:X1=0; [x]=1; [y]=1;
1:X1=0; [x]=2; [y]=1;
1:X1=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation S+poll+poal Always 3 0
Time S+poll+poal 0.00
Hash=6f0e39b0baf6ceda15c3da841b5c240b

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+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 MP+popl+poaa Required
States 3
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation MP+popl+poaa Always 3 0
Time MP+popl+poaa 0.00
Hash=f7c894a76b44ab2bfce09d8ab8bc9d6e

Test S+poll+poap Required
States 3
1:X1=0; [x]=1; [y]=1;
1:X1=0; [x]=2; [y]=1;
1:X1=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation S+poll+poap Always 3 0
Time S+poll+poap 0.00
Hash=bcd6dc8736ea0b3433a0b88bc20f2062

Test MP+popl+poap Required
States 3
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation MP+popl+poap Always 3 0
Time MP+popl+poap 0.00
Hash=2f231696a8d2d099e9be91d00adccac0

Test MP+popl+poaq Required
States 3
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation MP+popl+poaq Always 3 0
Time MP+popl+poaq 0.00
Hash=d5eb66577ac479d18c958e999a353d61

Test LB+poals Required
States 3
0:X1=0; 1:X1=0; [x]=1; [y]=1;
0:X1=0; 1:X1=1; [x]=1; [y]=1;
0:X1=1; 1:X1=0; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation LB+poals Always 3 0
Time LB+poals 0.00
Hash=330dbfc6a939ee69e81e4f04f8f8330e

Test S+popl+poal Required
States 3
1:X1=0; [x]=1; [y]=1;
1:X1=0; [x]=2; [y]=1;
1:X1=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation S+popl+poal Always 3 0
Time S+popl+poal 0.00
Hash=0dd3c90336fcccaba612d527096b93af

Test S+popl+poap Required
States 3
1:X1=0; [x]=1; [y]=1;
1:X1=0; [x]=2; [y]=1;
1:X1=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation S+popl+poap Always 3 0
Time S+popl+poap 0.00
Hash=e05e956ad5abdde536c8357a1e33d1a8

Test LB+poap+poal Required
States 3
0:X1=0; 1:X1=0; [x]=1; [y]=1;
0:X1=0; 1:X1=1; [x]=1; [y]=1;
0:X1=1; 1:X1=0; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation LB+poap+poal Always 3 0
Time LB+poap+poal 0.00
Hash=0c30135d645bd3d4c85f9b91783b69ae

Test LB+poap+poql Required
States 3
0:X1=0; 1:X1=0; [x]=1; [y]=1;
0:X1=0; 1:X1=1; [x]=1; [y]=1;
0:X1=1; 1:X1=0; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation LB+poap+poql Always 3 0
Time LB+poap+poql 0.00
Hash=086a929f7ce9588d645dff0470459601

Test LB+popl+poal Required
States 3
0:X1=0; 1:X1=0; [x]=1; [y]=1;
0:X1=0; 1:X1=1; [x]=1; [y]=1;
0:X1=1; 1:X1=0; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation LB+popl+poal Always 3 0
Time LB+popl+poal 0.00
Hash=d233c232103dea3e6a0a25aaf84451b9

Test LB+poal+poql Required
States 3
0:X1=0; 1:X1=0; [x]=1; [y]=1;
0:X1=0; 1:X1=1; [x]=1; [y]=1;
0:X1=1; 1:X1=0; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation LB+poal+poql Always 3 0
Time LB+poal+poql 0.00
Hash=3b9363e243076ab496a82b82a6f2c133

Test MP+polp+poaa Required
States 4
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=0; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation MP+polp+poaa Always 4 0
Time MP+polp+poaa 0.00
Hash=39e53a162b6f2b03c27ea6a59b393c67

Test MP+polp+poaq Required
States 4
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=0; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation MP+polp+poaq Always 4 0
Time MP+polp+poaq 0.00
Hash=245163a2afc5c3f28984e47a09dbf7ee

Test LB+popl+poap Required
States 3
0:X1=0; 1:X1=0; [x]=1; [y]=1;
0:X1=0; 1:X1=1; [x]=1; [y]=1;
0:X1=1; 1:X1=0; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation LB+popl+poap Always 3 0
Time LB+popl+poap 0.00
Hash=31d01569dbbc0a1c7c8b26dbd3b31599

Test MP+polp+poap Required
States 4
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=0; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation MP+polp+poap Always 4 0
Time MP+polp+poap 0.00
Hash=f904c4dc17f3733280bb535558316dc3

Test S+polp+poap Required
States 4
1:X1=0; [x]=1; [y]=1;
1:X1=0; [x]=2; [y]=1;
1:X1=1; [x]=1; [y]=1;
1:X1=1; [x]=2; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation S+polp+poap Always 4 0
Time S+polp+poap 0.00
Hash=6876cac3d1dbf1b88c6b9fc33643c68f

Test MP+po+poaq Required
States 4
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=0; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation MP+po+poaq Always 4 0
Time MP+po+poaq 0.00
Hash=2d9f1768fe43ce43bb23da922bdad44d

Test MP+po+poap Required
States 4
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=0; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation MP+po+poap Always 4 0
Time MP+po+poap 0.00
Hash=c5318462d3306b1944aeea9a75b306d8

Test S+polp+poal Required
States 4
1:X1=0; [x]=1; [y]=1;
1:X1=0; [x]=2; [y]=1;
1:X1=1; [x]=1; [y]=1;
1:X1=1; [x]=2; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation S+polp+poal Always 4 0
Time S+polp+poal 0.00
Hash=315395247180663475c74d5f68f5f214

Test MP+po+poaa Required
States 4
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=0; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation MP+po+poaa Always 4 0
Time MP+po+poaa 0.00
Hash=930ebd38be57eeaf2ad599c2258a5514

Test S+po+poal Required
States 4
1:X1=0; [x]=1; [y]=1;
1:X1=0; [x]=2; [y]=1;
1:X1=1; [x]=1; [y]=1;
1:X1=1; [x]=2; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation S+po+poal Always 4 0
Time S+po+poal 0.00
Hash=390b384e35c85c134adca2d015a4f2d7

Test S+po+poap Required
States 4
1:X1=0; [x]=1; [y]=1;
1:X1=0; [x]=2; [y]=1;
1:X1=1; [x]=1; [y]=1;
1:X1=1; [x]=2; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation S+po+poap Always 4 0
Time S+po+poap 0.00
Hash=8d899281cba4a1d9ff907513e4a3324c

Test LB+poaps Required
States 3
0:X1=0; 1:X1=0; [x]=1; [y]=1;
0:X1=0; 1:X1=1; [x]=1; [y]=1;
0:X1=1; 1:X1=0; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation LB+poaps Always 3 0
Time LB+poaps 0.00
Hash=c38a7dae4746bedb7b9460a59cf6c0bd

Test LB+poal+poqp Required
States 3
0:X1=0; 1:X1=0; [x]=1; [y]=1;
0:X1=0; 1:X1=1; [x]=1; [y]=1;
0:X1=1; 1:X1=0; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation LB+poal+poqp Always 3 0
Time LB+poal+poqp 0.00
Hash=673e86b677ee7df7bc049ca9408b4fac

Test SB+polas Required
States 3
0:X3=0; 1:X3=1; [x]=1; [y]=1;
0:X3=1; 1:X3=0; [x]=1; [y]=1;
0:X3=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation SB+polas Always 3 0
Time SB+polas 0.00
Hash=7e03b3f92725aac6aaba6aafa92dd948

Test LB+poap+poqp Required
States 3
0:X1=0; 1:X1=0; [x]=1; [y]=1;
0:X1=0; 1:X1=1; [x]=1; [y]=1;
0:X1=1; 1:X1=0; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation LB+poap+poqp Always 3 0
Time LB+poap+poqp 0.00
Hash=6ad837acf6215d320c7e2869ce4702fc

Test LB+po+poal Required
States 4
0:X1=0; 1:X1=0; [x]=1; [y]=1;
0:X1=0; 1:X1=1; [x]=1; [y]=1;
0:X1=1; 1:X1=0; [x]=1; [y]=1;
0:X1=1; 1:X1=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation LB+po+poal Always 4 0
Time LB+po+poal 0.00
Hash=25364ebf79b1d79a0e956bf7dc7917e5

Test SB+popa+pola Required
States 4
0:X3=0; 1:X3=0; [x]=1; [y]=1;
0:X3=0; 1:X3=1; [x]=1; [y]=1;
0:X3=1; 1:X3=0; [x]=1; [y]=1;
0:X3=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation SB+popa+pola Always 4 0
Time SB+popa+pola 0.00
Hash=85843c476ad19834cbaa0bfb0723c232

Test LB+po+poap Required
States 4
0:X1=0; 1:X1=0; [x]=1; [y]=1;
0:X1=0; 1:X1=1; [x]=1; [y]=1;
0:X1=1; 1:X1=0; [x]=1; [y]=1;
0:X1=1; 1:X1=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation LB+po+poap Always 4 0
Time LB+po+poap 0.00
Hash=eba661cd713deb2344c474a0b458cd54

Test SB+pola+polq Required
States 4
0:X3=0; 1:X3=0; [x]=1; [y]=1;
0:X3=0; 1:X3=1; [x]=1; [y]=1;
0:X3=1; 1:X3=0; [x]=1; [y]=1;
0:X3=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation SB+pola+polq Always 4 0
Time SB+pola+polq 0.00
Hash=8aa0b6006267ecdf3cd242fdbe9914e7

Test SB+popq+pola Required
States 4
0:X3=0; 1:X3=0; [x]=1; [y]=1;
0:X3=0; 1:X3=1; [x]=1; [y]=1;
0:X3=1; 1:X3=0; [x]=1; [y]=1;
0:X3=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation SB+popq+pola Always 4 0
Time SB+popq+pola 0.00
Hash=69d6bcec3e35d57319c71f1e3c5d690a

Test SB+polp+pola Required
States 4
0:X3=0; 1:X3=0; [x]=1; [y]=1;
0:X3=0; 1:X3=1; [x]=1; [y]=1;
0:X3=1; 1:X3=0; [x]=1; [y]=1;
0:X3=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation SB+polp+pola Always 4 0
Time SB+polp+pola 0.00
Hash=a76acd7eca4eccfa9099756b2ff10052

Test R+popl+pola Required
States 3
1:X3=0; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=2;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation R+popl+pola Always 3 0
Time R+popl+pola 0.00
Hash=10ec2c09e3ef3eda092869e61bd039a9

Test R+po+pola Required
States 4
1:X3=0; [x]=1; [y]=1;
1:X3=0; [x]=1; [y]=2;
1:X3=1; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation R+po+pola Always 4 0
Time R+po+pola 0.00
Hash=9f895929dc145b1dee74733eb4e2e5f9

Test R+polp+pola Required
States 4
1:X3=0; [x]=1; [y]=1;
1:X3=0; [x]=1; [y]=2;
1:X3=1; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation R+polp+pola Always 4 0
Time R+polp+pola 0.00
Hash=0c2102d123d9c927e155b8433195d7d6

Test R+poll+pola Required
States 3
1:X3=0; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=2;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation R+poll+pola Always 3 0
Time R+poll+pola 0.00
Hash=7d6b65792d149397737aab938a045da6

Test SB+popas Required
States 4
0:X3=0; 1:X3=0; [x]=1; [y]=1;
0:X3=0; 1:X3=1; [x]=1; [y]=1;
0:X3=1; 1:X3=0; [x]=1; [y]=1;
0:X3=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation SB+popas Always 4 0
Time SB+popas 0.00
Hash=c6b93877f39097116d2db5fa4bfea4a5

Test SB+po+pola Required
States 4
0:X3=0; 1:X3=0; [x]=1; [y]=1;
0:X3=0; 1:X3=1; [x]=1; [y]=1;
0:X3=1; 1:X3=0; [x]=1; [y]=1;
0:X3=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation SB+po+pola Always 4 0
Time SB+po+pola 0.00
Hash=d5c83d98bd503711e45209d10f7657a5

Test SB+popa+polq Required
States 4
0:X3=0; 1:X3=0; [x]=1; [y]=1;
0:X3=0; 1:X3=1; [x]=1; [y]=1;
0:X3=1; 1:X3=0; [x]=1; [y]=1;
0:X3=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation SB+popa+polq Always 4 0
Time SB+popa+polq 0.00
Hash=a6392de56ae750bcce97206659a0ce39

Test SB+popa+popq Required
States 4
0:X3=0; 1:X3=0; [x]=1; [y]=1;
0:X3=0; 1:X3=1; [x]=1; [y]=1;
0:X3=1; 1:X3=0; [x]=1; [y]=1;
0:X3=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation SB+popa+popq Always 4 0
Time SB+popa+popq 0.00
Hash=99d8079c8ee5e128efe4157de198d737

Test R+poll+popa Required
States 4
1:X3=0; [x]=1; [y]=1;
1:X3=0; [x]=1; [y]=2;
1:X3=1; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation R+poll+popa Always 4 0
Time R+poll+popa 0.00
Hash=92cfac4f6da264935dd67b1753a7ca56

Test SB+popa+polp Required
States 4
0:X3=0; 1:X3=0; [x]=1; [y]=1;
0:X3=0; 1:X3=1; [x]=1; [y]=1;
0:X3=1; 1:X3=0; [x]=1; [y]=1;
0:X3=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation SB+popa+polp Always 4 0
Time SB+popa+polp 0.00
Hash=eb61cc5aaa216ec4e6632669d7b7ba45

Test R+popl+popa Required
States 4
1:X3=0; [x]=1; [y]=1;
1:X3=0; [x]=1; [y]=2;
1:X3=1; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation R+popl+popa Always 4 0
Time R+popl+popa 0.00
Hash=a59d25503c133130564645d022f97599

Test SB+po+popa Required
States 4
0:X3=0; 1:X3=0; [x]=1; [y]=1;
0:X3=0; 1:X3=1; [x]=1; [y]=1;
0:X3=1; 1:X3=0; [x]=1; [y]=1;
0:X3=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation SB+po+popa Always 4 0
Time SB+po+popa 0.00
Hash=fe447462f2a7dcc34ab1c27bdd487c72

Test R+polp+popa Required
States 4
1:X3=0; [x]=1; [y]=1;
1:X3=0; [x]=1; [y]=2;
1:X3=1; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation R+polp+popa Always 4 0
Time R+polp+popa 0.00
Hash=6ff8fac22fa7077b91c553e195601a70

Test MP+poll+poqa Required
States 3
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation MP+poll+poqa Always 3 0
Time MP+poll+poqa 0.00
Hash=e1795945012dd40ed81e5c4f4b96507a

Test R+po+popa Required
States 4
1:X3=0; [x]=1; [y]=1;
1:X3=0; [x]=1; [y]=2;
1:X3=1; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation R+po+popa Always 4 0
Time R+po+popa 0.00
Hash=9c6329dcd5d9bb26ad1f749e5296bc8d

Test MP+po+poqa Required
States 4
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=0; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation MP+po+poqa Always 4 0
Time MP+po+poqa 0.00
Hash=1efeb0c63d2647f5e267a7796450f276

Test MP+popl+poqa Required
States 3
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation MP+popl+poqa Always 3 0
Time MP+popl+poqa 0.00
Hash=10e9dd867c0e2c758c3a726c1a8ca545

Test MP+polp+poqa Required
States 4
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=0; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation MP+polp+poqa Always 4 0
Time MP+polp+poqa 0.00
Hash=aa662c33d9d66f232f512f50b355b3dd

Test MP+popl+popa Required
States 4
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=0; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation MP+popl+popa Always 4 0
Time MP+popl+popa 0.00
Hash=455b913fd6a697917cf93e4dd2ac3546

Test MP+poll+popa Required
States 4
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=0; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation MP+poll+popa Always 4 0
Time MP+poll+popa 0.00
Hash=0f46d817161ae19df75e99d4a7c692e5

Test MP+polp+popa Required
States 4
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=0; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation MP+polp+popa Always 4 0
Time MP+polp+popa 0.00
Hash=be915b307df5dee2d6a236602f3482a1

Test MP+po+popa Required
States 4
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=0; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation MP+po+popa Always 4 0
Time MP+po+popa 0.00
Hash=01083d46670c78b49d1a6dee62c15643

Test MP+poll+poqq Required
States 3
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation MP+poll+poqq Always 3 0
Time MP+poll+poqq 0.00
Hash=512e4950052a58d7337ce3680d4af81d

Test S+poll+poql Required
States 3
1:X1=0; [x]=1; [y]=1;
1:X1=0; [x]=2; [y]=1;
1:X1=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation S+poll+poql Always 3 0
Time S+poll+poql 0.00
Hash=8cf59f3f68a574264ca70c36a7e320f8

Test MP+poll+poqp Required
States 3
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation MP+poll+poqp Always 3 0
Time MP+poll+poqp 0.00
Hash=0968c92b09d9b9d005e26e1fa473ed59

Test MP+popl+poqp Required
States 3
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation MP+popl+poqp Always 3 0
Time MP+popl+poqp 0.00
Hash=551e06c22b168ecc64064b7593cba760

Test S+poll+poqp Required
States 3
1:X1=0; [x]=1; [y]=1;
1:X1=0; [x]=2; [y]=1;
1:X1=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation S+poll+poqp Always 3 0
Time S+poll+poqp 0.00
Hash=001c4c69f72b125efaf5ab505234cdf2

Test MP+popl+poqq Required
States 3
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation MP+popl+poqq Always 3 0
Time MP+popl+poqq 0.00
Hash=7daea1f8155f6b8c42c285986ebab25d

Test LB+poqls Required
States 3
0:X1=0; 1:X1=0; [x]=1; [y]=1;
0:X1=0; 1:X1=1; [x]=1; [y]=1;
0:X1=1; 1:X1=0; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation LB+poqls Always 3 0
Time LB+poqls 0.00
Hash=86d2f01dd3bf00b0dd6fa9b91d7f169c

Test S+popl+poql Required
States 3
1:X1=0; [x]=1; [y]=1;
1:X1=0; [x]=2; [y]=1;
1:X1=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation S+popl+poql Always 3 0
Time S+popl+poql 0.00
Hash=3b35b98a3804adcc243c9a7a53aeb99d

Test S+popl+poqp Required
States 3
1:X1=0; [x]=1; [y]=1;
1:X1=0; [x]=2; [y]=1;
1:X1=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation S+popl+poqp Always 3 0
Time S+popl+poqp 0.00
Hash=c0ab56e4600db7d4be3dbcd5f4b9abd2

Test LB+poqp+poql Required
States 3
0:X1=0; 1:X1=0; [x]=1; [y]=1;
0:X1=0; 1:X1=1; [x]=1; [y]=1;
0:X1=1; 1:X1=0; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation LB+poqp+poql Always 3 0
Time LB+poqp+poql 0.00
Hash=42c796b849f2b25b561cbbbeea696229

Test LB+popl+poql Required
States 3
0:X1=0; 1:X1=0; [x]=1; [y]=1;
0:X1=0; 1:X1=1; [x]=1; [y]=1;
0:X1=1; 1:X1=0; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation LB+popl+poql Always 3 0
Time LB+popl+poql 0.00
Hash=f7658b979641db002d820f1ad0e675be

Test MP+polp+poqq Required
States 4
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=0; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation MP+polp+poqq Always 4 0
Time MP+polp+poqq 0.00
Hash=f0a8bcf01b154194452599ef75db3e96

Test LB+popl+poqp Required
States 3
0:X1=0; 1:X1=0; [x]=1; [y]=1;
0:X1=0; 1:X1=1; [x]=1; [y]=1;
0:X1=1; 1:X1=0; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation LB+popl+poqp Always 3 0
Time LB+popl+poqp 0.00
Hash=8e74f3fc106565409df0e110fb5c0e7b

Test MP+polp+poqp Required
States 4
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=0; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation MP+polp+poqp Always 4 0
Time MP+polp+poqp 0.00
Hash=2338e30daaf1914408f45e6972c4bfa6

Test MP+po+poqq Required
States 4
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=0; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation MP+po+poqq Always 4 0
Time MP+po+poqq 0.00
Hash=6c4327498cff2cfe08027f9ed1a24901

Test S+polp+poqp Required
States 4
1:X1=0; [x]=1; [y]=1;
1:X1=0; [x]=2; [y]=1;
1:X1=1; [x]=1; [y]=1;
1:X1=1; [x]=2; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation S+polp+poqp Always 4 0
Time S+polp+poqp 0.00
Hash=b7dad02c7100fd9cdb870f57eaef6a20

Test S+polp+poql Required
States 4
1:X1=0; [x]=1; [y]=1;
1:X1=0; [x]=2; [y]=1;
1:X1=1; [x]=1; [y]=1;
1:X1=1; [x]=2; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation S+polp+poql Always 4 0
Time S+polp+poql 0.00
Hash=64c868d623877a59e15061c925be2d18

Test MP+po+poqp Required
States 4
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=0; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation MP+po+poqp Always 4 0
Time MP+po+poqp 0.00
Hash=1702b36261063afed71ae8b470a17983

Test S+po+poqp Required
States 4
1:X1=0; [x]=1; [y]=1;
1:X1=0; [x]=2; [y]=1;
1:X1=1; [x]=1; [y]=1;
1:X1=1; [x]=2; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation S+po+poqp Always 4 0
Time S+po+poqp 0.00
Hash=e582cce93e6609ec00113a9205e3aadc

Test S+po+poql Required
States 4
1:X1=0; [x]=1; [y]=1;
1:X1=0; [x]=2; [y]=1;
1:X1=1; [x]=1; [y]=1;
1:X1=1; [x]=2; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation S+po+poql Always 4 0
Time S+po+poql 0.00
Hash=da46900545a9c61ce4cd6f083664caef

Test LB+po+poql Required
States 4
0:X1=0; 1:X1=0; [x]=1; [y]=1;
0:X1=0; 1:X1=1; [x]=1; [y]=1;
0:X1=1; 1:X1=0; [x]=1; [y]=1;
0:X1=1; 1:X1=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation LB+po+poql Always 4 0
Time LB+po+poql 0.00
Hash=3e604f71a889f083111b56060d1d3493

Test LB+poqps Required
States 3
0:X1=0; 1:X1=0; [x]=1; [y]=1;
0:X1=0; 1:X1=1; [x]=1; [y]=1;
0:X1=1; 1:X1=0; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation LB+poqps Always 3 0
Time LB+poqps 0.00
Hash=8474febd588796f2fba8d26edd617134

Test LB+po+poqp Required
States 4
0:X1=0; 1:X1=0; [x]=1; [y]=1;
0:X1=0; 1:X1=1; [x]=1; [y]=1;
0:X1=1; 1:X1=0; [x]=1; [y]=1;
0:X1=1; 1:X1=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation LB+po+poqp Always 4 0
Time LB+po+poqp 0.00
Hash=ffdfb3b8fc1b9eddc802bb5a292016b5

Test SB+polqs Required
States 4
0:X3=0; 1:X3=0; [x]=1; [y]=1;
0:X3=0; 1:X3=1; [x]=1; [y]=1;
0:X3=1; 1:X3=0; [x]=1; [y]=1;
0:X3=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation SB+polqs Always 4 0
Time SB+polqs 0.00
Hash=a2e23c686a1b11848c3dd16d1992869b

Test SB+popq+polq Required
States 4
0:X3=0; 1:X3=0; [x]=1; [y]=1;
0:X3=0; 1:X3=1; [x]=1; [y]=1;
0:X3=1; 1:X3=0; [x]=1; [y]=1;
0:X3=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation SB+popq+polq Always 4 0
Time SB+popq+polq 0.00
Hash=8c684aa4dfbde6965125dd2258219100

Test R+popl+polq Required
States 4
1:X3=0; [x]=1; [y]=1;
1:X3=0; [x]=1; [y]=2;
1:X3=1; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation R+popl+polq Always 4 0
Time R+popl+polq 0.00
Hash=112b955efd374d2f58060c62ea543e4b

Test SB+polp+polq Required
States 4
0:X3=0; 1:X3=0; [x]=1; [y]=1;
0:X3=0; 1:X3=1; [x]=1; [y]=1;
0:X3=1; 1:X3=0; [x]=1; [y]=1;
0:X3=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation SB+polp+polq Always 4 0
Time SB+polp+polq 0.00
Hash=13bfd61c05e2ece7740fd74f4371473f

Test SB+po+polq Required
States 4
0:X3=0; 1:X3=0; [x]=1; [y]=1;
0:X3=0; 1:X3=1; [x]=1; [y]=1;
0:X3=1; 1:X3=0; [x]=1; [y]=1;
0:X3=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation SB+po+polq Always 4 0
Time SB+po+polq 0.00
Hash=7883e071ccf7d0cf18e5394b46ce5f39

Test R+poll+polq Required
States 4
1:X3=0; [x]=1; [y]=1;
1:X3=0; [x]=1; [y]=2;
1:X3=1; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation R+poll+polq Always 4 0
Time R+poll+polq 0.00
Hash=a51ef8f480bce05b33c7df43768cbc92

Test R+po+polq Required
States 4
1:X3=0; [x]=1; [y]=1;
1:X3=0; [x]=1; [y]=2;
1:X3=1; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation R+po+polq Always 4 0
Time R+po+polq 0.00
Hash=0bbe572d2541cefa6404027604685944

Test R+polp+polq Required
States 4
1:X3=0; [x]=1; [y]=1;
1:X3=0; [x]=1; [y]=2;
1:X3=1; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation R+polp+polq Always 4 0
Time R+polp+polq 0.00
Hash=721c6be6331433e4a6b78f4682283bb0

Test SB+popq+polp Required
States 4
0:X3=0; 1:X3=0; [x]=1; [y]=1;
0:X3=0; 1:X3=1; [x]=1; [y]=1;
0:X3=1; 1:X3=0; [x]=1; [y]=1;
0:X3=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation SB+popq+polp Always 4 0
Time SB+popq+polp 0.00
Hash=e00bf17920709e5dae4cec61eece6b2d

Test SB+popqs Required
States 4
0:X3=0; 1:X3=0; [x]=1; [y]=1;
0:X3=0; 1:X3=1; [x]=1; [y]=1;
0:X3=1; 1:X3=0; [x]=1; [y]=1;
0:X3=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation SB+popqs Always 4 0
Time SB+popqs 0.00
Hash=b61b00db86b6c53ad1a94b242b935ce3

Test R+poll+popq Required
States 4
1:X3=0; [x]=1; [y]=1;
1:X3=0; [x]=1; [y]=2;
1:X3=1; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation R+poll+popq Always 4 0
Time R+poll+popq 0.00
Hash=c630918c5a57cd731f709d44fb4bd502

Test R+polp+popq Required
States 4
1:X3=0; [x]=1; [y]=1;
1:X3=0; [x]=1; [y]=2;
1:X3=1; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation R+polp+popq Always 4 0
Time R+polp+popq 0.00
Hash=8bd6dd31bd95539a8889579cf827323d

Test SB+po+popq Required
States 4
0:X3=0; 1:X3=0; [x]=1; [y]=1;
0:X3=0; 1:X3=1; [x]=1; [y]=1;
0:X3=1; 1:X3=0; [x]=1; [y]=1;
0:X3=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation SB+po+popq Always 4 0
Time SB+po+popq 0.00
Hash=9f70ccaea457e2f214777d5d9925848e

Test R+popl+popq Required
States 4
1:X3=0; [x]=1; [y]=1;
1:X3=0; [x]=1; [y]=2;
1:X3=1; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation R+popl+popq Always 4 0
Time R+popl+popq 0.00
Hash=8d1663fb11fecc0d4f218a1ba6c2bde8

Test MP+polp+popq Required
States 4
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=0; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation MP+polp+popq Always 4 0
Time MP+polp+popq 0.00
Hash=cad6afe9c9f9f4743daf84e7acb6d243

Test R+po+popq Required
States 4
1:X3=0; [x]=1; [y]=1;
1:X3=0; [x]=1; [y]=2;
1:X3=1; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation R+po+popq Always 4 0
Time R+po+popq 0.00
Hash=3e67f879523b886dba429521d0f4a1b2

Test MP+popl+popq Required
States 4
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=0; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation MP+popl+popq Always 4 0
Time MP+popl+popq 0.00
Hash=83953865fc572fcd05309eaba879a3bd

Test MP+poll+popq Required
States 4
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=0; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation MP+poll+popq Always 4 0
Time MP+poll+popq 0.00
Hash=df47b1fe42723c1ecbe70a1d59716be0

Test MP+po+popq Required
States 4
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=0; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation MP+po+popq Always 4 0
Time MP+po+popq 0.00
Hash=94ac9c0e1a38240f577a0140a23c3aab

Test R+polps Required
States 4
1:X3=0; [x]=1; [y]=1;
1:X3=0; [x]=1; [y]=2;
1:X3=1; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation R+polps Always 4 0
Time R+polps 0.00
Hash=7c2c8d8417e6be3fed2449f7b9dbc485

Test SB+polps Required
States 4
0:X3=0; 1:X3=0; [x]=1; [y]=1;
0:X3=0; 1:X3=1; [x]=1; [y]=1;
0:X3=1; 1:X3=0; [x]=1; [y]=1;
0:X3=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation SB+polps Always 4 0
Time SB+polps 0.00
Hash=13134be75000aa54780713ceab27a9c8

Test R+poll+polp Required
States 4
1:X3=0; [x]=1; [y]=1;
1:X3=0; [x]=1; [y]=2;
1:X3=1; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation R+poll+polp Always 4 0
Time R+poll+polp 0.00
Hash=5478f67677c788e503e54b570806975c

Test SB+po+polp Required
States 4
0:X3=0; 1:X3=0; [x]=1; [y]=1;
0:X3=0; 1:X3=1; [x]=1; [y]=1;
0:X3=1; 1:X3=0; [x]=1; [y]=1;
0:X3=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation SB+po+polp Always 4 0
Time SB+po+polp 0.00
Hash=2550295419ac38c2d7edc25826788ce7

Test R+polp+po Required
States 4
1:X3=0; [x]=1; [y]=1;
1:X3=0; [x]=1; [y]=2;
1:X3=1; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation R+polp+po Always 4 0
Time R+polp+po 0.00
Hash=06a556cf61ab72dd10e82c557d0d12a6

Test R+poll+po Required
States 4
1:X3=0; [x]=1; [y]=1;
1:X3=0; [x]=1; [y]=2;
1:X3=1; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation R+poll+po Always 4 0
Time R+poll+po 0.00
Hash=ee75fc748ba09f0115c6979cf55903fd

Test MP+poll+po Required
States 4
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=0; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation MP+poll+po Always 4 0
Time MP+poll+po 0.00
Hash=ce44eece1c720f62bfba52a441d89aab

Test MP+polp+po Required
States 4
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=0; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation MP+polp+po Always 4 0
Time MP+polp+po 0.00
Hash=b78e75d526ab31ec960d1b71ebe1b7c8

Test 2+2W+polls Required
States 3
[x]=1; [y]=1;
[x]=1; [y]=2;
[x]=2; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation 2+2W+polls Always 3 0
Time 2+2W+polls 0.00
Hash=771226dda3f1d5092d2971175a6a5943

Test 2+2W+polp+poll Required
States 4
[x]=1; [y]=1;
[x]=1; [y]=2;
[x]=2; [y]=1;
[x]=2; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation 2+2W+polp+poll Always 4 0
Time 2+2W+polp+poll 0.00
Hash=f4f749fc0e4a89e90a4107723b6bbe71

Test 2+2W+popl+poll Required
States 3
[x]=1; [y]=1;
[x]=1; [y]=2;
[x]=2; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation 2+2W+popl+poll Always 3 0
Time 2+2W+popl+poll 0.00
Hash=a872b26361b6dde50fa5680916d91b3b

Test R+popl+polp Required
States 4
1:X3=0; [x]=1; [y]=1;
1:X3=0; [x]=1; [y]=2;
1:X3=1; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation R+popl+polp Always 4 0
Time R+popl+polp 0.00
Hash=49829762355b0678d36efc02314b9f4b

Test 2+2W+popl+polp Required
States 4
[x]=1; [y]=1;
[x]=1; [y]=2;
[x]=2; [y]=1;
[x]=2; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation 2+2W+popl+polp Always 4 0
Time 2+2W+popl+polp 0.00
Hash=c2c774d8643fd7395bd5221ce47159f0

Test S+poll+popl Required
States 3
1:X1=0; [x]=1; [y]=1;
1:X1=0; [x]=2; [y]=1;
1:X1=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation S+poll+popl Always 3 0
Time S+poll+popl 0.00
Hash=8e617dc0c06f3ca24d4dd9aac45530b0

Test S+polp+popl Required
States 4
1:X1=0; [x]=1; [y]=1;
1:X1=0; [x]=2; [y]=1;
1:X1=1; [x]=1; [y]=1;
1:X1=1; [x]=2; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation S+polp+popl Always 4 0
Time S+polp+popl 0.00
Hash=fa210e26f156f5decb0e007b00e63ae5

Test 2+2W+polps Required
States 4
[x]=1; [y]=1;
[x]=1; [y]=2;
[x]=2; [y]=1;
[x]=2; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation 2+2W+polps Always 4 0
Time 2+2W+polps 0.00
Hash=fd4cd48f851095e9f4398715a1b12000

Test R+po+polp Required
States 4
1:X3=0; [x]=1; [y]=1;
1:X3=0; [x]=1; [y]=2;
1:X3=1; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation R+po+polp Always 4 0
Time R+po+polp 0.00
Hash=f665db144dc3947d59dad9d1d84bba2d

Test 2+2W+po+poll Required
States 4
[x]=1; [y]=1;
[x]=1; [y]=2;
[x]=2; [y]=1;
[x]=2; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation 2+2W+po+poll Always 4 0
Time 2+2W+po+poll 0.00
Hash=f30b1429c1e0e0a468580f81406ef267

Test 2+2W+po+polp Required
States 4
[x]=1; [y]=1;
[x]=1; [y]=2;
[x]=2; [y]=1;
[x]=2; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation 2+2W+po+polp Always 4 0
Time 2+2W+po+polp 0.00
Hash=f532496d269f7a49defa940cdbfd2669

Test S+poll+po Required
States 4
1:X1=0; [x]=1; [y]=1;
1:X1=0; [x]=2; [y]=1;
1:X1=1; [x]=1; [y]=1;
1:X1=1; [x]=2; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation S+poll+po Always 4 0
Time S+poll+po 0.00
Hash=1ca1fa5ae29996a06b05935894ddef41

Test S+polp+po Required
States 4
1:X1=0; [x]=1; [y]=1;
1:X1=0; [x]=2; [y]=1;
1:X1=1; [x]=1; [y]=1;
1:X1=1; [x]=2; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation S+polp+po Always 4 0
Time S+polp+po 0.00
Hash=368df12d7c504dec540c61dbfc4eca41

Test R+popl+po Required
States 4
1:X3=0; [x]=1; [y]=1;
1:X3=0; [x]=1; [y]=2;
1:X3=1; [x]=1; [y]=1;
1:X3=1; [x]=1; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation R+popl+po Always 4 0
Time R+popl+po 0.00
Hash=2b0832f9898ec3fe835f10d740100c6c

Test MP+popl+po Required
States 4
1:X1=0; 1:X3=0; [x]=1; [y]=1;
1:X1=0; 1:X3=1; [x]=1; [y]=1;
1:X1=1; 1:X3=0; [x]=1; [y]=1;
1:X1=1; 1:X3=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation MP+popl+po Always 4 0
Time MP+popl+po 0.00
Hash=7e04a234dce0335f35ec5c5b8db7b0c8

Test 2+2W+popls Required
States 3
[x]=1; [y]=1;
[x]=1; [y]=2;
[x]=2; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation 2+2W+popls Always 3 0
Time 2+2W+popls 0.00
Hash=cd85948f1ebe0fe5748c244729a7298e

Test S+popls Required
States 3
1:X1=0; [x]=1; [y]=1;
1:X1=0; [x]=2; [y]=1;
1:X1=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation S+popls Always 3 0
Time S+popls 0.00
Hash=6f8ba90f27ca0e27a41b22fbaff94fdc

Test LB+popls Required
States 3
0:X1=0; 1:X1=0; [x]=1; [y]=1;
0:X1=0; 1:X1=1; [x]=1; [y]=1;
0:X1=1; 1:X1=0; [x]=1; [y]=1;
Ok
Witnesses
Positive: 3 Negative: 0
Condition forall (true)
Observation LB+popls Always 3 0
Time LB+popls 0.00
Hash=6630209e69419466923a8a2526fcbbe1

Test 2+2W+po+popl Required
States 4
[x]=1; [y]=1;
[x]=1; [y]=2;
[x]=2; [y]=1;
[x]=2; [y]=2;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation 2+2W+po+popl Always 4 0
Time 2+2W+po+popl 0.00
Hash=07cb6cc57b5b3dba41b06790e32bc484

Test S+po+popl Required
States 4
1:X1=0; [x]=1; [y]=1;
1:X1=0; [x]=2; [y]=1;
1:X1=1; [x]=1; [y]=1;
1:X1=1; [x]=2; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation S+po+popl Always 4 0
Time S+po+popl 0.00
Hash=db86bf20f0a87bd08945a5ab401d9196

Test S+popl+po Required
States 4
1:X1=0; [x]=1; [y]=1;
1:X1=0; [x]=2; [y]=1;
1:X1=1; [x]=1; [y]=1;
1:X1=1; [x]=2; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation S+popl+po Always 4 0
Time S+popl+po 0.00
Hash=48666033dc6eee7fb41ed12ce5b5073e

Test LB+po+popl Required
States 4
0:X1=0; 1:X1=0; [x]=1; [y]=1;
0:X1=0; 1:X1=1; [x]=1; [y]=1;
0:X1=1; 1:X1=0; [x]=1; [y]=1;
0:X1=1; 1:X1=1; [x]=1; [y]=1;
Ok
Witnesses
Positive: 4 Negative: 0
Condition forall (true)
Observation LB+po+popl Always 4 0
Time LB+po+popl 0.00
Hash=9237652eb977832e8d7119d3631c4160

