DIVERGE-OTHER[corpus] flags=0x2 pattern="[\/" string="[/": kernel=1 libc=0
DIVERGE-OTHER[corpus] flags=0x6 pattern="[\/" string="[/": kernel=1 libc=0
DIVERGE-OTHER[corpus] flags=0xe pattern="[\/" string="[/": kernel=1 libc=0
DIVERGE-OTHER[corpus] flags=0xe pattern="[\/" string="[//": kernel=1 libc=0
[corpus] 32245104 cases, 66509 divergences
DIVERGE-OTHER[bracket] flags=0 pattern="[]-�]" string="]": kernel=1 libc=0
DIVERGE-OTHER[bracket] flags=0x1 pattern="[]-�]" string="]": kernel=1 libc=0
DIVERGE-OTHER[bracket] flags=0x2 pattern="[]-�]" string="]": kernel=1 libc=0
DIVERGE-OTHER[bracket] flags=0x10 pattern="[]-�]" string="]": kernel=1 libc=0
DIVERGE-OTHER[bracket] flags=0 pattern="[]-�]" string="^": kernel=1 libc=0
DIVERGE-OTHER[bracket] flags=0x1 pattern="[]-�]" string="^": kernel=1 libc=0
[bracket] 58564 cases (running divergences: 67195)
[maxnest] stars= 1 kernel=0 libc=0
[maxnest] stars= 2 kernel=0 libc=0
[maxnest] stars= 3 kernel=0 libc=0
[maxnest] stars= 4 kernel=0 libc=0
[maxnest] stars= 5 kernel=0 libc=0
[maxnest] stars= 6 kernel=0 libc=0
[maxnest] stars= 7 kernel=0 libc=0
[maxnest] stars= 8 kernel=0 libc=0
[maxnest] stars= 9 kernel=0 libc=0
[maxnest] stars=10 kernel=0 libc=0
[maxnest] stars=11 kernel=0 libc=0
[maxnest] stars=12 kernel=0 libc=0
[maxnest] stars=13 kernel=0 libc=0
[maxnest] stars=14 kernel=0 libc=0
[maxnest] stars=15 kernel=0 libc=0
[maxnest] stars=16 kernel=0 libc=0
[maxnest] stars=17 kernel=0 libc=0
[maxnest] stars=18 kernel=0 libc=0
[maxnest] stars=19 kernel=0 libc=0
[maxnest] stars=20 kernel=1 libc=0  <== DIVERGE
[maxnest] stars=21 kernel=1 libc=0  <== DIVERGE
[maxnest] stars=22 kernel=1 libc=0  <== DIVERGE
[maxnest] stars=23 kernel=1 libc=0  <== DIVERGE
[maxnest] stars=24 kernel=1 libc=0  <== DIVERGE
[maxnest] first divergence at 20 stars
[signed] pattern-raw="[a-�]" string-raw="�" kernel=1 libc=0  (0x80 within [0x61,0xff])
[signed] pattern-raw="[a-�]" string-raw="�" kernel=1 libc=0  (0xfe within [0x61,0xff])
[signed] pattern-raw="[�-�]" string-raw="�" kernel=0 libc=0  (high-high range)
[signed] pattern-raw="[
-]" string-raw="�" kernel=1 libc=1  (0x80 outside [1,0x7f])
[time-ifname-worst] stars= 4 n=16 kernel: 0.000028 s (ret 1)
[time-ifname-worst] stars= 6 n=16 kernel: 0.000107 s (ret 1)
[time-ifname-worst] stars= 8 n=16 kernel: 0.000274 s (ret 1)
[time-ifname-worst] stars=10 n=16 kernel: 0.000449 s (ret 1)
[time-long-worst] stars=10 n=20 kernel: 0.004280 s (ret 1)  libc: 0.037602 s (ret 1)
[time-long-worst] stars=10 n=24 kernel: 0.030882 s (ret 1)  libc: 0.272020 s (ret 1)
[time-long-worst] stars=10 n=28 kernel: 0.165373 s (ret 1)  libc: 1.490192 s (ret 1)
TOTAL divergences: 67195 / 32303668 cases (trailing-backslash class: 66505, other: 690)
TOTAL divergences: 67195 / 32303668 cases
DONE_RC=0