=== ogre-0001: CWE-407: list-scan inside loop in ogre-0001 (generic model) ===
N=500   k=500  : defective=3.389ms  fixed=0.033ms  speedup=103.5x
N=2000  k=2000 : defective=41.823ms  fixed=0.090ms  speedup=467.2x
N=5000  k=5000 : defective=215.277ms  fixed=0.224ms  speedup=959.0x
N=10000 k=10000: defective=852.753ms  fixed=0.488ms  speedup=1748.5x

=== ogre-0002: CWE-407: list-scan inside loop in ogre-0002 (generic model) ===
N=500   k=500  : defective=2.030ms  fixed=0.020ms  speedup=102.8x
N=2000  k=2000 : defective=34.070ms  fixed=0.093ms  speedup=367.8x
N=5000  k=5000 : defective=206.364ms  fixed=0.242ms  speedup=853.2x
N=10000 k=10000: defective=868.075ms  fixed=0.462ms  speedup=1878.8x

=== ogre-0003: CWE-407: list-scan inside loop in ogre-0003 (generic model) ===
N=500   k=500  : defective=2.034ms  fixed=0.019ms  speedup=105.6x
N=2000  k=2000 : defective=33.050ms  fixed=0.087ms  speedup=379.9x
N=5000  k=5000 : defective=205.210ms  fixed=0.226ms  speedup=909.9x
N=10000 k=10000: defective=846.315ms  fixed=0.469ms  speedup=1804.5x

