=== esp-idf-0002-0002: CWE-407: list-scan inside loop in esp-idf-0002-0002 (generic model) ===
N=100   k=100  : defective=0.139ms  fixed=0.005ms  speedup=25.9x
N=500   k=500  : defective=3.788ms  fixed=0.043ms  speedup=87.6x
N=1000  k=1000 : defective=19.742ms  fixed=0.096ms  speedup=206.6x
N=2000  k=2000 : defective=35.406ms  fixed=0.097ms  speedup=365.8x

