=== cfengine-0001: CWE-407: list-scan inside loop in cfengine-0001 (generic model) ===
N=500   k=500  : defective=1.937ms  fixed=0.019ms  speedup=103.0x
N=2000  k=2000 : defective=31.965ms  fixed=0.091ms  speedup=350.3x
N=5000  k=5000 : defective=212.844ms  fixed=0.231ms  speedup=921.8x
N=10000 k=10000: defective=913.063ms  fixed=0.457ms  speedup=1997.9x

=== cfengine-0002: CWE-407: list-scan inside loop in cfengine-0002 (generic model) ===
N=500   k=500  : defective=1.950ms  fixed=0.019ms  speedup=102.6x
N=2000  k=2000 : defective=34.057ms  fixed=0.089ms  speedup=381.0x
N=5000  k=5000 : defective=224.890ms  fixed=0.234ms  speedup=960.2x
N=10000 k=10000: defective=874.789ms  fixed=0.469ms  speedup=1865.5x

=== cfengine-0003: CWE-407: list-scan inside loop in cfengine-0003 (generic model) ===
N=500   k=500  : defective=1.937ms  fixed=0.019ms  speedup=102.1x
N=2000  k=2000 : defective=32.125ms  fixed=0.089ms  speedup=360.5x
N=5000  k=5000 : defective=208.477ms  fixed=0.417ms  speedup=499.6x
N=10000 k=10000: defective=876.097ms  fixed=0.452ms  speedup=1936.9x

