Quadratic roots, medium range

Details

Time bar (total: 1.5s)

analyze1.5s (97.1%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%13.9%86.1%0%0%0%0
0%0%27.5%72.5%0%0%0%1
0%0%54.2%45.8%0%0%0%2
0%0%106.9%-6.9%0%0%0%3
0%0%210.9%-110.9%0%0%0%4
0%0%416%-316%0%0%0%5
0%0%820.5%-720.5%0%0%0%6
0%0%1617.9%-1517.9%0%0%0%7
0%0%2808.7%-2708.7%0%0%0%8
0%0%4875.7%-4775.7%0%0%0%9
0%0%8463%-8363%0%0%0%10
0%0%13235.3%-13135.3%0%0%0%11
0%0%20698.6%-20598.6%0%0%0%12
Compiler

Compiled 43 to 31 computations (27.9% saved)

sample44.0ms (2.9%)

Results
35.0ms76×body256precondition
9.0ms25×body256invalid

end0.0ms (0%)

Profiling

Loading profile data...