2-ancestry mixing, negative discriminant

Time bar (total: 4.0ms)

analyze4.0ms (99.9%)

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
0%0%99.9%0.1%0%0%0%4
Compiler

Compiled 18 to 16 computations (11.1% saved)

end0.0ms (0.1%)

Profiling

Loading profile data...