Less Relaxed vs. ARMllh

Contents

Checking Less Relaxed against ARM llh

More behaviours

There is no such test

Less behaviours

There are 126 such tests
 LessRelaxedARMllhModelARMTegra2APQ8060A5XA6XExynos5250Tegra3Exynos4412Exynos5410APQ8064
DETOUR0158ForbidAllowForbidNo, 0/66GNo, 0/3.0GNo, 0/7.6GNo, 0/4.4GNo, 0/10GNo, 0/8.3GNo, 0/7.9GNo, 0/14GNo, 0/6.3GNo, 0/4.5G
    Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
LB0064ForbidAllowForbidNo, 0/67GNo, 0/3.9GNo, 0/5.9GNo, 0/4.4GNo, 0/12GNo, 0/8.3GNo, 0/7.6GNo, 0/14GNo, 0/6.3GNo, 0/4.5G
    Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
DETOUR0169ForbidAllowForbidNo, 0/65GNo, 0/3.0GNo, 0/7.6GNo, 0/3.6GNo, 0/9.2GNo, 0/8.3GNo, 0/7.9GNo, 0/14GNo, 0/6.3GNo, 0/4.5G
    Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
DETOUR0189ForbidAllowForbidNo, 0/65GNo, 0/3.0GNo, 0/7.6GNo, 0/3.6GNo, 0/9.2GNo, 0/8.3GNo, 0/7.9GNo, 0/14GNo, 0/6.3GNo, 0/4.5G
    Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
DETOUR0288ForbidAllowForbidNo, 0/66GNo, 0/3.0GNo, 0/7.6GNo, 0/4.4GNo, 0/10GNo, 0/8.3GNo, 0/7.9GNo, 0/14GNo, 0/6.3GNo, 0/4.5G
    Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
DETOUR0298ForbidAllowForbidNo, 0/66GNo, 0/3.0GNo, 0/7.6GNo, 0/4.4GNo, 0/10GNo, 0/8.3GNo, 0/7.9GNo, 0/14GNo, 0/6.3GNo, 0/4.5G
    Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
DETOUR0359ForbidAllowForbidNo, 0/65GNo, 0/3.0GNo, 0/7.6GNo, 0/3.6GNo, 0/9.2GNo, 0/8.3GNo, 0/7.9GNo, 0/14GNo, 0/6.3GNo, 0/4.5G
    Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
DETOUR0457ForbidAllowForbidNo, 0/66GNo, 0/3.0GNo, 0/7.6GNo, 0/4.4GNo, 0/10GNo, 0/8.3GNo, 0/7.8GNo, 0/14GNo, 0/6.3GNo, 0/4.5G
    Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
LB0087ForbidAllowForbidNo, 0/67GNo, 0/3.9GNo, 0/5.9GNo, 0/4.4GNo, 0/12GNo, 0/8.3GNo, 0/7.6GNo, 0/14GNo, 0/6.3GNo, 0/4.5G
    Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
DETOUR0302ForbidAllowForbidNo, 0/66GNo, 0/3.0GNo, 0/7.6GNo, 0/4.4GNo, 0/10GNo, 0/8.3GNo, 0/7.9GNo, 0/14GNo, 0/6.3GNo, 0/4.5G
    Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
ISA2+dmb+fri+addrForbidAllowForbidNo, 0/41GNo, 0/15GNo, 0/20GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
DETOUR0162ForbidAllowForbidNo, 0/17GNo, 0/3.9GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
DETOUR0204ForbidAllowForbidNo, 0/17GNo, 0/3.9GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
DETOUR0294ForbidAllowForbidNo, 0/17GNo, 0/3.9GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
DETOUR0310ForbidAllowForbidNo, 0/17GNo, 0/3.9GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0234ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0240ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0246ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
DETOUR0362ForbidAllowForbidNo, 0/17GNo, 0/3.9GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
DETOUR0458ForbidAllowForbidNo, 0/17GNo, 0/3.9GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0121ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0129ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0137ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0197ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0198ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0199ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0231ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0233ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0235ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0239ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0241ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0245ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0247ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0251ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0252ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0253ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0254ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0256ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0258ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0259ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0261ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0266ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0270ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0350ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0354ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0358ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0443ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0451ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0714ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0722ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0730ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
LB+data+detrw-rfi-addrForbidAllowForbidNo, 0/7.8GNo, 0/1.2GNo, 0/2.4GNo, 0/2.0GNo, 0/2.2G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
LB+data+detrw-rfi-ctrlForbidAllowForbidNo, 0/7.8GNo, 0/1.2GNo, 0/2.4GNo, 0/2.0GNo, 0/2.2G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
LB+data+detrw-rfi-dataForbidAllowForbidNo, 0/7.8GNo, 0/1.2GNo, 0/2.4GNo, 0/2.0GNo, 0/2.2G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0150ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0151ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0152ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0185ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0186ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0187ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0189ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0191ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0282ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0289ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0296ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0553ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0560ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0867ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0874ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0881ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
LB+data+detrw-wsi-rfi-addrForbidAllowForbidNo, 0/7.8GNo, 0/1.2GNo, 0/2.4GNo, 0/2.0GNo, 0/2.2G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
LB+data+detrw-wsi-rfi-ctrlForbidAllowForbidNo, 0/7.8GNo, 0/1.2GNo, 0/2.4GNo, 0/2.0GNo, 0/2.2G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
LB+data+detrw-wsi-rfi-dataForbidAllowForbidNo, 0/7.8GNo, 0/1.2GNo, 0/2.4GNo, 0/2.0GNo, 0/2.2G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0122ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0130ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0138ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0444ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0452ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0715ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0723ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0731ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
S+dmb+detrw-rfi-ctrlForbidAllowForbidNo, 0/7.8GNo, 0/1.2GNo, 0/2.4GNo, 0/2.0GNo, 0/2.2G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
S+dmb+detrw-rfi-dataForbidAllowForbidNo, 0/7.8GNo, 0/1.2GNo, 0/2.4GNo, 0/2.0GNo, 0/2.2G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0283ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0290ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0297ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0554ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0561ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0868ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0875ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0882ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0215ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0216ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0217ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0219ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0221ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0238ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0244ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0250ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
LB+data+detrw-detw-addrForbidAllowForbidNo, 0/7.8GNo, 0/1.2GNo, 0/2.4GNo, 0/2.0GNo, 0/2.2G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
LB+data+detrw-detw-ctrlForbidAllowForbidNo, 0/7.8GNo, 0/1.2GNo, 0/2.4GNo, 0/2.0GNo, 0/2.2G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
LB+data+detrw-detw-dataForbidAllowForbidNo, 0/7.8GNo, 0/1.2GNo, 0/2.4GNo, 0/2.0GNo, 0/2.2G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0126ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0134ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0142ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0271ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0273ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0353ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0357ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0361ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0448ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0456ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0719ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0727ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0735ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0286ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0293ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0300ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0557ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0564ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0871ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0878ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0885ForbidAllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
S+dmb+detrw-detw-addrForbidAllowForbidNo, 0/7.8GNo, 0/1.2GNo, 0/2.4GNo, 0/2.0GNo, 0/2.2G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
S+dmb+detrw-detw-ctrlForbidAllowForbidNo, 0/7.8GNo, 0/1.2GNo, 0/2.4GNo, 0/2.0GNo, 0/2.2G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen
S+dmb+detrw-detw-dataForbidAllowForbidNo, 0/7.8GNo, 0/1.2GNo, 0/2.4GNo, 0/2.0GNo, 0/2.2G
    Allow unseen     Allow unseenAllow unseenAllow unseenAllow unseen

This document was translated from LATEX by HEVEA.