Area of a triangle

Time bar (total: 999.0ms)

analyze445.0ms (44.5%)

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 28 computations (60% saved)

sample554.0ms (55.5%)

Results
71.0ms101×0invalid-rival
176.0ms98×0invalid-sollya
15.0ms0exit-sollya

end0.0ms (0%)

Profiling

Loading profile data...