Details

Time bar (total: 30.5s)

analyze29.9s

Algorithm
search
sampling

Space saved by range analysis: 99.677232%

Space saved by search: 99.677232%

Guaranteed chance to sample good point: 0%

sample687.0ms

Algorithm
intervals
Results
681.0ms100×body5120exit
3.0ms100×pre80true

Profiling

Loading profile data...