Details

Time bar (total: 31.9s)

analyze31.2s

Algorithm
search
sampling

Space saved by range analysis: 99.677232%

Space saved by search: 99.677232%

Guaranteed chance to sample good point: 0%

sample692.0ms

Algorithm
intervals
Results
685.0ms100×body5120exit
2.0ms100×pre80true

Profiling

Loading profile data...