ab-angle->ABCF B

Time bar (total: 3.9s)

analyze1.0ms (0%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 27 to 22 computations (18.5% saved)

sample3.9s (99.6%)

Results
1.1s3851×body256valid
804.0ms1035×body1024valid
694.0ms897×body1024infinite
376.0ms1310×body256infinite
273.0ms530×body512valid
251.0ms55×body4096valid
241.0ms458×body512infinite
171.0ms120×body2048valid
Bogosity

preprocess16.0ms (0.4%)

Algorithm
egg-herbie

end0.0ms (0%)

Profiling

Loading profile data...