Previous Up Next

Comparing models

Our test base totals 4503 tests. The “Operational” model gives a verdict for 3565 tests, while the “Axiom” model does so for 4480 tests. Out of those, there are 3565 common tests, for which the two models output the same results — Cycles and kinds. The results are not invalidated by running the tests on hardware.

In the following sections, we give detailed results for the tests for which at least one simulator did not produce a verdict. We also show the results of running the corresponding tests on hardware, which never contradicted model output.

Model output available for Axiom only

There are 915 such tests:

 KindAxiomSatPowerG5Power6Power7
R06Allow==No, 0/170MNo, 0/240MNo, 0/9.0G
    Allow unseenAllow unseenAllow unseen
SyncWith4Allow==No, 0/10MOk, 14/445MOk, 2.7k/6.7G
    Allow unseen  
SyncWith4+syncForbid==Ok, 0/10MOk, 0/325MOk, 0/8.1G
aclwdrr000Allow==No, 0/631MNo, 0/498MOk, 1.5k/15G
    Allow unseenAllow unseen 
aclwdrr001Allow==No, 0/631MOk, 4/498MOk, 6.0k/15G
    Allow unseen  
aclwdrr003Allow==No, 0/631MNo, 0/498MOk, 1.7k/15G
    Allow unseenAllow unseen 
aclwdrr004Allow==No, 0/631MOk, 2/498MOk, 2.3k/15G
    Allow unseen  
aclwdrr005Allow==No, 0/631MNo, 0/498MOk, 2.5k/15G
    Allow unseenAllow unseen 
aclwdrr006Allow==No, 0/631MOk, 7/498MOk, 5.8k/14G
    Allow unseen  
aclwdrr008Allow==No, 0/631MNo, 0/498MOk, 2.8k/15G
    Allow unseenAllow unseen 
aclwdrr009Allow==No, 0/631MOk, 9/498MOk, 3.1k/15G
    Allow unseen  
aclwdrr010Allow==No, 0/631MOk, 2.0k/498MOk, 55k/14G
    Allow unseen  
aclwdrr011Allow==No, 0/631MOk, 3/498MOk, 4.1k/15G
    Allow unseen  
aclwdrr012Allow==No, 0/631MOk, 203/498MOk, 8.2k/15G
    Allow unseen  
aclwdrr013Allow==No, 0/631MOk, 938/498MOk, 25k/14G
    Allow unseen  
aclwdrr014Allow==No, 0/631MOk, 457/498MOk, 28k/14G
    Allow unseen  
aclwdrr015Allow==No, 0/631MOk, 12/498MOk, 3.3k/15G
    Allow unseen  
aclwdrr016Allow==No, 0/631MOk, 65/498MOk, 8.9k/14G
    Allow unseen  
aclwdrr018Allow==No, 0/631MOk, 8/498MOk, 4.2k/15G
    Allow unseen  
aclwdrr019Allow==No, 0/631MOk, 42/498MOk, 5.7k/14G
    Allow unseen  
aclwdrr020Allow==No, 0/631MOk, 133/498MOk, 5.3k/14G
    Allow unseen  
aclwdrr024Forbid==Ok, 0/311MOk, 0/496MOk, 0/15G
aclwdrr025Forbid==Ok, 0/311MOk, 0/496MOk, 0/15G
aclwdrr026Allow==No, 0/311MOk, 14/496MOk, 775/15G
    Allow unseen  
aclwdrr027Allow==No, 0/311MNo, 0/496MOk, 329/15G
    Allow unseenAllow unseen 
aclwdrr030Forbid==Ok, 0/311MOk, 0/496MOk, 0/15G
aclwdrr031Allow==No, 0/311MOk, 178/496MOk, 2.7k/14G
    Allow unseen  
aclwdrr032Allow==No, 0/311MOk, 6/496MOk, 870/14G
    Allow unseen  
aclwdrr035Allow==No, 0/311MOk, 784/501MOk, 89k/17G
    Allow unseen  
aclwdrr037Allow==No, 0/311MOk, 854/496MOk, 4.0k/14G
    Allow unseen  
aclwdrr038Allow==No, 0/311MOk, 386/496MOk, 8.0k/14G
    Allow unseen  
aclwdrr040Forbid==Ok, 0/311MOk, 0/501MOk, 0/20G
aclwdrr041Allow==No, 0/311MOk, 38/496MOk, 4.5k/14G
    Allow unseen  
aclwdrr042Allow==No, 0/311MOk, 43/501MOk, 28k/17G
    Allow unseen  
aclwsrr001Allow==No, 0/610MOk, 56/498MOk, 8.6k/15G
    Allow unseen  
aclwsrr002Allow==No, 0/610MOk, 3.9k/498MOk, 89k/14G
    Allow unseen  
bb1Allow==Ok, 4.6M/960MOk, 474k/1.2GOk, 162M/15G
bb2Forbid==Ok, 0/970MOk, 0/1.2GOk, 0/17G
bb3Forbid==Ok, 0/970MOk, 0/1.2GOk, 0/17G
bb4Forbid==Ok, 0/970MOk, 0/1.2GOk, 0/17G
bb5Forbid==Ok, 0/970MOk, 0/1.2GOk, 0/17G
bclwdww001Forbid==Ok, 0/641MOk, 0/990MOk, 0/16G
bclwdww002Forbid==Ok, 0/641MOk, 0/990MOk, 0/16G
bclwdww003Allow==No, 0/641MOk, 59/990MOk, 1.3k/15G
    Allow unseen  
bclwdww004Forbid==Ok, 0/641MOk, 0/990MOk, 0/16G
bclwdww005Allow==No, 0/641MOk, 415/990MOk, 1.4k/15G
    Allow unseen  
bclwdww006Forbid==Ok, 0/641MOk, 0/990MOk, 0/16G
bclwdww010Forbid==Ok, 0/621MOk, 0/1.1GOk, 0/20G
bclwdww014Forbid==Ok, 0/621MOk, 0/990MOk, 0/16G
bclwdww015Allow==No, 0/641MOk, 12/990MOk, 726/15G
    Allow unseen  
bclwdww016Forbid==Ok, 0/621MOk, 0/990MOk, 0/16G
bclwdww017Allow==No, 0/641MOk, 102/990MOk, 856/15G
    Allow unseen  
bclwdww018Forbid==Ok, 0/621MOk, 0/990MOk, 0/16G
bclwdww020Allow==No, 0/641MOk, 9.2k/990MOk, 6.7k/14G
    Allow unseen  
bclwdww021Allow==No, 0/641MOk, 1.3k/990MOk, 12k/14G
    Allow unseen  
bclwdww022Allow==No, 0/641MOk, 7.0k/990MOk, 5.9k/14G
    Allow unseen  
bclwdww023Allow==No, 0/641MOk, 1.2k/990MOk, 14k/14G
    Allow unseen  
bclwdww024Forbid==Ok, 0/621MOk, 0/990MOk, 0/16G
bclwdww025Allow==No, 0/641MOk, 2.5k/990MOk, 9.2k/15G
    Allow unseen  
bclwdww026Forbid==Ok, 0/621MOk, 0/990MOk, 0/16G
bclwdww029Allow==No, 0/641MOk, 648/990MOk, 8.9k/15G
    Allow unseen  
bclwdww030Forbid==Ok, 0/621MOk, 0/990MOk, 0/16G
bclwsww000Allow==No, 0/630MOk, 560/1.2GOk, 12k/14G
    Allow unseen  
cc1Allow==Ok, 3.9M/960MOk, 2.3M/1.2GOk, 265M/15G
cc2Forbid==Ok, 0/970MOk, 0/1.2GOk, 0/17G
cc3Allow==Ok, 202/960MOk, 77k/1.2GOk, 10M/15G
ccv0Allow==No, 0/970MOk, 15/1.2GOk, 434k/15G
    Allow unseen  
ccv1Allow==No, 0/970MNo, 0/1.2GOk, 192/16G
    Allow unseenAllow unseen 
ccv2Allow==No, 0/970MOk, 1.4k/1.2GOk, 129k/15G
    Allow unseen  
ccv3Forbid==Ok, 0/970MOk, 0/1.2GOk, 0/17G
ccv4Forbid==Ok, 0/970MOk, 0/1.2GOk, 0/17G
co8Forbid==Ok, 0/390MOk, 0/1.2GOk, 0/17G
d1bisAllow==No, 0/590MNo, 0/1.2GNo, 0/17G
    Allow unseenAllow unseenAllow unseen
dd1Allow==No, 0/970MNo, 0/1.2GNo, 0/17G
    Allow unseenAllow unseenAllow unseen
dd2Forbid==Ok, 0/970MOk, 0/1.2GOk, 0/17G
dd3Forbid==Ok, 0/970MOk, 0/1.2GOk, 0/17G
dp4Forbid==Ok, 0/970MOk, 0/1.2GOk, 0/22G
ee1Require==Ok, 0/970MOk, 0/1.2GOk, 0/17G
ee2Require==Ok, 0/970MOk, 0/1.2GOk, 0/17G
ee3Require==Ok, 0/970MOk, 0/1.2GOk, 0/17G
gros-cycleAllow==No, 0/290MOk, 5/600MOk, 819/15G
    Allow unseen  
i4Allow==No, 0/590MNo, 0/1.2GOk, 5.8k/16G
    Allow unseenAllow unseen 
iriwdepv1Allow==No, 0/970MOk, 1.7k/1.2GOk, 45k/15G
    Allow unseen  
iriwdepv3Allow==No, 0/970MOk, 341/1.2GOk, 15k/15G
    Allow unseen  
isa2v6Require==Ok, 0/2.0GOk, 0/1.2GOk, 0/17G
lwswr000Allow==No, 0/310MOk, 546/498MOk, 274k/14G
    Allow unseen  
lwswr001Allow==Ok, 468/300MOk, 1.3k/503MOk, 3.6M/18G
lwswr003Allow==Ok, 4.0k/300MOk, 13k/503MOk, 6.4M/18G
m1lAllow==No, 0/970MOk, 4.3k/1.7GOk, 52k/15G
    Allow unseen  
m1sForbid==Ok, 0/1.1GOk, 0/1.7GOk, 0/17G
m2Allow==Ok, 745k/960MOk, 10M/1.2GOk, 386M/15G
m2lForbid==Ok, 0/970MOk, 0/1.2GOk, 0/17G
m2sForbid==Ok, 0/970MOk, 0/1.2GOk, 0/17G
m3d3Forbid==Ok, 0/970MOk, 0/1.2GOk, 0/17G
m5Allow==Ok, 8.5M/960MOk, 2.6M/1.2GOk, 296M/15G
m5dlAllow==No, 0/690MOk, 158/699MOk, 33k/7.7G
    Allow unseen  
m5lForbid==Ok, 0/970MOk, 0/1.2GOk, 0/17G
m5sForbid==Ok, 0/970MOk, 0/1.2GOk, 0/17G
m6lForbid==Ok, 0/970MOk, 0/1.7GOk, 0/17G
m6sForbid==Ok, 0/1.1GOk, 0/1.7GOk, 0/17G
m7lAllow==No, 0/970MOk, 407/1.2GOk, 53k/15G
    Allow unseen  
m7sForbid==Ok, 0/970MOk, 0/1.2GOk, 0/17G
m8Allow==No, 0/1.1GOk, 3.4k/1.7GOk, 4.8k/15G
    Allow unseen  
m8lRequire==Ok, 0/970MOk, 0/1.7GOk, 0/17G
m8sForbid==Ok, 0/1.1GOk, 0/1.7GOk, 0/17G
m9Require==Ok, 0/970MOk, 0/1.2GOk, 0/17G
m9lRequire==Ok, 0/970MOk, 0/1.2GOk, 0/17G
m9sRequire==Ok, 0/970MOk, 0/1.2GOk, 0/17G
malAllow==No, 0/970MNo, 0/1.2GNo, 0/17G
    Allow unseenAllow unseenAllow unseen
masForbid==Ok, 0/970MOk, 0/1.2GOk, 0/17G
mbAllow==Ok, 20k/960MOk, 3.0M/1.2GOk, 44M/15G
mblForbid==Ok, 0/970MOk, 0/1.2GOk, 0/17G
mbsForbid==Ok, 0/970MOk, 0/1.2GOk, 0/17G
mcAllow==Ok, 35M/960MOk, 21M/1.2GOk, 609M/15G
mclAllow==No, 0/970MNo, 0/1.2GNo, 0/17G
    Allow unseenAllow unseenAllow unseen
mcsForbid==Ok, 0/970MOk, 0/1.2GOk, 0/17G
n1sRequire==Ok, 0/970MOk, 0/1.2GOk, 0/17G
n2Allow==Ok, 11k/960MOk, 62k/1.2GOk, 15M/15G
n2dForbid==Ok, 0/970MOk, 0/1.2GOk, 0/17G
n2dlAllow==No, 0/2.2GOk, 256k/12GOk, 83k/436G
    Allow unseen  
n2lAllow==No, 0/970MOk, 2.6k/1.4GOk, 4.2k/16G
    Allow unseen  
n2l2Forbid==Ok, 0/970MOk, 0/1.2GOk, 0/17G
n2l3Forbid==Ok, 0/970MOk, 0/1.2GOk, 0/17G
n2sForbid==Ok, 0/970MOk, 0/1.2GOk, 0/17G
non-treelike-coherenceAllow==No, 0/10MOk, 57/1.1GOk, 33k/6.2G
    Allow unseen  
podrr001Allow==Ok, 58/281MNo, 0/2.0GOk, 404k/14G
     Allow unseen 
podrr002Allow==Ok, 13/281MNo, 0/2.0GOk, 322k/14G
     Allow unseen 
podrr004Allow==No, 0/291MNo, 0/2.0GOk, 4.7k/15G
    Allow unseenAllow unseen 
podrr005Allow==No, 0/291MNo, 0/2.0GOk, 8.8k/15G
    Allow unseenAllow unseen 
podrr007Allow==No, 0/291MNo, 0/2.0GOk, 13k/15G
    Allow unseenAllow unseen 
podrr008Allow==Ok, 214/281MNo, 0/2.0GOk, 395k/14G
     Allow unseen 
podrr010Allow==No, 0/291MNo, 0/2.0GOk, 15k/15G
    Allow unseenAllow unseen 
podrr011Allow==No, 0/291MNo, 0/2.0GOk, 17k/15G
    Allow unseenAllow unseen 
podrw001Allow==No, 0/633MNo, 0/1.8GNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrw003Allow==No, 0/633MNo, 0/1.8GNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrw004Allow==No, 0/91MNo, 0/1.2GNo, 0/12G
    Allow unseenAllow unseenAllow unseen
podrwposwr001Forbid==Ok, 0/291MOk, 0/800MOk, 0/16G
podrwposwr002Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr003Allow==No, 0/291MNo, 0/800MOk, 1.0k/15G
    Allow unseenAllow unseen 
podrwposwr004Forbid==Ok, 0/291MOk, 0/800MOk, 0/16G
podrwposwr006Forbid==Ok, 0/291MOk, 0/800MOk, 0/16G
podrwposwr007Forbid==Ok, 0/291MOk, 0/800MOk, 0/16G
podrwposwr008Forbid==Ok, 0/291MOk, 0/800MOk, 0/16G
podrwposwr009Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr010Forbid==Ok, 0/291MOk, 0/800MOk, 0/16G
podrwposwr011Forbid==Ok, 0/291MOk, 0/805MOk, 0/20G
podrwposwr012Forbid==Ok, 0/291MOk, 0/800MOk, 0/16G
podrwposwr013Forbid==Ok, 0/291MOk, 0/800MOk, 0/16G
podrwposwr014Forbid==Ok, 0/291MOk, 0/800MOk, 0/16G
podrwposwr016Forbid==Ok, 0/291MOk, 0/800MOk, 0/16G
podrwposwr017Forbid==Ok, 0/291MOk, 0/800MOk, 0/16G
podrwposwr018Forbid==Ok, 0/291MOk, 0/800MOk, 0/16G
podrwposwr020Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr021Allow==No, 0/291MNo, 0/800MOk, 730/15G
    Allow unseenAllow unseen 
podrwposwr022Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr024Allow==Ok, 673/281MNo, 0/800MOk, 3.9k/15G
     Allow unseen 
podrwposwr025Allow==No, 0/291MNo, 0/800MOk, 1.0k/15G
    Allow unseenAllow unseen 
podrwposwr026Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr027Allow==No, 0/291MNo, 0/800MOk, 765/15G
    Allow unseenAllow unseen 
podrwposwr028Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr030Allow==Ok, 1.2k/281MNo, 0/805MOk, 37k/19G
     Allow unseen 
podrwposwr031Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr032Allow==No, 0/291MNo, 0/800MOk, 1.6k/15G
    Allow unseenAllow unseen 
podrwposwr033Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr034Allow==No, 0/291MNo, 0/805MNo, 0/20G
    Allow unseenAllow unseenAllow unseen
podrwposwr035Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr036Allow==Ok, 2/285MNo, 0/800MOk, 788/15G
     Allow unseen 
podrwposwr037Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr038Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr039Allow==No, 0/291MNo, 0/800MOk, 576/15G
    Allow unseenAllow unseen 
podrwposwr040Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr042Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr043Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr044Allow==Ok, 1/285MNo, 0/800MOk, 485/15G
     Allow unseen 
podrwposwr045Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr046Allow==No, 0/291MNo, 0/805MNo, 0/20G
    Allow unseenAllow unseenAllow unseen
podrwposwr047Allow==Ok, 1/281MNo, 0/805MOk, 30k/19G
     Allow unseen 
podrwposwr048Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr049Allow==No, 0/291MNo, 0/800MOk, 849/15G
    Allow unseenAllow unseen 
podrwposwr050Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr051Allow==No, 0/291MNo, 0/805MNo, 0/20G
    Allow unseenAllow unseenAllow unseen
podrwposwr052Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr053Allow==No, 0/291MNo, 0/800MOk, 1.1k/15G
    Allow unseenAllow unseen 
podrwposwr054Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr055Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr056Allow==No, 0/291MNo, 0/800MOk, 263/15G
    Allow unseenAllow unseen 
podrwposwr057Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr059Allow==Ok, 218/281MNo, 0/805MOk, 8.9k/19G
     Allow unseen 
podrwposwr060Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr061Allow==No, 0/291MNo, 0/800MOk, 476/15G
    Allow unseenAllow unseen 
podrwposwr062Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr063Allow==No, 0/291MNo, 0/805MNo, 0/20G
    Allow unseenAllow unseenAllow unseen
podrwposwr064Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr065Allow==No, 0/291MNo, 0/800MOk, 272/16G
    Allow unseenAllow unseen 
podrwposwr066Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr067Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podrwposwr068Allow==No, 0/291MNo, 0/800MOk, 164/16G
    Allow unseenAllow unseen 
podrwposwr069Allow==No, 0/291MNo, 0/800MNo, 0/16G
    Allow unseenAllow unseenAllow unseen
podww001Allow==Ok, 1.2k/302MOk, 2.2M/503MOk, 158M/18G
posrr006Forbid==Ok, 0/290MOk, 0/560MOk, 0/15G
posrr007Forbid==Ok, 0/290MOk, 0/560MOk, 0/15G
posrr009Forbid==Ok, 0/290MOk, 0/560MOk, 0/15G
posrr012Forbid==Ok, 0/290MOk, 0/560MOk, 0/15G
posrr013Forbid==Ok, 0/290MOk, 0/560MOk, 0/15G
ppc-cookbook6.5.1-cpp.iriwForbid==Ok, 0/1.0GOk, 0/1.3GOk, 0/374G
ppc/nathan1Allow==Ok, 12/960MOk, 537/1.2GOk, 237k/15G
ppc/nathan1v1Allow==Ok, 405/960MOk, 3.5k/1.2GOk, 753k/15G
safe000Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe002Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe003Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe004Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe005Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe007Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe008Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe009Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe010Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe012Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe013Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe014Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe015Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe016Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe017Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe018Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe019Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe020Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe022Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe023Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe024Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe025Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe026Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe027Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe028Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe029Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe030Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe032Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe033Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe034Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe035Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe039Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe041Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe042Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe043Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe044Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe047Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe049Allow==No, 0/631MNo, 0/2.4GNo, 0/16G
    Allow unseenAllow unseenAllow unseen
safe050Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe051Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe052Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe054Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe055Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe056Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe057Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe058Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe059Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe060Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe061Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe062Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe063Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe064Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe066Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe068Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe070Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe071Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe072Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe073Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe074Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe075Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe076Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe077Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe078Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe079Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe080Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe081Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe082Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe083Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe084Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe085Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe086Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe087Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe088Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe089Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe090Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe091Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe093Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe094Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe095Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe096Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe098Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe099Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe100Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe101Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe102Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe103Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe104Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe105Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe106Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe107Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe108Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe109Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe110Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe111Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe112Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe114Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe115Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe116Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe117Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe118Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe119Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe120Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe122Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe123Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe124Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe125Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe126Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe127Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe128Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe129Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe130Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe131Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe132Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe133Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe134Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe137Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe139Allow==No, 0/631MNo, 0/2.4GNo, 0/16G
    Allow unseenAllow unseenAllow unseen
safe140Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe141Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe142Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe144Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe145Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe146Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe147Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe148Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe149Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe150Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe151Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe152Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe153Allow==No, 0/631MNo, 0/2.4GNo, 0/16G
    Allow unseenAllow unseenAllow unseen
safe155Allow==No, 0/631MNo, 0/2.4GNo, 0/16G
    Allow unseenAllow unseenAllow unseen
safe157Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe159Allow==No, 0/631MNo, 0/2.4GNo, 0/16G
    Allow unseenAllow unseenAllow unseen
safe160Allow==No, 0/631MNo, 0/2.8GNo, 0/20G
    Allow unseenAllow unseenAllow unseen
safe161Allow==No, 0/631MNo, 0/2.4GNo, 0/16G
    Allow unseenAllow unseenAllow unseen
safe162Allow==No, 0/631MNo, 0/2.4GNo, 0/16G
    Allow unseenAllow unseenAllow unseen
safe163Allow==No, 0/631MNo, 0/2.8GNo, 0/20G
    Allow unseenAllow unseenAllow unseen
safe164Allow==No, 0/631MNo, 0/2.4GNo, 0/16G
    Allow unseenAllow unseenAllow unseen
safe165Allow==No, 0/631MNo, 0/2.8GNo, 0/20G
    Allow unseenAllow unseenAllow unseen
safe166Allow==No, 0/631MNo, 0/2.4GNo, 0/16G
    Allow unseenAllow unseenAllow unseen
safe168Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe169Allow==No, 0/631MNo, 0/2.4GNo, 0/16G
    Allow unseenAllow unseenAllow unseen
safe170Allow==No, 0/631MNo, 0/2.8GNo, 0/20G
    Allow unseenAllow unseenAllow unseen
safe171Allow==No, 0/631MNo, 0/2.4GNo, 0/16G
    Allow unseenAllow unseenAllow unseen
safe172Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe173Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe174Allow==No, 0/631MNo, 0/2.4GNo, 0/16G
    Allow unseenAllow unseenAllow unseen
safe175Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe176Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe177Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe178Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe179Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe181Allow==No, 0/631MNo, 0/2.4GNo, 0/16G
    Allow unseenAllow unseenAllow unseen
safe182Allow==No, 0/631MNo, 0/2.4GNo, 0/16G
    Allow unseenAllow unseenAllow unseen
safe183Allow==No, 0/631MNo, 0/2.4GNo, 0/16G
    Allow unseenAllow unseenAllow unseen
safe185Allow==No, 0/631MNo, 0/2.4GNo, 0/16G
    Allow unseenAllow unseenAllow unseen
safe186Allow==No, 0/631MNo, 0/2.4GNo, 0/16G
    Allow unseenAllow unseenAllow unseen
safe187Allow==No, 0/631MNo, 0/2.4GNo, 0/16G
    Allow unseenAllow unseenAllow unseen
safe188Allow==No, 0/631MNo, 0/2.4GNo, 0/16G
    Allow unseenAllow unseenAllow unseen
safe189Allow==No, 0/631MNo, 0/2.4GNo, 0/16G
    Allow unseenAllow unseenAllow unseen
safe190Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe191Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe192Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe193Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe194Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe195Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe196Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe197Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe198Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe200Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe201Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe202Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe203Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe204Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe206Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe207Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/15G
safe208Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe209Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe210Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe211Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe212Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe213Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe214Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe216Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe217Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe218Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe219Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe220Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe221Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe222Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe223Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe224Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe226Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe227Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe228Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe229Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe230Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe231Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe232Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe233Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe234Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe235Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe237Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe239Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe240Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe241Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe243Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe244Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe246Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe247Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe249Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe250Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe251Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe253Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe254Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe255Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe256Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe257Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe258Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe259Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe260Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe261Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe262Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe263Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe264Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe265Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe266Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe267Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe268Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe269Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe270Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe272Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe273Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe274Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe275Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe276Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe277Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe278Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe279Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe280Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe281Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe283Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe284Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe285Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe286Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe287Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe288Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe289Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe290Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe291Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe292Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe293Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe294Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe295Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe296Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe298Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe299Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe300Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe302Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe303Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe304Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe305Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe306Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe308Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe309Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe310Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe311Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe312Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe313Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe314Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe316Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe317Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe318Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe319Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe321Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe322Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe324Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe325Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe327Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe328Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe329Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe330Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe331Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe332Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe333Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe334Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe335Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe337Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe338Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe340Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe341Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe342Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe343Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe344Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe346Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe347Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe348Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe349Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe350Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe351Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe352Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe353Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe354Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe356Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe357Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe360Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe361Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe362Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe364Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe366Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe367Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe368Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe370Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe371Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe373Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe375Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe376Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe377Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe378Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe379Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe380Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe381Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe382Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe383Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe384Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe385Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe386Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe387Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe389Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe390Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe391Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe392Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe393Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe394Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe395Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe396Forbid==Ok, 0/631MOk, 0/2.8GOk, 0/20G
safe397Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe398Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe399Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe400Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe401Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe402Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe403Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe404Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe405Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe406Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe407Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe408Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe409Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe411Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe412Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe413Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe415Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe417Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe418Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe419Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe420Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe421Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe422Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe423Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe424Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe425Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe427Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe429Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe430Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe431Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe432Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe434Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe435Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe436Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe438Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe439Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe440Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe441Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe442Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe443Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe444Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe445Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe446Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe447Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe448Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe449Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe451Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe452Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe453Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe454Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe455Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe456Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe458Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe459Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe461Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe462Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe463Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe464Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe465Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe466Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe467Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe469Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe471Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe472Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe473Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe474Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe475Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe476Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe477Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe479Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe480Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe481Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe483Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe484Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe486Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe487Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe488Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe489Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe490Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe492Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe493Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe494Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe495Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe496Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe498Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe499Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe500Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe501Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe502Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe503Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/10G
safe504Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe505Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe507Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe509Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe510Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe512Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe513Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe515Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe517Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe518Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe520Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe521Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe523Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe524Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe526Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe528Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe529Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe530Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe532Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe533Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe534Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe535Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe536Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe537Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe539Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe540Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe541Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe542Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe543Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe545Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe546Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe547Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe548Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe549Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe550Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe552Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe553Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe555Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe556Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe557Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe558Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe559Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe560Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe561Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe563Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
safe566Forbid==Ok, 0/631MOk, 0/2.4GOk, 0/16G
wrcv4Allow==No, 0/970MOk, 1.1k/1.2GOk, 1.6k/16G
    Allow unseen  
MP+PPO089Allow==Ok, 1.2k/825MNo, 0/1.6GOk, 60k/33G
     Allow unseen 
MP+PPO192Allow==Ok, 1.9k/1.1GNo, 0/1.6GOk, 54k/32G
     Allow unseen 
MP+PPO475Forbid==Ok, 0/3.7GOk, 0/1.6GOk, 0/55G
MP+PPO544Forbid==Ok, 0/3.7GOk, 0/1.6GOk, 0/55G
MP+PPO636Forbid==Ok, 0/3.7GOk, 0/1.6GOk, 0/55G
MP+PPO728Forbid==Ok, 0/3.7GOk, 0/1.6GOk, 0/55G
MP+PPO827Allow==Ok, 1.7k/345MNo, 0/1.6GOk, 67k/33G
     Allow unseen 
MP+PPO936Forbid==Ok, 0/3.7GOk, 0/1.6GOk, 0/55G
MP+PPO946Forbid==Ok, 0/3.7GOk, 0/1.6GOk, 0/55G
MP+PPO947Forbid==Ok, 0/3.7GOk, 0/1.6GOk, 0/55G
MP+PPO948Forbid==Ok, 0/3.7GOk, 0/1.6GOk, 0/55G
MP+PPO951Forbid==Ok, 0/3.7GOk, 0/1.6GOk, 0/55G
MP+PPO960Forbid==Ok, 0/3.7GOk, 0/1.6GOk, 0/55G
S+PPO261Forbid==Ok, 0/3.1GOk, 0/1.6GOk, 0/55G
S+PPO544Forbid==Ok, 0/3.1GOk, 0/1.6GOk, 0/55G
S+PPO827Forbid==Ok, 0/3.1GOk, 0/1.6GOk, 0/55G
3.2WAllow==Ok, 1.0k/661MOk, 9.3M/1.7GOk, 106M/12G
3.2W+rfi-datasAllow==Ok, 2/12MOk, 10/4.1MOk, 24M/7.8G
3.2W+lwsync+po+poAllow==No, 0/658MOk, 41k/1.7GOk, 10M/12G
    Allow unseen  
3.2W+lwsync+rfi-data+rfi-dataAllow==No, 0/150MOk, 4/20MOk, 4.5M/7.8G
    Allow unseen  
3.2W+lwsync+lwsync+poAllow==No, 0/658MOk, 1.4k/1.7GOk, 185k/12G
    Allow unseen  
3.2W+lwsync+lwsync+rfi-dataAllow==No, 0/150MOk, 1/108MOk, 192k/7.8G
    Allow unseen  
3.2W+lwsync+sync+poAllow==No, 0/658MOk, 4.7k/1.7GOk, 140k/12G
    Allow unseen  
3.2W+lwsync+sync+lwsyncForbid==Ok, 0/10MOk, 0/2.2GOk, 0/28G
3.2W+lwsyncsForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
3.2W+sync+po+poAllow==Ok, 2/658MOk, 76k/1.7GOk, 6.5M/12G
3.2W+sync+rfi-data+lwsyncAllow==No, 0/150MOk, 1/32MOk, 91k/7.8G
    Allow unseen  
3.2W+sync+rfi-data+rfi-dataAllow==No, 0/150MOk, 1/33MOk, 3.7M/7.8G
    Allow unseen  
3.2W+sync+lwsync+poAllow==No, 0/658MOk, 51/1.7GOk, 118k/12G
    Allow unseen  
3.2W+sync+lwsync+rfi-dataAllow==No, 0/150MOk, 2/126MOk, 159k/7.9G
    Allow unseen  
3.2W+sync+lwsync+lwsyncForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
3.2W+sync+sync+poAllow==No, 0/658MOk, 41/1.7GOk, 81k/12G
    Allow unseen  
3.2W+sync+sync+rfi-dataAllow==No, 0/150MOk, 1/30MOk, 114k/7.8G
    Allow unseen  
3.2W+sync+sync+lwsyncForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
3.2W+syncsForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
3.SB+lwsync+lwsync+poAllow==Ok, 148k/535MOk, 89M/1.7GOk, 117M/12G
3.SB+lwsync+sync+poAllow==Ok, 108k/536MOk, 2.0M/1.7GOk, 30M/12G
3.SB+lwsyncsAllow==Ok, 3.5k/535MOk, 78M/1.7GOk, 49M/12G
3.SB+sync+lwsync+lwsyncAllow==Ok, 390/551MOk, 1.9M/1.7GOk, 13M/12G
3.SB+sync+sync+rfi-addrAllow==Ok, 4/8.0MOk, 4/18MOk, 4.0M/7.8G
3.SB+sync+sync+lwsyncAllow==Ok, 2/645MOk, 7.7k/1.7GOk, 1.6M/12G
3.SB+syncsForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
ISA2+rfi-data+addr+addr-fri-rfi-addrAllow==Ok, 6/200kOk, 2/41MOk, 1.7M/7.8G
ISA2+rfi-data+data+addr-fri-rfi-addrAllow==Ok, 4/700kOk, 3/34MOk, 1.6M/7.8G
ISA2+rfi-data+sync+addr-fri-rfi-addrAllow==Ok, 1/1.4MOk, 1/94MOk, 48k/7.9G
ISA2+lwsync+addr+addr-fri-rfi-addrAllow==Ok, 4/700kNo, 0/2.1GOk, 4.7k/7.9G
     Allow unseen 
ISA2+lwsync+data+addr-fri-rfi-addrAllow==Ok, 20/800kNo, 0/2.1GOk, 4.8k/7.9G
     Allow unseen 
ISA2+lwsync+lwsync+addr-fri-rfi-addrAllow==Ok, 2/3.4MNo, 0/2.1GOk, 2.4k/7.9G
     Allow unseen 
ISA2+lwsync+sync+addr-fri-rfi-addrAllow==Ok, 3/2.6MNo, 0/2.1GOk, 1.6k/7.9G
     Allow unseen 
ISA2+sync+sync+addr-fri-rfi-addrAllow==Ok, 7/700kNo, 0/2.1GOk, 191/8.1G
     Allow unseen 
ISA2+sync+sync+addr-po-rfiForbid==Ok, 0/4.0GOk, 0/850MOk, 0/8.1G
W+RWC+po+lwsync+lwsyncAllow==Ok, 27/648MOk, 18M/1.7GOk, 29M/12G
W+RWC+po+lwsync+syncAllow==No, 0/658MOk, 25k/1.7GOk, 1.4M/12G
    Allow unseen  
W+RWC+rfi-data+addr-fri-rfi-addr+syncAllow==Ok, 1/1.1MOk, 3/34MOk, 14M/7.7G
W+RWC+lwsyncsAllow==No, 0/658MOk, 12M/1.7GOk, 2.7M/12G
    Allow unseen  
W+RWC+sync+addr-fri-rfi-addr+rfi-addrAllow==Ok, 13/500kOk, 2/67MOk, 808k/7.7G
W+RWC+sync+addr-fri-rfi-addr+syncAllow==Ok, 3/2.7MNo, 0/2.1GOk, 13/8.0G
     Allow unseen 
W+RWC+sync+addr-po-rfi+syncForbid==Ok, 0/4.0GOk, 0/850MOk, 0/8.0G
W+RWC+sync+lwsync+lwsyncAllow==No, 0/658MOk, 22k/1.7GOk, 321k/12G
    Allow unseen  
W+RWC+sync+sync+lwsyncAllow==No, 0/658MOk, 29k/1.7GOk, 165k/12G
    Allow unseen  
Z6.0+po+lwsync+lwsyncAllow==Ok, 419/658MOk, 1.6M/1.7GOk, 11M/12G
Z6.0+po+lwsync+syncAllow==No, 0/658MOk, 6.7k/1.7GOk, 114k/12G
    Allow unseen  
Z6.0+rfi-data+lwsync+syncAllow==No, 0/150MOk, 29/1.3GOk, 87/8.2G
    Allow unseen  
Z6.0+lwsync+po+lwsyncAllow==No, 0/658MOk, 1.2M/1.7GOk, 1.1M/12G
    Allow unseen  
Z6.0+lwsync+po+syncAllow==No, 0/658MNo, 0/1.7GNo, 0/13G
    Allow unseenAllow unseenAllow unseen
Z6.0+lwsync+addr+lwsyncAllow==No, 0/658MOk, 1.2M/1.7GOk, 764k/12G
    Allow unseen  
Z6.0+lwsync+lwsync+rfi-addrAllow==Ok, 1/12MOk, 4/4.0MOk, 729k/7.7G
Z6.0+lwsync+lwsync+syncAllow==No, 0/658MNo, 0/1.7GNo, 0/13G
    Allow unseenAllow unseenAllow unseen
Z6.0+lwsync+sync+poAllow==Ok, 5.2k/652MOk, 696k/1.7GOk, 1.3M/12G
Z6.0+lwsync+sync+lwsyncAllow==No, 0/658MOk, 805k/1.7GOk, 675k/12G
    Allow unseen  
Z6.0+lwsync+sync+syncForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
Z6.0+lwsyncsAllow==No, 0/658MOk, 985k/1.7GOk, 566k/12G
    Allow unseen  
Z6.0+sync+lwsync+rfi-addrAllow==Ok, 2/21MOk, 121/1.3GOk, 67k/7.7G
Z6.0+sync+lwsync+lwsyncAllow==No, 0/658MOk, 26k/1.7GOk, 131k/12G
    Allow unseen  
Z6.0+sync+lwsync+syncForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
Z6.0+sync+sync+lwsyncAllow==No, 0/658MOk, 12k/1.7GOk, 101k/12G
    Allow unseen  
Z6.0+syncsForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
Z6.1Allow==Ok, 27/758MOk, 2.1M/1.7GOk, 23M/12G
Z6.1+po+po+addrAllow==Ok, 18/658MOk, 1.7M/1.7GOk, 21M/12G
Z6.1+po+po+lwsyncAllow==Ok, 7/654MOk, 42k/1.7GOk, 4.1M/12G
Z6.1+po+lwsync+poAllow==No, 0/658MOk, 12k/1.7GOk, 192k/12G
    Allow unseen  
Z6.1+po+lwsync+lwsyncAllow==No, 0/658MOk, 4.0k/1.7GOk, 89k/12G
    Allow unseen  
Z6.1+po+lwsync+syncAllow==No, 0/658MOk, 6.8k/1.7GOk, 87k/12G
    Allow unseen  
Z6.1+po+sync+lwsyncAllow==No, 0/658MOk, 197/1.7GOk, 61k/12G
    Allow unseen  
Z6.1+po+sync+syncAllow==No, 0/658MOk, 66/1.7GOk, 51k/12G
    Allow unseen  
Z6.1+rfi-data+lwsync+dataAllow==No, 0/150MOk, 1/33MOk, 188k/7.8G
    Allow unseen  
Z6.1+rfi-data+lwsync+lwsyncAllow==No, 0/150MOk, 1/30MOk, 35k/7.8G
    Allow unseen  
Z6.1+rfi-data+lwsync+syncAllow==No, 0/150MOk, 4/10MOk, 89k/7.7G
    Allow unseen  
Z6.1+rfi-data+rfi-data+dataAllow==Ok, 4/71MOk, 4/10MOk, 3.9M/7.7G
Z6.1+rfi-data+sync+syncAllow==No, 0/150MOk, 2/106MOk, 5.5k/7.8G
    Allow unseen  
Z6.1+lwsync+po+addrAllow==No, 0/658MOk, 47k/1.7GOk, 2.7M/12G
    Allow unseen  
Z6.1+lwsync+po+lwsyncAllow==No, 0/658MOk, 1.4k/1.7GOk, 97k/12G
    Allow unseen  
Z6.1+lwsync+po+syncAllow==No, 0/658MOk, 248/1.7GOk, 78k/12G
    Allow unseen  
Z6.1+lwsync+rfi-data+addrAllow==No, 0/150MOk, 6/15MOk, 1.5M/7.7G
    Allow unseen  
Z6.1+lwsync+rfi-data+dataAllow==No, 0/150MOk, 11/10MOk, 2.0M/7.7G
    Allow unseen  
Z6.1+lwsync+rfi-data+lwsyncAllow==No, 0/150MOk, 1/133MOk, 84/8.2G
    Allow unseen  
Z6.1+lwsync+rfi-data+syncAllow==No, 0/150MOk, 27/1.3GOk, 67/8.2G
    Allow unseen  
Z6.1+lwsync+lwsync+poAllow==No, 0/658MNo, 0/1.7GNo, 0/13G
    Allow unseenAllow unseenAllow unseen
Z6.1+lwsync+lwsync+addrForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
Z6.1+lwsync+lwsync+syncForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
Z6.1+lwsync+sync+poAllow==No, 0/658MNo, 0/1.7GNo, 0/13G
    Allow unseenAllow unseenAllow unseen
Z6.1+lwsync+sync+lwsyncForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
Z6.1+lwsync+sync+syncForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
Z6.1+lwsyncsForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
Z6.1+sync+po+lwsyncAllow==No, 0/658MOk, 5.6k/1.7GOk, 72k/12G
    Allow unseen  
Z6.1+sync+po+syncAllow==No, 0/658MOk, 82/1.7GOk, 55k/12G
    Allow unseen  
Z6.1+sync+rfi-data+addrAllow==No, 0/150MOk, 3/20MOk, 1.0M/7.7G
    Allow unseen  
Z6.1+sync+rfi-data+lwsyncAllow==No, 0/150MOk, 23/1.3GOk, 87/8.2G
    Allow unseen  
Z6.1+sync+lwsync+poAllow==No, 0/658MNo, 0/1.7GNo, 0/13G
    Allow unseenAllow unseenAllow unseen
Z6.1+sync+lwsync+lwsyncForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
Z6.1+sync+lwsync+syncForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
Z6.1+sync+sync+poAllow==No, 0/658MNo, 0/1.7GNo, 0/13G
    Allow unseenAllow unseenAllow unseen
Z6.1+sync+sync+lwsyncForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
Z6.1+syncsForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
Z6.2+po+po+lwsyncAllow==No, 0/658MOk, 33k/1.7GOk, 1.3M/12G
    Allow unseen  
Z6.2+po+po+syncAllow==No, 0/658MOk, 36k/1.7GOk, 889k/12G
    Allow unseen  
Z6.2+po+lwsync+syncAllow==No, 0/658MOk, 5.6k/1.7GOk, 42k/12G
    Allow unseen  
Z6.2+po+sync+syncAllow==No, 0/658MOk, 814/1.7GOk, 35k/12G
    Allow unseen  
Z6.2+rfi-data+sync+syncAllow==No, 0/150MOk, 20/1.3GOk, 31/8.2G
    Allow unseen  
Z6.2+lwsync+lwsync+poAllow==No, 0/658MNo, 0/1.7GNo, 0/13G
    Allow unseenAllow unseenAllow unseen
Z6.2+lwsync+lwsync+syncForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
Z6.2+sync+lwsync+lwsyncForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
Z6.2+sync+lwsync+syncForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
Z6.2+syncsForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
Z6.3+po+po+lwsyncAllow==Ok, 539/652MOk, 5.0M/1.7GOk, 18M/12G
Z6.3+po+po+syncAllow==Ok, 136/658MOk, 182k/1.7GOk, 7.1M/12G
Z6.3+po+lwsync+lwsyncAllow==No, 0/658MOk, 3.0M/1.7GOk, 514k/12G
    Allow unseen  
Z6.3+po+lwsync+syncAllow==No, 0/658MOk, 38k/1.7GOk, 123k/12G
    Allow unseen  
Z6.3+po+sync+syncAllow==No, 0/658MOk, 849/1.7GOk, 56k/12G
    Allow unseen  
Z6.3+rfi-data+lwsync+addr-fri-rfi-addrAllow==Ok, 5/300kOk, 4/34MOk, 1.8M/7.7G
Z6.3+rfi-data+lwsync+lwsyncAllow==No, 0/150MOk, 147/1.2MOk, 1.5M/7.7G
    Allow unseen  
Z6.3+rfi-data+rfi-data+addr-fri-rfi-addrAllow==Ok, 3/300kOk, 4/34MOk, 20M/7.7G
Z6.3+rfi-data+rfi-data+syncAllow==Ok, 3/70MOk, 3/14MOk, 661k/7.7G
Z6.3+rfi-data+sync+addr-fri-rfi-addrAllow==Ok, 4/1.2MOk, 1/66MOk, 151k/7.7G
Z6.3+rfi-data+sync+lwsyncAllow==No, 0/150MOk, 2/92MOk, 68k/7.7G
    Allow unseen  
Z6.3+lwsync+po+syncAllow==No, 0/658MOk, 4.4k/1.7GOk, 150k/12G
    Allow unseen  
Z6.3+lwsync+rfi-data+addr-fri-rfi-addrAllow==Ok, 37/300kOk, 2/40MOk, 16M/7.7G
Z6.3+lwsync+lwsync+addr-fri-rfi-addrAllow==Ok, 2/500kOk, 5/34MOk, 213k/7.7G
Z6.3+lwsync+lwsync+syncAllow==No, 0/658MNo, 0/1.7GNo, 0/13G
    Allow unseenAllow unseenAllow unseen
Z6.3+lwsync+sync+addr-fri-rfi-addrAllow==Ok, 3/4.0MNo, 0/2.1GOk, 31/8.0G
     Allow unseen 
Z6.3+lwsync+sync+lwsyncAllow==No, 0/658MNo, 0/1.7GNo, 0/13G
    Allow unseenAllow unseenAllow unseen
Z6.3+lwsync+sync+syncAllow==No, 0/658MNo, 0/1.7GNo, 0/13G
    Allow unseenAllow unseenAllow unseen
Z6.3+lwsyncsAllow==No, 0/658MOk, 1.1k/1.7GOk, 68k/12G
    Allow unseen  
Z6.3+sync+po+lwsyncAllow==No, 0/658MOk, 31k/1.7GOk, 570k/12G
    Allow unseen  
Z6.3+sync+rfi-data+addr-fri-rfi-addrAllow==Ok, 10/400kOk, 3/38MOk, 13M/7.7G
Z6.3+sync+lwsync+addr-fri-rfi-addrAllow==Ok, 1/10MOk, 2/40MOk, 133k/7.7G
Z6.3+sync+lwsync+syncForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
Z6.3+sync+sync+addr-fri-rfi-addrAllow==Ok, 2/3.5MNo, 0/2.1GOk, 11/8.0G
     Allow unseen 
Z6.3+syncsForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
Z6.4+po+po+lwsyncAllow==Ok, 30k/535MOk, 47M/1.7GOk, 132M/12G
Z6.4+po+po+syncAllow==Ok, 6.3k/582MOk, 768k/1.7GOk, 34M/12G
Z6.4+po+lwsync+poAllow==Ok, 287k/535MOk, 48M/1.7GOk, 156M/12G
Z6.4+po+lwsync+lwsyncAllow==Ok, 7.8k/536MOk, 47M/1.7GOk, 86M/12G
Z6.4+po+lwsync+syncAllow==Ok, 101/605MOk, 464k/1.7GOk, 16M/12G
Z6.4+po+sync+poAllow==Ok, 118k/567MOk, 1.6M/1.7GOk, 31M/12G
Z6.4+po+sync+lwsyncAllow==Ok, 2.3k/641MOk, 1.9M/1.7GOk, 18M/12G
Z6.4+rfi-data+rfi-addr+rfi-addrAllow==Ok, 24/2.0MOk, 9/370kOk, 82M/7.7G
Z6.4+rfi-data+sync+rfi-addrAllow==Ok, 12/7.0MOk, 16/1.5MOk, 14M/7.7G
Z6.4+rfi-data+sync+syncAllow==No, 0/150MOk, 1/112MOk, 745k/7.8G
    Allow unseen  
Z6.4+lwsync+po+lwsyncAllow==Ok, 107k/545MOk, 21M/1.7GOk, 30M/12G
Z6.4+lwsync+rfi-addr+syncAllow==Ok, 3/27MOk, 4/1.9MOk, 2.8M/7.7G
Z6.4+lwsync+lwsync+poAllow==Ok, 120k/535MOk, 23M/1.7GOk, 38M/12G
Z6.4+lwsync+lwsync+syncAllow==Ok, 2/638MOk, 28k/1.7GOk, 2.0M/12G
Z6.4+lwsync+sync+poAllow==Ok, 54k/652MOk, 887k/1.7GOk, 4.0M/12G
Z6.4+lwsync+sync+lwsyncAllow==No, 0/658MOk, 1.0M/1.7GOk, 1.7M/12G
    Allow unseen  
Z6.4+lwsync+sync+syncAllow==No, 0/658MNo, 0/1.7GNo, 0/13G
    Allow unseenAllow unseenAllow unseen
Z6.4+lwsyncsAllow==Ok, 370/549MOk, 23M/1.7GOk, 15M/12G
Z6.4+sync+po+syncAllow==Ok, 7.4k/654MOk, 2.7k/1.7GOk, 2.0M/12G
Z6.4+sync+rfi-addr+syncAllow==Ok, 15/64MOk, 7/580kOk, 615k/7.7G
Z6.4+sync+lwsync+poAllow==Ok, 41k/583MOk, 1.6M/1.7GOk, 20M/12G
Z6.4+sync+lwsync+lwsyncAllow==Ok, 26/582MOk, 1.6M/1.7GOk, 6.0M/12G
Z6.4+sync+lwsync+syncAllow==Ok, 2/625MOk, 2.5k/1.7GOk, 808k/12G
Z6.4+sync+sync+poAllow==Ok, 4.4k/652MOk, 2.8k/1.7GOk, 1.4M/12G
Z6.4+sync+sync+rfi-addrAllow==Ok, 2/23MOk, 6/715kOk, 410k/7.7G
Z6.4+sync+sync+lwsyncAllow==No, 0/658MOk, 5.1k/1.7GOk, 312k/12G
    Allow unseen  
Z6.4+syncsForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
Z6.5+po+po+lwsyncAllow==Ok, 1.4k/536MOk, 24M/1.7GOk, 91M/12G
Z6.5+po+po+syncAllow==Ok, 5/651MOk, 116k/1.7GOk, 13M/12G
Z6.5+po+lwsync+lwsyncAllow==Ok, 12/633MOk, 7.0M/1.7GOk, 23M/12G
Z6.5+po+lwsync+syncAllow==No, 0/658MOk, 21k/1.7GOk, 243k/12G
    Allow unseen  
Z6.5+po+sync+lwsyncAllow==No, 0/658MOk, 1.3M/1.7GOk, 11M/12G
    Allow unseen  
Z6.5+po+sync+syncAllow==No, 0/658MOk, 1.9k/1.7GOk, 131k/12G
    Allow unseen  
Z6.5+rfi-data+lwsync+rfi-addrAllow==Ok, 28/5.0MOk, 7/1.2MOk, 20M/7.7G
Z6.5+rfi-data+lwsync+syncAllow==No, 0/150MOk, 1/30MOk, 266k/7.8G
    Allow unseen  
Z6.5+rfi-data+rfi-data+rfi-addrAllow==Ok, 6/3.0MOk, 21/505kOk, 41M/7.7G
Z6.5+rfi-data+rfi-data+syncAllow==Ok, 1/71MOk, 1/32MOk, 5.1M/7.7G
Z6.5+rfi-data+sync+rfi-addrAllow==Ok, 2/8.0MOk, 5/13MOk, 2.8M/7.7G
Z6.5+rfi-data+sync+syncAllow==No, 0/150MOk, 2/75MOk, 66k/7.8G
    Allow unseen  
Z6.5+lwsync+po+lwsyncAllow==Ok, 912/564MOk, 2.6M/1.7GOk, 11M/12G
Z6.5+lwsync+po+syncAllow==No, 0/658MOk, 462/1.7GOk, 312k/12G
    Allow unseen  
Z6.5+lwsync+rfi-data+rfi-addrAllow==Ok, 2/7.0MOk, 93/305kOk, 23M/7.7G
Z6.5+lwsync+rfi-data+syncAllow==No, 0/150MOk, 1/30MOk, 314k/7.7G
    Allow unseen  
Z6.5+lwsync+lwsync+poAllow==Ok, 9.3k/652MOk, 1.7M/1.7GOk, 4.3M/12G
Z6.5+lwsync+lwsync+rfi-addrAllow==Ok, 3/12MOk, 52/340kOk, 2.1M/7.7G
Z6.5+lwsync+lwsync+syncAllow==No, 0/658MNo, 0/1.7GNo, 0/13G
    Allow unseenAllow unseenAllow unseen
Z6.5+lwsync+sync+poAllow==Ok, 1.6k/652MOk, 564k/1.7GOk, 1.9M/12G
Z6.5+lwsync+sync+rfi-addrAllow==Ok, 1/18MOk, 58/525kOk, 731k/7.7G
Z6.5+lwsync+sync+lwsyncAllow==No, 0/658MOk, 566k/1.7GOk, 992k/12G
    Allow unseen  
Z6.5+lwsync+sync+syncAllow==No, 0/658MNo, 0/1.7GNo, 0/13G
    Allow unseenAllow unseenAllow unseen
Z6.5+lwsyncsAllow==No, 0/658MOk, 1.7M/1.7GOk, 1.9M/12G
    Allow unseen  
Z6.5+sync+po+poAllow==Ok, 27k/586MOk, 499k/1.7GOk, 18M/12G
Z6.5+sync+po+lwsyncAllow==Ok, 10/636MOk, 86k/1.7GOk, 6.1M/12G
Z6.5+sync+po+syncAllow==No, 0/658MOk, 390/1.7GOk, 151k/12G
    Allow unseen  
Z6.5+sync+rfi-data+syncAllow==No, 0/150MOk, 1/30MOk, 176k/7.7G
    Allow unseen  
Z6.5+sync+lwsync+rfi-addrAllow==Ok, 3/15MOk, 4/3.8MOk, 1.2M/7.7G
Z6.5+sync+lwsync+lwsyncAllow==No, 0/658MOk, 26k/1.7GOk, 519k/12G
    Allow unseen  
Z6.5+sync+lwsync+syncForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
Z6.5+sync+sync+rfi-addrAllow==Ok, 3/69MOk, 7/340kOk, 231k/7.7G
Z6.5+sync+sync+lwsyncAllow==No, 0/658MOk, 2.6k/1.7GOk, 172k/12G
    Allow unseen  
Z6.5+syncsForbid==Ok, 0/658MOk, 0/1.7GOk, 0/13G
IRIW+addrs-twiceAllow==No, 0/290MNo, 0/2.9GOk, 30/35G
    Allow unseenAllow unseen 
IRIW+lwsync+syncAllow==No, 0/2.3GOk, 5.4k/5.0GOk, 41k/29G
    Allow unseen  
IRIW+lwsyncsAllow==No, 0/3.6GOk, 568k/13GOk, 466k/93G
    Allow unseen  
IRIW+syncsForbid==Ok, 0/3.5GOk, 0/20GOk, 0/132G
IRRWIW+po+lwsyncAllow==Ok, 7.4k/652MOk, 269/1.7GOk, 103k/9.5G
IRRWIW+po+syncAllow==Ok, 370/655MOk, 159/1.7GOk, 82k/9.4G
IRRWIW+addr+lwsyncAllow==No, 0/658MOk, 555/1.7GOk, 4.8k/10G
    Allow unseen  
IRRWIW+lwsync+poAllow==No, 0/658MOk, 15k/1.7GOk, 22k/10G
    Allow unseen  
IRRWIW+lwsync+addrAllow==No, 0/658MOk, 15k/1.7GOk, 22k/9.5G
    Allow unseen  
IRRWIW+lwsync+syncAllow==No, 0/658MOk, 708/1.7GOk, 10k/10G
    Allow unseen  
IRRWIW+lwsyncsAllow==No, 0/658MOk, 775/1.7GOk, 11k/10G
    Allow unseen  
IRRWIW+sync+poAllow==No, 0/658MOk, 699/1.7GOk, 1.2k/10G
    Allow unseen  
IRRWIW+sync+lwsyncAllow==No, 0/658MNo, 0/1.7GNo, 0/10G
    Allow unseenAllow unseenAllow unseen
IRRWIW+syncsForbid==Ok, 0/658MOk, 0/1.7GOk, 0/10G
IRWIWAllow==No, 0/888MOk, 1.0k/1.8GOk, 6.4k/10G
    Allow unseen  
IRWIW+addr+poAllow==No, 0/658MOk, 1.2k/1.7GOk, 6.4k/10G
    Allow unseen  
IRWIW+lwsync+poAllow==No, 0/658MOk, 1.3k/1.7GOk, 1.8k/10G
    Allow unseen  
IRWIW+lwsync+addrAllow==No, 0/658MOk, 2.0k/1.7GOk, 2.0k/10G
    Allow unseen  
IRWIW+lwsyncsForbid==Ok, 0/658MOk, 0/1.7GOk, 0/10G
IRWIW+sync+poAllow==No, 0/658MOk, 765/1.7GOk, 1.9k/10G
    Allow unseen  
IRWIW+sync+addrAllow==No, 0/658MOk, 663/1.7GOk, 1.7k/10G
    Allow unseen  
IRWIW+sync+lwsyncForbid==Ok, 0/658MOk, 0/1.7GOk, 0/10G
IRWIW+syncsForbid==Ok, 0/658MOk, 0/1.7GOk, 0/10G
WW+RR+WW+RR+lwsyncsAllow==No, 0/4.0GOk, 1.8k/360kOk, 40k/6.2G
    Allow unseen  
WW+RR+WW+RR+sync+addr+sync+addrForbid==Ok, 0/4.0GOk, 0/325MOk, 0/6.3G

Cycles and kinds.

Model output available for Operational only

There are 0 such tests:

Cycles and kinds.

No model output

Finally, we have no result at all for 0 tests.

Cycles and kinds.


Previous Up Next