Beckmann Sample, near normal, slope_y

Details

Time bar (total: 166.0ms)

analyze89.0ms (53.7%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0%100%0%0%0%0
0%0%0%100%0%0%0%1
0%0%0%100%0%0%0%2
0%0%0%100%0%0%0%3
0%0%0%100%0%0%0%4
0%0%0%100%0%0%0%5
0%0%0%100%0%0%0%6
0%0%0%100%0%0%0%7
0%0%0%100%0%0%0%8
0%0%0%100%0%0%0%9
0%0%0%100%0%0%0%10
0%0%0%100%0%0%0%11
0%0%0%100%0%0%0%12
Compiler

Compiled 39 to 31 computations (20.5% saved)

sample77.0ms (46.3%)

Results
39.0ms78×body256invalid
37.0ms75×body256precondition
0.0msbody256valid

end0.0ms (0%)

Profiling

Loading profile data...