Area of a triangle

Details

Time bar (total: 172.0ms)

analyze157.0ms (91.1%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%12.5%87.5%0%0%0%0
0%0%12.5%87.5%0%0%0%1
0%0%12.5%87.5%0%0%0%2
0%0%12.5%87.5%0%0%0%3
0%0%12.5%87.5%0%0%0%4
0%0%10.1%89.9%0%0%0%5
0%0%8.2%91.8%0%0%0%6
0%0%6%94%0%0%0%7
0%0%5.2%94.8%0%0%0%8
0%0%4.1%95.9%0%0%0%9
0%0%2.8%97.2%0%0%0%10
0%0%2.5%97.5%0%0%0%11
0%0%2%98%0%0%0%12
Compiler

Compiled 70 to 36 computations (48.6% saved)

sample15.0ms (8.9%)

Results
15.0ms101×body256invalid

end0.0ms (0%)

Profiling

Loading profile data...