=== bullet-0001: CWE-407: list-scan inside loop in bullet-0001 (generic model) ===
N=100   k=100  : defective=0.103ms  fixed=0.004ms  speedup=24.2x
N=500   k=500  : defective=2.606ms  fixed=0.025ms  speedup=102.2x
N=1000  k=1000 : defective=11.218ms  fixed=0.054ms  speedup=206.5x
N=2000  k=2000 : defective=46.572ms  fixed=0.180ms  speedup=258.5x

=== bullet-0002: CWE-407: list-scan inside loop in bullet-0002 (generic model) ===
N=100   k=100  : defective=0.153ms  fixed=0.007ms  speedup=23.4x
N=500   k=500  : defective=3.215ms  fixed=0.023ms  speedup=141.3x
N=1000  k=1000 : defective=10.285ms  fixed=0.050ms  speedup=203.7x
N=2000  k=2000 : defective=45.000ms  fixed=0.097ms  speedup=461.8x

=== bullet-0003: CWE-407: list-scan inside loop in bullet-0003 (generic model) ===
N=100   k=100  : defective=0.088ms  fixed=0.003ms  speedup=25.9x
N=500   k=500  : defective=2.272ms  fixed=0.054ms  speedup=42.2x
N=1000  k=1000 : defective=9.145ms  fixed=0.046ms  speedup=200.1x
N=2000  k=2000 : defective=38.516ms  fixed=0.096ms  speedup=400.4x

