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=0x2 pattern="[]\/]" string="]": kernel=1 libc=0
DIVERGE-OTHER[bracket] flags=0x2 pattern="[-\/]" string="-": kernel=1 libc=0
DIVERGE-OTHER[bracket] flags=0x2 pattern="[\/-]" string="-": kernel=1 libc=0
DIVERGE-OTHER[bracket] flags=0x2 pattern="[\/!]" string="!": kernel=1 libc=0
DIVERGE-OTHER[bracket] flags=0x2 pattern="[\/^]" string="^": kernel=1 libc=0
DIVERGE-OTHER[bracket] flags=0x2 pattern="[\/a]" string="a": kernel=1 libc=0
[bracket] 58564 cases (running divergences: 66544)
[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=0 libc=0  (0x80 within [0x61,0xff])
[signed] pattern-raw="[a-ÿ]" string-raw="þ" kernel=0 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.000033 s (ret 1)
[time-ifname-worst] stars= 6 n=16 kernel: 0.000140 s (ret 1)
[time-ifname-worst] stars= 8 n=16 kernel: 0.000369 s (ret 1)
[time-ifname-worst] stars=10 n=16 kernel: 0.000594 s (ret 1)
[time-long-worst] stars=10 n=20 kernel: 0.005826 s (ret 1)  libc: 0.038788 s (ret 1)
[time-long-worst] stars=10 n=24 kernel: 0.033612 s (ret 1)  libc: 0.268892 s (ret 1)
[time-long-worst] stars=10 n=28 kernel: 0.182461 s (ret 1)  libc: 1.417795 s (ret 1)
TOTAL divergences: 66544 / 32303668 cases (trailing-backslash class: 66505, other: 39)
TOTAL divergences: 66544 / 32303668 cases
DONE_RC=0