=== freecad-0001-0001: CWE-407: list-scan inside loop in freecad-0001-0001 (generic model) ===
N=500   k=500  : defective=1.760ms  fixed=0.017ms  speedup=104.6x
N=2000  k=2000 : defective=29.679ms  fixed=0.078ms  speedup=378.6x
N=5000  k=5000 : defective=222.150ms  fixed=0.203ms  speedup=1093.1x
N=10000 k=10000: defective=930.448ms  fixed=0.707ms  speedup=1316.2x

