Jmat.Real.erfi, branch x less than or equal to 0.5

Time bar (total: 1.4s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%74.9%25.1%0%0%0%0
100%74.9%0%25.1%0%0%0%1
Compiler

Compiled 71 to 33 computations (53.5% saved)

sample1.4s (99.2%)

Results
1.0s5889×body256valid
413.0ms2367×body256infinite
Bogosity

preprocess12.0ms (0.8%)

Algorithm
1×egg-herbie

end0.0ms (0%)

Profiling

Loading profile data...