ab-angle->ABCF A

Time bar (total: 5.1s)

analyze1.0ms (0%)

Algorithm
1×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 25 to 20 computations (20% saved)

sample5.1s (99.8%)

Results
1.3s1051×body1024valid
1.1s3557×body256valid
1.1s900×body1024infinite
493.0ms1627×body256infinite
393.0ms536×body512valid
348.0ms460×body512infinite
241.0ms119×body2048valid
33.0ms6×body4096valid
Bogosity

preprocess10.0ms (0.2%)

Algorithm
1×egg-herbie

end0.0ms (0%)

Profiling

Loading profile data...