=== freeciv-0001-0001: CWE-407: list-scan inside loop in freeciv-0001-0001 (generic model) ===
N=500   k=500  : defective=1.734ms  fixed=0.017ms  speedup=101.8x
N=2000  k=2000 : defective=35.763ms  fixed=0.079ms  speedup=451.6x
N=5000  k=5000 : defective=253.017ms  fixed=0.208ms  speedup=1215.8x
N=10000 k=10000: defective=827.825ms  fixed=0.423ms  speedup=1958.2x

