=== activemq-artemis-0001: CWE-407: list-scan inside loop in activemq-artemis-0001 (generic model) ===
N=100   k=100  : defective=0.180ms  fixed=0.007ms  speedup=25.8x
N=500   k=500  : defective=5.061ms  fixed=0.043ms  speedup=117.8x
N=1000  k=1000 : defective=19.862ms  fixed=0.097ms  speedup=203.8x
N=2000  k=2000 : defective=42.342ms  fixed=0.100ms  speedup=423.3x

=== activemq-artemis-0002: CWE-407: list-scan inside loop in activemq-artemis-0002 (generic model) ===
N=100   k=100  : defective=0.093ms  fixed=0.004ms  speedup=25.1x
N=500   k=500  : defective=2.294ms  fixed=0.021ms  speedup=107.1x
N=1000  k=1000 : defective=9.116ms  fixed=0.053ms  speedup=172.8x
N=2000  k=2000 : defective=43.585ms  fixed=0.097ms  speedup=450.4x

