=== bird-0001: CWE-407: list-scan inside loop in bird-0001 (generic model) ===
N=100   k=100  : defective=0.081ms  fixed=0.003ms  speedup=25.1x
N=500   k=500  : defective=2.023ms  fixed=0.020ms  speedup=102.9x
N=1000  k=1000 : defective=8.533ms  fixed=0.044ms  speedup=195.6x
N=2000  k=2000 : defective=35.153ms  fixed=0.093ms  speedup=379.2x

=== bird-0002: CWE-407: list-scan inside loop in bird-0002 (generic model) ===
N=100   k=100  : defective=0.082ms  fixed=0.003ms  speedup=24.9x
N=500   k=500  : defective=2.072ms  fixed=0.020ms  speedup=103.5x
N=1000  k=1000 : defective=8.878ms  fixed=0.044ms  speedup=200.7x
N=2000  k=2000 : defective=35.190ms  fixed=0.093ms  speedup=377.8x

=== bird-0003: int_set_union / ec_set_union / lc_set_union O(N×M) → O(N+M) ===
N=100   k=100  : defective=0.082ms  fixed=0.003ms  speedup=25.5x
N=500   k=500  : defective=2.017ms  fixed=0.020ms  speedup=101.5x
N=1000  k=1000 : defective=9.097ms  fixed=0.043ms  speedup=211.6x
N=2000  k=2000 : defective=34.742ms  fixed=0.091ms  speedup=380.9x

=== bird-0004: clist_filter / eclist_filter / lclist_filter O(L×S) → O(L+S) ===
N=100   k=100  : defective=0.082ms  fixed=0.003ms  speedup=25.5x
N=500   k=500  : defective=2.018ms  fixed=0.020ms  speedup=101.7x
N=1000  k=1000 : defective=8.567ms  fixed=0.044ms  speedup=194.0x
N=2000  k=2000 : defective=34.711ms  fixed=0.097ms  speedup=356.9x

