=== erlang-0001: CWE-407: list-scan inside loop in erlang-0001 (generic model) ===
N=100   k=100  : defective=0.092ms  fixed=0.004ms  speedup=24.3x
N=500   k=500  : defective=2.366ms  fixed=0.022ms  speedup=107.3x
N=1000  k=1000 : defective=11.715ms  fixed=0.047ms  speedup=248.2x
N=2000  k=2000 : defective=35.203ms  fixed=0.096ms  speedup=367.4x

=== erlang-0003: CWE-407: list-scan inside loop in erlang-0003 (generic model) ===
N=100   k=100  : defective=0.085ms  fixed=0.003ms  speedup=25.2x
N=500   k=500  : defective=2.116ms  fixed=0.021ms  speedup=101.5x
N=1000  k=1000 : defective=9.100ms  fixed=0.118ms  speedup=77.2x
N=2000  k=2000 : defective=35.514ms  fixed=0.098ms  speedup=363.6x

=== erlang-0004: edlin_type_suggestion print_type — Visited list O(D²) membership scan ===
N=100   k=100  : defective=0.085ms  fixed=0.003ms  speedup=25.4x
N=500   k=500  : defective=2.116ms  fixed=0.021ms  speedup=103.1x
N=1000  k=1000 : defective=9.040ms  fixed=0.050ms  speedup=181.1x
N=2000  k=2000 : defective=39.408ms  fixed=0.097ms  speedup=405.2x

