Details

Time bar (total: 19.5s)

analyze19.2s

Algorithm
search
sampling

Space saved by range analysis: 99.677232%

Space saved by search: 99.677232%

Guaranteed chance to sample good point: 0%

sample227.0ms

Algorithm
intervals
Results
223.0ms100×body5120exit
2.0ms100×pre80true

Profiling

Loading profile data...