Distance on a great circle

Details

Time bar (total: 1.5min)

analyze1.0ms (0%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
100%99.8%0%0.2%0%0%0%1
Compiler

Compiled 71 to 47 computations (33.8% saved)

sample1.5min (100%)

Results
1.4min39437×body8192exit
1.1s2984×body256valid
428.0ms1244×body256invalid
105.0ms143×body1024valid
102.0ms128×body1024invalid
45.0ms76×body512valid
38.0ms76×body512invalid

end0.0ms (0%)

Profiling

Loading profile data...