Quadratic roots, full range

Time bar (total: 1.8s)

analyze119.0ms (6.8%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
25%25%74.9%0.1%0%0%0%4
37.5%37.4%62.4%0.1%0%0%0%5
37.5%37.4%62.4%0.1%0%0%0%6
40%37.4%56.2%0.1%0%6.2%0%7
48.3%45.2%48.4%0.1%0%6.2%0%8
53%48.4%42.9%0.1%0%8.6%0%9
58.1%50.3%36.3%0.1%0%13.3%0%10
66.1%56.8%29.1%0.1%0%14%0%11
70.4%58.8%24.7%0.1%0%16.4%0%12
Compiler

Compiled 21 to 15 computations (28.6% saved)

sample1.6s (92.7%)

Results
645.0ms5050×body256valid
373.0ms1083×body2048valid
182.0ms664×body1024valid
162.0ms378×body4096valid
95.0ms934×body256invalid
91.0ms719×body256infinite
71.0ms362×body512valid
Bogosity

preprocess10.0ms (0.5%)

Algorithm
egg-herbie

end0.0ms (0%)

Profiling

Loading profile data...