# SQLite 字典引导 A/B (单 SELECT 种子, 8-proc concolic, 120s, afl-showmap -C 量边)
NO-dict  : coverage of 1470 edges were achieved out of 31552 existing (4.66%)  [corpus 14577]
WITH-dict: coverage of 3091 edges were achieved out of 31552 existing (9.80%)  [corpus 127489]
= 1470 -> 3091 edges = +110% (复现;原始文献 1802->2710 = +50%)
dict: benchmark/public/fuzzer-test-suite/sqlite-2016-11-14/sql.dict (284 tokens)