=== bullet-0001: CWE-407: list-scan inside loop in bullet-0001 (generic model) ===
N=500   k=500  : defective=1.942ms  fixed=0.019ms  speedup=101.4x
N=2000  k=2000 : defective=33.706ms  fixed=0.093ms  speedup=362.8x
N=5000  k=5000 : defective=222.043ms  fixed=0.241ms  speedup=919.9x
N=10000 k=10000: defective=898.790ms  fixed=0.481ms  speedup=1868.3x

=== bullet-0002: CWE-407: list-scan inside loop in bullet-0002 (generic model) ===
N=500   k=500  : defective=2.013ms  fixed=0.019ms  speedup=103.6x
N=2000  k=2000 : defective=32.985ms  fixed=0.088ms  speedup=373.0x
N=5000  k=5000 : defective=212.200ms  fixed=0.231ms  speedup=918.3x
N=10000 k=10000: defective=807.973ms  fixed=0.417ms  speedup=1938.5x

=== bullet-0003: CWE-407: list-scan inside loop in bullet-0003 (generic model) ===
N=500   k=500  : defective=1.735ms  fixed=0.017ms  speedup=101.7x
N=2000  k=2000 : defective=29.550ms  fixed=0.076ms  speedup=391.0x
N=5000  k=5000 : defective=179.431ms  fixed=0.196ms  speedup=914.0x
N=10000 k=10000: defective=726.973ms  fixed=0.407ms  speedup=1788.4x

