=== netpanzer-0001-0001: CWE-407: list-scan inside loop in netpanzer-0001-0001 (generic model) ===
N=100   k=100  : defective=0.175ms  fixed=0.007ms  speedup=23.9x
N=500   k=500  : defective=3.528ms  fixed=0.059ms  speedup=60.3x
N=1000  k=1000 : defective=13.046ms  fixed=0.056ms  speedup=232.6x
N=2000  k=2000 : defective=37.754ms  fixed=0.107ms  speedup=353.3x

