Details

Time bar (total: 704.0ms)

analyze698.0ms

Algorithm
search
sampling

Space saved by range analysis: 87.518302%

Space saved by search: 99.38559%

Guaranteed chance to sample good point: 0%

sample6.0ms

Algorithm
intervals
Results
4.0ms100×pre80false

Profiling

Loading profile data...