Trowbridge-Reitz Sample, sample surface normal, cosTheta

Details

Time bar (total: 497.0ms)

analyze167.0ms (33.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 123 to 87 computations (29.3% saved)

sample329.0ms (66.3%)

Results
319.0ms352×body256precondition
10.0msbody256valid

end0.0ms (0%)

Profiling

Loading profile data...