=== freecad-0003-0003: CWE-407: list-scan inside loop in freecad-0003-0003 (generic model) ===
N=100   k=100  : defective=0.313ms  fixed=0.020ms  speedup=16.0x
N=500   k=500  : defective=2.810ms  fixed=0.025ms  speedup=112.4x
N=1000  k=1000 : defective=10.467ms  fixed=0.048ms  speedup=218.1x
N=2000  k=2000 : defective=36.713ms  fixed=0.097ms  speedup=379.4x

