=== ninja-0001: CWE-407: list-scan inside loop in ninja-0001 (generic model) ===
N=100   k=100  : defective=0.282ms  fixed=0.018ms  speedup=15.9x
N=500   k=500  : defective=2.499ms  fixed=0.022ms  speedup=113.2x
N=1000  k=1000 : defective=9.966ms  fixed=0.050ms  speedup=199.4x
N=2000  k=2000 : defective=35.099ms  fixed=0.096ms  speedup=366.5x

=== ninja-0002: CWE-407: list-scan inside loop in ninja-0002 (generic model) ===
N=100   k=100  : defective=0.085ms  fixed=0.003ms  speedup=25.0x
N=500   k=500  : defective=2.412ms  fixed=0.020ms  speedup=118.1x
N=1000  k=1000 : defective=8.692ms  fixed=0.047ms  speedup=186.7x
N=2000  k=2000 : defective=37.990ms  fixed=0.112ms  speedup=337.9x

