Octave 3.8, jcobi/1

Time bar (total: 1.1s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%56.2%43.8%0%0%0%0
100%56.2%0%43.8%0%0%0%1
Compiler

Compiled 22 to 16 computations (27.3% saved)

sample1.0s (98.9%)

Results
690.0ms6595×body256valid
218.0ms997×body1024valid
90.0ms559×body512valid
28.0ms105×body2048valid
Bogosity

preprocess12.0ms (1.1%)

Algorithm
1×egg-herbie

end0.0ms (0%)

Profiling

Loading profile data...