=== graal-0001: RegisterVerifier.addToWorkList — ArrayList.contains() O(B²) in LSRA verification worklist ===
N=100   k=100  : defective=0.084ms  fixed=0.003ms  speedup=24.3x
N=500   k=500  : defective=2.116ms  fixed=0.020ms  speedup=103.5x
N=1000  k=1000 : defective=8.829ms  fixed=0.045ms  speedup=194.8x
N=2000  k=2000 : defective=35.706ms  fixed=0.097ms  speedup=369.6x

=== graal-0002: ClassfileConstant.resolveMethod/resolveField — O(2^D) diamond re-traversal without visited set ===
N=100   k=100  : defective=0.084ms  fixed=0.003ms  speedup=25.8x
N=500   k=500  : defective=2.143ms  fixed=0.021ms  speedup=103.4x
N=1000  k=1000 : defective=8.650ms  fixed=0.045ms  speedup=192.0x
N=2000  k=2000 : defective=35.694ms  fixed=0.097ms  speedup=369.3x

