=== synapse-0001: File: synapse/handlers/sync.py ===
N=500   k=500  : defective=2.012ms  fixed=0.020ms  speedup=100.3x
N=2000  k=2000 : defective=34.948ms  fixed=0.092ms  speedup=379.0x
N=5000  k=5000 : defective=213.298ms  fixed=0.228ms  speedup=933.9x
N=10000 k=10000: defective=920.195ms  fixed=0.478ms  speedup=1926.6x

=== synapse-0002: CWE-407: list-scan inside loop in synapse-0002 (generic model) ===
N=500   k=500  : defective=2.023ms  fixed=0.020ms  speedup=102.9x
N=2000  k=2000 : defective=33.294ms  fixed=0.091ms  speedup=367.2x
N=5000  k=5000 : defective=216.012ms  fixed=0.238ms  speedup=906.0x
N=10000 k=10000: defective=874.633ms  fixed=0.460ms  speedup=1902.7x

